[Cryptography] Ada vs Rust vs safer C

[John Levine]

>Building a safer C seems more doable than converting massive amounts of C code, and programers, to new languages.

This paper is quite good.  It observes that there is a great deal of
information in the object and executable files that is typically
thrown away at runtime.  They do a combination of reasonable
inferences, e.g., the code in module A won't normally reference static
data in module B, and a high level description language that lets you
make assertions about what should access what when.  They did it all
with standard GCC and clever linkers and loaders.

http://www.cs.dartmouth.edu/~sergey/elfbac/bh16-elfbac-whitepaper.pdf