c - PPIやPerl::Critic for Cのようなものはありますか？

Question

PPIとPerl::Criticを使用すると、プログラマーはPerlプログラムの構文で特定のものを検出できます。

Cをトークン化/解析し、その情報を使用して何かを行うためのスクリプトを作成する機会を与えるようなものはありますか？

score 17 · Accepted Answer

C 関連のプログラム:

BLAST (Berkeley Lazy Abstraction Software validation Tool) — 遅延抽象化に基づく C プログラム用のソフトウェアモデルチェッカー。
Clang — 静的アナライザーを含むコンパイラー。
Frama-C — C の静的解析フレームワーク。
Sparse — Linux カーネルの障害を見つけるために設計されたツール。
Splint — Lint (C 言語) のオープンソースの進化バージョン。

score 13 · Accepted Answer

Splintと呼ばれるオープンソースプログラムがあります：

Splintは、Cプログラムのセキュリティの脆弱性とコーディングミスを静的にチェックするためのツールです。最小限の労力で、スプリントをより良いリントとして使用できます。プログラムに注釈を追加するために追加の労力を費やすと、Splintは標準のlintよりも強力なチェックを実行できます。

score 11 · Accepted Answer

11

私が正しく覚えていれば、それはlintが行うことです。

于 2009-12-17T20:02:25.480 に答える

score 5 · Accepted Answer

少し話が逸れますが、C の貴重なコードアナライザーの話題は、危険なメモリ管理をキャッチするvalgrindです。

4 に答える 4