TJ Watson分析库(WALA)为Java字节码和相关语言以及JavaScript提供了静态分析功能。 该系统根据 ( ,该已由 (开放源代码计划)批准为完全认证的开放源代码许可证。 最初的WALA基础结构是的DOMO研究项目的一部分,是独立开发的。 2006年, 向社区捐赠了该软件。
有关WALA的最新更新,请加入。
WALA的核心功能
WALA的功能包括:
Java类型系统和类层次结构分析
支持Java和JavaScript的源语言框架
过程间数据流分析( 求解器)
基于上下文的列表制切片器
指针分析和调用图构造
基于SSA的寄存器传输语言IR
迭代数据流的通用框架
通用分析工具和数据结构
字节码检测库( )
入门
开始使用WALA最快的方法是使用Maven的中央的软件包,注意。 有关基于Gradle的示例,请参阅库。 我们正在积极地重新组织更深入的Wiki技术文档。 同
1