Java/JavaScriptの静的解析ツール WALA の使い方を簡単にまとめたものです
私的なメモなので雑な説明があるのはご了承下さい
WALAの導入
IntelliJでWALAを使う
Java(バイトコード)の解析
JavaScriptの解析
JavaのCallGraphに含まれる情報
JavaのPointerAnalysisに含まれる情報
JavaScriptのCallGraphに含まれる情報
JavaScriptのPointerAnalysisに含まれる情報
Field-based Analysis
Correlation Tracking
WALA wiki
PLDI Java Tutorial (pdf)
WALA JavaScript Tutorial (pdf)
http://www.ist.aichi-pu.ac.jp/lab/yamamoto/wala