... At this time, the most widely used languages that meet all three properties are C and
C++, which are not memory safe programming languages. Rust, one example of a memory safe
programming language, has the three requisite properties above, but has not yet been proven in
space systems. ...
LiVES