> How can you prove that the C you're generating is free from problems solved by the safer language? By formal verification. There are ways to do so and severa

> How can you prove that the C you're generating is free from problems solved by the safer language? By formal verification. There are ways to do so and several verified compilers already exist.