静的コード アナライザー cppcheck 2.7 の新バージョンがリリースされました。これを使用すると、組み込みシステムに典型的な非標準構文を使用する場合など、C および C++ 言語のコード内のさまざまなクラスのエラーを識別できます。 プラグインのコレクションが提供されており、これを介して cppcheck をさまざまな開発、継続的統合、テスト システムと統合し、コード スタイルへのコードの準拠性をチェックするなどの機能も提供します。 コードを解析するには、独自のパーサーまたは Clang の外部パーサーを使用できます。 また、Debian パッケージの共同コード レビュー作業を行うためのローカル リソースを提供する donate-cpu.py スクリプトも含まれています。 プロジェクトのソース コードは GPLv3 ライセンスに基づいて配布されます。
cppcheck の開発は、未定義の動作や安全性の観点から危険な設計の使用に関連する問題を特定することに重点を置いています。 目標は、誤検知を最小限に抑えることでもあります。 特定された問題には、存在しないオブジェクトへのポインタ、ゼロによる除算、整数オーバーフロー、不正なビット シフト演算、不正な変換、メモリ操作時の問題、STL の不正な使用、null ポインタの逆参照、実際のアクセス後のチェックの使用などが含まれます。バッファへの書き込み、バッファ オーバーラン、初期化されていない変数の使用。
並行して、スウェーデンの会社 Cppcheck Solutions AB は、無限ループの存在の分析、初期化されていない変数の検索の改善、および高度なバッファ オーバーフロー分析を提供する Cppcheck Premium の拡張バージョンを開発しています。
収録曲:
- コンテナのビューのサポートが追加されました。クラスがビューであることを示す view 属性がライブラリ タグに追加されました。 ライフタイム分析コードが更新され、未解決のコンテナーを検索するときにこの属性を使用するようになりました。
- チェックの改善。
- 蓄積されたエラーが修正され、アナライザーの欠点が解消されました。
出所： オープンネット.ru