Cppcheck の開発者 (Daniel Marjamäki) は、C および C++ でソフトウェアを検証する機能を静的アナライザーに追加する予定です。
Cppcheck でのソフトウェア検証
「検証」モードでは、コードが安全であることを検証できない場合、Cppcheck は警告を発行しますが、これによりノイズ (複数の警告) が発生する可能性があります。
実施計画
検証モードは順次実装されます。最初の段階では、ゼロ除算のチェックに重点を置きます。これは比較的簡単なチェックです。各機能は個別にテストされます。すべての入力データは任意の値を持つことができると想定されています。他のタイプの未定義動作のチェックは後で追加されます。 C および C++ の解析を改善する計画もあります。
開発をスピードアップ
Kickstarter での資金調達の目的は、検証モードの開発を加速することです。いずれにしてもこの機能を追加する予定ですが、資金が集まらない場合は作業にさらに時間がかかる可能性があります。資金が調達できれば、ダニエルさんは本業を休み、労働時間を完全に cppcheck プロジェクトに充てることができるでしょう。
プロジェクト目標
出所: linux.org.ru