> That's what theorem provers and model driven development are for. That's building a safe programming language on top of an unsafe one. At that point you migh

> That's what theorem provers and model driven development are for. That's building a safe programming language on top of an unsafe one. At that point you might as well just use a safe programming language. That won't fix logic errors, but the vast majority of security issues are safety problems, especially in this kind of codebase.