Takže podle vašeho názoru vlastně nemáme problém. No a já bych řekl, že problém máme. Podívejte se na graf počtu zjištěných zranitelnosté SW. http://blogs.technet.com/blogfiles/security/WindowsLiveWriter/MicrosoftSecurityIntelligenceReportH1200_70A9/sir3f6.png
Většina těchto problémů by nevznikla, kdyby byl SW psaný v lepším jazyce, než C/C++.
Warnings v překladači řeší minimum. Valgrind, lint a podobné nástroje mohou vyřešit jisté procento problémů, ale zdaleka neodhalí všechny problémy. Například Valgrind člověku řekne v run time "teď jsi zapsal do paměti někam úplně mimo". Bohužel ale úspěšný běh aplikace ve Valgrind nezaručuje, že kód nezapíše do paměti někam mimo po změně vstupních parametrů. Nehledě na to, že běžet cokoliv ve Valgrind je ohledně rychlosti i spotřeby paměti utrpení. A z hlediska model checkingu je C/C++ velmi nešťastné.

