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.
Installed Size: 6.6 MB
Architectures: all