http://wala.sourceforge.net/wiki/
WALA features include:
- Java type system and class hierarchy analysis
- Source language framework supporting Java and JavaScript
- Interprocedural dataflow analysis
- Context-sensitive tabulation-based slicer
- Pointer analysis and call graph construction
- SSA-based register-transfer language IR
- General framework for iterative dataflow
- Significant support for J2EE semantics
- General analysis utilities and data structures
- A bytecode instrumentation library and a dynamic load-time instrumentation library for Java