Comment by jokoon

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 ?