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

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

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
    instrumentation library for Java (Dila)

Currently this package provides the following libraries:

  * wala-cast
  * wala-core
  * wala-dalvik
  * wala-shrike
  * wala-util

Other Packages Related to libwala-java

  • depends
  • recommends
  • suggests
  • dep: libcommons-cli-java
    Package not available
  • dep: libcommons-io-java
    Common useful IO related classes
  • dep: libguava-java
    Package not available
  • dep: liblogback-java
    flexible logging library for Java
  • dep: libslf4j-java
    Package not available
  • dep: libsmali-java (>= 2.2.6)
    assembler/disassembler for Android's dex format

Download libwala-java

Download for all available architectures
Architecture Package Size Installed Size Files
all 3,094.5 kB3480 kB [list of files]