プログラム cppcheck.sf.net

C/C++ コードの静的分析。メモリ リーク、割り当て解除の不一致、バッファ オーバーランなど、目標は0%の偽陽性です。詳細については、wiki を参照してください。