Soot
Programming language implementation
Static program analysis
Programming language
Compiler
Analysis
Semantics
Software
Computing
McGill University