Sunday, November 21, 2010

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

No comments: