WALA

The T. J. Watson Libraries for Analysis (WALA) provide static analysis capabilities for Java bytecode and related languages.

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