Package: libwala-java-doc (1.5.2-1)

[ Source: wala  ]

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.

Other Packages Related to libwala-java-doc

• dep: default-jdk-doc

  Standard Java or Java compatible Development Kit (documentation)

Download libwala-java-doc

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	241.2 kB	6,430.0 kB	[list of files]