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

Paket: 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.

Andere Pakete mit Bezug zu libwala-java-doc

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • dep: default-jdk-doc
    Standard Java or Java compatible Development Kit (documentation)

libwala-java-doc herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 461,1 kB7655 kB [Liste der Dateien]