Yeah, unfortunately the world is super into c and c++ tot he point that billions have been spent on making it safe via frama-c, astree and friends rather than i

Yeah, unfortunately the world is super into c and c++ tot he point that billions have been spent on making it safe via frama-c, astree and friends rather than in funding an actual safe language.