Skip to content
Sections
>> Trisquel >> Пакети >> etiona-updates >> doc >> libwala-java-doc
etiona  ] [  etiona-security  ] [  etiona-updates  ] [  nabia  ] [  aramo  ]
[ Източник: wala  ]

Пакет: 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.

Други пакети, свързани с libwala-java-doc

  • зависимости
  • препоръчани
  • предложени
  • dep: default-jdk-doc
    Standard Java or Java compatible Development Kit (documentation)

Изтегляне на libwala-java-doc

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
all 461,1 кБ7655 кБ [списък на файловете]