WALA:TJ Watson图书馆进行分析-源码

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