1. より良いコードを書くための静的コード解析入門 Presented by CREST

2. 自己紹介 プログラマー@NEET CREST’s Weblog(d.hatena.ne.jp/Crest) の管理人 Twitterやってます。 @thayamizu 趣味 プログラミングとか逆アセとか、写真撮影とか、絵を描いたりカラオケしたり、博物館に行ったりとか

3. 静的コード解析とは 静的コード解析ってなんぞや？ 実行ファイルを実行せずにコード解析を行う 人間がやると、インスペクションとかコードレビューと呼ばれる ソースコードに対して行われることが多い、ただし少数ながらオブジェクトコードに対して行う場合もある

4. 静的コード解析の手法 数学的手法 表示的意味論 公理的意味論 操作的意味論 形式的手法 モデル検査 抽象解釈

5. 静的コード解析のツール C/C++ Lint BLAST Cppcheck C++test JAVA Checkstyle Bugfound C# Fortify SCA Visual Studio (Team Edition 以上)

6. cppcheckの紹介 C++用の静的コード解析ツール オープンソースなので、導入が簡単 日本語マニュアルがあるので、とっつきやすい 検出できるもの メモリリーク バッファオーバーラン 初期化されていなメンバ変数 関数の不正使用 不正なポインタ操作 virtual でないデストラクタ

7. cppcheckの使い方 ＣＵＩプログラムなのでコマンドラインから実行するだけ 主要なコマンド --enable =all …すべてのチェック項目を実行 -j num …num個のスレッドを使って並列実行 --xml …XML形式の出力 foobar> cppcheck path > result.txt

8. cppcheckを使う(1) 配列の境界の検出 int main() { char a[10]; a[10] = 0; return 0; }

9. cppcheckを使う(2) メモリーリークの検出 int main() { char *str=(char*)malloc(sizeof(char)*10); return 0; }

10. cppcheckを使う(3) 初期化されていないメンバ変数の検出 class CSample { public: CSample(void) { } void PrintInfo() { cout << value<<endl; } private: int value; //メンバ変数 };

11. まとめ 静的コード解析ツールを使うと、プログラムの「よくない兆候を発見できる」 よくない兆候を早期に見つけることができれば、発生するバグの数を減らせてｳﾏｰ