Static analysis on Java bytecode and related languages - Docs

 The T. J. Watson Libraries for Analysis (WALA) provide static analysis
 capabilities for Java bytecode and related languages and for JavaScript. WALA
 features include:
 .
   * Java type system and class hierarchy analysis
   * Source language framework supporting Java and JavaScript
   * Interprocedural dataflow analysis (RHS solver)
   * Context-sensitive tabulation-based slicer
   * Pointer analysis and call graph construction
   * SSA-based register-transfer language IR
   * General framework for iterative dataflow
   * General analysis utilities and data structures
   * A bytecode instrumentation library (Shrike) and a dynamic load-time
     instrumentation library for Java (Dila)
 .
 This package provides the documentations.