WALA

瓦拉

---

TJ WATSON库分析（WALA）为JAVA字节码和相关语言以及JavaScript提供了静态分析功能。该系统是根据Eclipse公共许可证获得许可的，该许可已由OSI（开源计划）批准为完全认证的开源许可证。最初的WALA基础设施是在IBM TJ Watson Research Center的Domo研究项目的一部分中独立开发的。 2006年，IBM将该软件捐赠给了社区。

有关WALA的最新更新，请加入邮件列表。

核心Wala功能

WALA功能包括：

• Java类型系统和类层次结构分析
• 来源语言框架支持Java和JavaScript
• 摘要数据流分析（RHS求解器）
• 基于上下文敏感制表的切片机
• 指针分析和呼叫图构造
• 基于SSA的寄存器转移语言IR
• 迭代数据流的一般框架
• 一般分析实用程序和数据结构
• 字节式仪表库（Shrike）

入门

开始使用WALA的最快方法是在这里指出的是Maven Central的包裹。有关一个基于Gradle的示例，请参见Wala-start Repo。我们正在积极地重新组织更深层次的Wiki技术文档。同时，您可以查看教程幻灯片以获取Wala的概述：

• 核心瓦拉（PDF）
• Wala JavaScript（PDF）

您也可以在此处观看Wala JavaScript教程的屏幕截图。

最后，现在，要搜索Wiki文档，我们建议在GitHub上进行特定于网站的搜索，例如，搜索“呼叫图”。

文档

我们正在Github Wiki上托管Wala的文档。我们选择了Wiki格式，以便您可以做出贡献。不要害羞！

WALA出版物部正在以需求驱动的基础上填充这一Wiki，这是由发布到Wala-Wala邮件列表和Gitter的问题驱动的。我们建议此页面搜索邮件列表档案。

目前，我们有有关WALA代码正在连续更新的Javadoc文档。如果您认为特定文件值得更好的Javadoc，请打开功能请求。

得到帮助

要获得有关WALA的帮助，请发送电子邮件至邮件列表，在吉特上询问问题，或打开问题。

需要Java版本

每个官方WALA版本的大多数组件均用于Java 11或更新。但是，使用日食的组件至少需要Java 17。

从来源建造

Wala使用Gradle作为其构建系统。如果您打算自己修改或构建Wala，请查看特定于Gradle的读数，以获取更多说明和有用的提示。

javaScript中的wala工具

最近，我们一直在扩展JavaScript中实施的WALA工具集。我们已经在JS_WALA GITHUB存储库中发布了JavaScript的标准式和一些基本程序分析。我们还为JavaScript加工工具提供了JSDelta和Wala Delta的JSDelta和Wala Delta。有关这些工具的更多详细信息，请参阅链接的GitHub存储库。

基于WALA的工具

几个小组已经建立了开源工具，可增强或建立在Wala上，这可能对其他Wala用户有用。有关详细信息，请参阅基于WALA的工具页面。

致谢

我们感谢您的Kit为Wala开发人员提供了出色的Java Profiler的免费许可，我们用来改善和维持Wala的性能。