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)
.
Currently this package provides the following libraries:
.
* wala-cast
* wala-core
* wala-dalvik
* wala-shrike
* wala-util
Installed Size: 3.6 MB
Architectures: all