WALA 学习笔记
架构分层:Technical Overview
分析域:Analysis Scope
基础配置:WALA Configuration
通用 AST:CAst
IR:Intermediate Representation
Shrike:Shrike
命名空间:Naming Java Entries
调用图构造:Call Graph
指针分析:Pointer Analysis
按需指针分析:Demand Pointer Analysis
切片:Slicer
Solvers:Solvers
实战技巧:Tips & Tricks
其他资料:Others