Static program analysis
Software engineering
Computing
Programming language theory
Control flow analysis
Soot
Call graph
Compiler
Analysis
Data-flow analysis
SIGPLAN
Java