きりかノート

とりあえず自分の資料は「clangでObjective-Cプログラムを静的解析」として公開しとく。clangのscan-buildコマンドで、Objective-Cプログラムを静的コード解析してメモリリークなどのバグが見つけられたりするという、マユツバなようで本当の話。

水曜日あたりにStepwise経由で"Noodlings » New Tool On The Block: The LLVM/Clang Static Analyzer"を見て、おもしろそうなので発表することに。cfe-dev MLにやたらと"static analyzer"という語が飛び交っているのには気づいていたけれど、ちゃんと読んでなかったので、ここまで動作するものだとは思っていなかった。

なかなか面白いので、手元にObjective-C/Cocoaのプログラムある人は試してみるといいと思うよ。

PDFでスライドを公開しても反応が薄いよう（前回のSIMBLはけっこー自信あったのに）なので、HTML資料をちゃんと書いてからスライドつくることにした。資料はさくっと書けたので、スライドはRabbit製にしてみた。ちょうど今、MacPortsパッケージのほうをいろいろ構成いじってるので、その検証も含めて。

手元のRuby 1.8.7-p22とRuby-Gnome 0.17.0-rc1だとアレなので、テーマ中に

 GC.disable

といれるという大冒険。これで問題なく動いた。

てきとーPortfile

バイナリのcheckerをダウンロードすればすぐ使えるけれど、そんなときでもPortfile

 # $Id: $
 PortSystem      1.0
 
 name            clang-checker
 version         60
 revision        0
 categories      devel
 maintainers     kimuraw
 description     LLVM/Clang Static Analyzer
 long_description LLVM/Clang Static Analyzer
 homepage        http://clang.llvm.org/StaticAnalysis.html
 master_sites    http://keeda.stanford.edu/~kremenek/checker/
 use_configure   no
 build           {}
 destroot        {
     xinstall ${worksrcpath}/ccc-analyzer ${destroot}${prefix}/bin
     xinstall ${worksrcpath}/clang ${destroot}${prefix}/bin
     xinstall ${worksrcpath}/scan-build ${destroot}${prefix}/bin
     xinstall ${worksrcpath}/sorttable.js ${destroot}${prefix}/bin
 }
 distname        checker-${version}
 worksrcdir      ${distname}
 checksums       md5 78b2d77f4a12d4f09ecec7bf69e8504a \
                 rmd160 acebdae2755447cdbb21881ef86d84effc01c1f0 \
                 sha1 daaf5d2d508e7b390ed4fdafd4b3c7c3088d8f66