C Statical Analysis Tools

仕事関連でC言語の静的解析に興味をもったので、参考になりそうなサイトのメモ。


C Statical Analysis Tools
http://jprvita.wordpress.com/tag/msc/

LLVM/Clangというのがお勧めらしい。
参考URL

Getting Started: Building and Running Clang
http://clang.llvm.org/get_started.html


The LLVM Compiler Infrastructure
http://llvm.org/


並列メモ?
http://d.hatena.ne.jp/vtwinautomaton/
→ 日本語でいろいろと説明してくれてる。でもブログ終了って書いてある・・・消えないうちに読まないと。