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 Кб [список файлов]