Binary package “libwala-java-doc” in ubuntu bionic
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
instrument
.
This package provides the documentations.
Source package
Published versions
- libwala-java-doc 1.3.9-2 in amd64 (Release)
- libwala-java-doc 1.5.1-1~18.04 in amd64 (Proposed)
- libwala-java-doc 1.5.1-1~18.04 in amd64 (Security)
- libwala-java-doc 1.5.1-1~18.04 in amd64 (Updates)
- libwala-java-doc 1.3.9-2 in arm64 (Release)
- libwala-java-doc 1.5.1-1~18.04 in arm64 (Proposed)
- libwala-java-doc 1.5.1-1~18.04 in arm64 (Security)
- libwala-java-doc 1.5.1-1~18.04 in arm64 (Updates)
- libwala-java-doc 1.3.9-2 in armhf (Release)
- libwala-java-doc 1.5.1-1~18.04 in armhf (Proposed)
- libwala-java-doc 1.5.1-1~18.04 in armhf (Security)
- libwala-java-doc 1.5.1-1~18.04 in armhf (Updates)
- libwala-java-doc 1.3.9-2 in i386 (Release)
- libwala-java-doc 1.5.1-1~18.04 in i386 (Proposed)
- libwala-java-doc 1.5.1-1~18.04 in i386 (Security)
- libwala-java-doc 1.5.1-1~18.04 in i386 (Updates)
- libwala-java-doc 1.3.9-2 in ppc64el (Release)
- libwala-java-doc 1.5.1-1~18.04 in ppc64el (Proposed)
- libwala-java-doc 1.5.1-1~18.04 in ppc64el (Security)
- libwala-java-doc 1.5.1-1~18.04 in ppc64el (Updates)
- libwala-java-doc 1.3.9-2 in s390x (Release)
- libwala-java-doc 1.5.1-1~18.04 in s390x (Proposed)
- libwala-java-doc 1.5.1-1~18.04 in s390x (Security)
- libwala-java-doc 1.5.1-1~18.04 in s390x (Updates)