2010年01月20日 sparse チェッカーを使ってみる。 前回の記事で少し触れた、Linux で使われているソースコード解析ツールである sparse は、Linux Kernel 以外のソースコードに対しても有益そうです。 Sparse - a Semantic Parser for C MinGW 環境で試してみたところ、ちゃんと GNU C のソースコードを解析することができました。 ソースコードは git から持ってきても良いですし、私は以下から tarball をダウンロードしました。 http://www.codemonkey.org.uk/projects/git-snapshots/sparse/ sparse-2010-01-06.tar.gz を展開します。 compat-mingw.c というファイルがあるので、どうやら MinGW でもビルドできそうな感じです

