[Cryptography] Ada vs Rust vs safer C

[Jerry Leichter]

>> Building a safer C seems more doable than converting massive amounts of C code, and programers, to new languages.
> 
> Terrific idea, but how do you keep such a project under control?
> 
> Even if you can get such a project started, the biggest issue becomes *mission creep*....
There have been many attempts to define such a language.  Sometimes just as a matter of (checked, if possible) conventions about what constructs to allow and what to forbid; sometimes by actually defining a new subset language and developing a compiler for it.  Googling "safe c" returns a plethora of hits.

                                                        -- Jerry