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/
→ 日本語でいろいろと説明してくれてる。でもブログ終了って書いてある・・・消えないうちに読まないと。