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的性能。