Skip to content
Sections
>> Trisquel >> Packages >> etiona-updates >> doc >> libwala-java-doc
etiona  ] [  etiona-security  ] [  etiona-updates  ] [  nabia  ] [  aramo  ]
[ Source: wala  ]

Package: libwala-java-doc (1.5.1-1~18.04)

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

  • depends
  • recommends
  • suggests
  • 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 461.1 kB7655 kB [list of files]