The dream of safe C/C++ code is here.
I have been following this development, and I am in awe at how much has been achieved, now available as a package:
Just yesterday, Israel sniping aid seekers for sport in Gaza; bombing the offices of journalists in Yemen - killing 25 journalists.
The retired guy that lead the campaign said yesterday: