analysis-tools-dev/static-analysisコード品質の向上に焦点を当てた、プログラミング言語、設定、ビルドツール、CI向けの静的解析（SAST）ツールとリンターの厳選ディレクトリ。
このリポジトリは、すべてのプログラミング言語、ビルドツール、設定ファイルなどに対応する静的解析ツールを一覧にしています。リンターやフォーマッターなど、コード品質を向上させるツールに焦点を当てています。 公式ウェブサイト analysis-tools.dev はこのリポジトリを基にしており、ランキング、ユーザーコメント、各ツールの動画などの追加リソースを提供しています。
このプロジェクトは、スポンサーの寛大な支援なしには実現できませんでした。
|
|
|
|
このプロジェクトを支援したい方は、GitHub Sponsors ページ をご覧ください。
姉妹プロジェクトの awesome-dynamic-analysis もぜひご覧ください。
abaplint — TypeScript で書かれた ABAP 用リンター。
abapOpenChecks — 新しいカスタマイズ可能なチェックで SAP Code Inspector を強化します。
Polyspace for Ada ©️ — ソースコード内のオーバーフロー、ゼロ除算、配列の範囲外アクセス、およびその他の特定の実行時エラーが存在しないことを証明するコード検証を提供します。
SPARK ©️ — Ada 用の静的解析および形式検証ツールセット。
Astrée ©️ — Astrée は、C/C++ アプリケーションにおける実行時エラーおよび不正な並行動作が存在しないことを自動的に証明します。浮動小数点演算に対して健全で、非常に高速かつ極めて正確です。このアナライザーは MISRA/CERT/CWE/Adaptive Autosar コーディングルールもチェックし、ISO 26262、DO-178C レベル A、およびその他の安全基準の認定をサポートしています。Jenkins および Eclipse プラグインが利用可能です。
CBMC — C プログラム用の有界モデルチェッカー。ユーザー定義のアサーション、標準アサーション、いくつかのカバレッジメトリクス分析に対応。
clang-tidy — Clang ベースの C++ リンターツール。問題を修正する（限定的な）機能も備えています。
clazy — Clang フレームワークに基づく Qt 指向の静的コードアナライザー。clazy は clang が Qt のセマンティクスを理解できるようにするコンパイラプラグインです。不要なメモリ割り当てから API の誤用まで、50 以上の Qt 関連のコンパイラ警告が得られ、自動リファクタリング用の fix-it も含まれます。
CMetrics ⚠️ — C ファイルのサイズと複雑度を測定します。
codechecker — Web GUI を備えた Clang Static Analyzer 用の欠陥データベースおよびビューア拡張機能。
CPAchecker — C プログラムの構成可能なソフトウェア検証用ツール。CPAchecker という名前は、このツールが CPA の概念に基づいており、ソフトウェアプログラムのチェックに使用されることを反映して選ばれました。
cppcheck — C/C++ コードの静的解析。
CppDepend ©️ — コードを測定、クエリ、可視化し、予期しない問題、技術的負債、複雑度を回避します。
cpplint — Google のスタイルガイドに従う自動 C++ チェッカー。
cqmetrics ⚠️ — C コードの品質メトリクス。
CScout — C および C プリプロセッサコードの複雑度と品質メトリクス。
ENRE-cpp ⚠️ — ENRE (ENtity Relationship Extractor) は、ソースコードからコードエンティティの依存関係や関係を抽出するツールです。ENRE-cpp は @eclipse/CDT に基づく C/C++ 用の ENtity Relationship Extractor です。（開発中）
ESBMC — ESBMC は、単一およびマルチスレッドの C/C++ プログラムの検証のために、充足可能性モジュロ理論に基づく、オープンソースで寛容なライセンスのコンテキスト有界モデルチェッカーです。
flawfinder — 潜在的なセキュリティ上の弱点を検出します。
flint++ ⚠️ — Facebook で開発・使用された C++ 用 lint プログラム flint のクロスプラットフォームで依存関係ゼロの移植版。
Frama-C — C コード用の健全で拡張可能な静的アナライザー。
