Binary package “libwala-java” in ubuntu bionic
Static analysis on Java bytecode and related languages
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
instrument
.
Currently this package provides the following libraries:
.
* wala-cast
* wala-core
* wala-dalvik
* wala-shrike
* wala-util
Source package
Published versions
- libwala-java 1.3.9-2 in amd64 (Release)
- libwala-java 1.5.1-1~18.04 in amd64 (Proposed)
- libwala-java 1.5.1-1~18.04 in amd64 (Security)
- libwala-java 1.5.1-1~18.04 in amd64 (Updates)
- libwala-java 1.3.9-2 in arm64 (Release)
- libwala-java 1.5.1-1~18.04 in arm64 (Proposed)
- libwala-java 1.5.1-1~18.04 in arm64 (Security)
- libwala-java 1.5.1-1~18.04 in arm64 (Updates)
- libwala-java 1.3.9-2 in armhf (Release)
- libwala-java 1.5.1-1~18.04 in armhf (Proposed)
- libwala-java 1.5.1-1~18.04 in armhf (Security)
- libwala-java 1.5.1-1~18.04 in armhf (Updates)
- libwala-java 1.3.9-2 in i386 (Release)
- libwala-java 1.5.1-1~18.04 in i386 (Proposed)
- libwala-java 1.5.1-1~18.04 in i386 (Security)
- libwala-java 1.5.1-1~18.04 in i386 (Updates)
- libwala-java 1.3.9-2 in ppc64el (Release)
- libwala-java 1.5.1-1~18.04 in ppc64el (Proposed)
- libwala-java 1.5.1-1~18.04 in ppc64el (Security)
- libwala-java 1.5.1-1~18.04 in ppc64el (Updates)
- libwala-java 1.3.9-2 in s390x (Release)
- libwala-java 1.5.1-1~18.04 in s390x (Proposed)
- libwala-java 1.5.1-1~18.04 in s390x (Security)
- libwala-java 1.5.1-1~18.04 in s390x (Updates)