Cppcheck
Cppcheckは、 CおよびC ++プログラミング言語用の静的コード分析ツールです。非標準のコードをチェックできる汎用性の高いツールです。作成者およびリード開発者は、DanielMarjamäkiです。 Cppcheck 原作者 DanielMarjamäki 初回リリース
2007年5月8日; 14年前 (2007-05-08)
安定リリース
2.6 / 2021年10月2日 ; 3か月前 (2021-10-02)
リポジトリ
github .com / danmar / cppcheck .git
で書かれている
C ++
オペレーティング・システム
クロスプラットフォーム
で利用可能
英語、オランダ語、フィンランド語、スウェーデン語、ドイツ語、ロシア語、日本語、セルビア語、スペイン語、フランス語、イタリア語、韓国語、中国語
タイプ
静的コード分析
ライセンス
GNU General Public License
Webサイト
cppcheck .sourceforge .net
Cppcheckは、GNU General PublicLicenseに基づく自由ソフトウェアです。
コンテンツ
1 特徴
2 発達
3 プラグイン
4 も参照してください
5 参考文献
6 外部リンク
特徴
Cppcheckは、コンパイラ自体ではカバーされない可能性のあるさまざまな静的チェックをサポートしています。これらのチェックは、ソースコードレベルで実行できる静的分析チェックです。このプログラムは、本質的にヒューリスティックではなく、厳密な静的分析チェックを対象としています。
サポートされているチェックには、次のものが
自動変数チェック
配列のオーバーランをチェックする境界
クラスチェック(未使用の関数、変数の初期化、メモリの複製など)
Open Group に準拠した非推奨または置き換えられた関数の使用
例外安全性チェック、たとえばメモリ割り当てとデストラクタチェックの使用
割り当て解除なしでスコープが失われたためなど、メモリリークが発生する
ファイルハンドルを閉じるのを忘れたなどの原因によるリソースリーク
標準テンプレートライブラリの関数とイディオムの使用が無効です
usedFunctionオプションを使用したデッドコードの除去
その他の文体およびパフォーマンスエラー
多くの分析プログラムと同様に、特定のターゲットケースで、またはソースコード修正のプログラマーの範囲外で受け入れられる可能性のあるプログラミングイディオムの多くの珍しいケースが2009年3月に実施された調査では、Cppcheckによって誤検知が検出されたいくつかの領域が特定されましたが、調査されたプログラムのバージョンは指定されていませんでした。 Cppcheckは、CERNs 4DSOFTメタ分析パッケージなどのシステムでの使用、高エネルギー粒子検出器読み出しデバイスでのコード検証、無線望遠鏡用のシステム監視ソフトウェア、およびエラーであることが確認されています。OpenOffice.org やDebianアーカイブなどの大規模プロジェクトの分析。
発達
このプロジェクトは積極的に開発中であり、さまざまなディストリビューションで積極的に維持されています。 LinuxカーネルやMPlayerなど、多くの人気のあるプロジェクトで有効なバグが見つかりました。
プラグイン
以下のIDEまたはテキストエディタ用のプラグインが存在します CLion Code :: Blocks-統合されています。
CodeLite-統合。
日食Emacs gedit
ハドソン
ジェンキンス
ケイト KDevelop Qt Creator
崇高なテキスト
Visual Studio
ヤスカ
も参照してください
無料のオープンソースソフトウェアポータル
静的コード分析のためのツールのリスト
参考文献
^ 「リリース-danmar / cppcheck」。
–GitHub経由。
^ 「計算科学のためのCおよびC ++ソフトウェアツールの調査」(PDF)。科学技術施設評議会。チルボルトン、デアズベリー、およびラザフォードアップルトン研究所。2009年12月。p。14. 2012年3月12日にオリジナル(PDF)からアーカイブされました。
^ 「システムインターフェース」。pubs.opengroup.org 。
^ 「組み込みシステムの静的コード分析」(PDF)。
^ 「知識計画の普及と使用(EU成果物DNA2.11」(PDF) 。2010 。
^ 「EntwurfundImplementierung eines Adaptiven、strahlentoleranten eingebetteten Systems am Beispiel eines Read-Out-Controllers(En:Read-Outコントローラーの操作のための適応型の放射線耐性組み込みシステムの開発と実装)」(PDF)。2010年。 2012年3月11日のオリジナル(PDF)からアーカイブ。
^ 「Wettzellシステム監視の概念と最初の実現」(PDF)。測地学と位置天文学のための国際VLBIサービス。2010.p。447。
^ 「大規模なソフトウェアの脆弱性の調査:OpenOfficeスイート」(PDF)。
^ 「「Debianの自動コード分析」(DACA)プロジェクトの紹介」。LWN.net。
^ GithubのCppcheck
^ bianのパッケージ追跡システムのCppcheck
^ FreeBSDポート
^ 「cppcheckによって発見されたユーザー報告バグのリスト」。
^ 「見つかったバグリスト」。SourceForge。
^ “”SourceForge.net:cppcheck”。sourceforge.net。
^ 「CLion用のcppcheckプラグイン」。plugins.jetbrains.com。
^ 「Cppcheclipse」。github.com。
^ 「Flycheck」。github.com。
^ 「geditCppcheckプラグイン」。github.com。
^ 「Cppcheckプラグイン」。hudson-ci.org。
^ 「Cppcheckプラグイン」。jenkins-ci.org。
^ カルマン、クリストフ(2013-02-02)。「KateProjectプラグインニュース–コード分析」。ケイト| 編集で優位に立つ。
^ ファンク、ケビン(2016-12-06)。「kdevelop.gitにマージされたKDevelopのCppcheckプラグインは、5.1でリリースされます」。
^ 「Qtクリエータープラグインギャラリー」。QtWiki。
^ 「Sublimelinterプラグイン」。github.com。
^ 「Cppcheckアドイン」。Visual StudioMarketplace。
^ バイオレットキリン。「ホームページcppcheck-vs-addin」。
^ Srix。「VisualStudio用のシンプルなオープンソース静的分析ツール」。
^ Scovetta、Michael。「ヤスカ」。
外部リンク
SourceForgeのCppcheck”