3 ms·
side question: any C++ or C compiler extension which forbids some bad programming practice, or some set of more strict C/C++ dialect ? Ada seems to have safety
by jokoon 12y ago
side question: any C++ or C compiler extension which forbids some bad programming practice, or some set of more strict C/C++ dialect ?
Ada seems to have safety in mind, but isn't this achievable with static analysis ? Aren't there attempts to attach static analysis onto a compiler ?
- matthewjheaney 12y agoOh, yes, that's what the SPARK language does. There's also CodePeer, which does a static analysis of your Ada code. GNAT itself also does many static checks.