WALA

ワラ

---

TJ Watson Libraries for Analysis（WALA）は、Java Bytecodeおよび関連言語、およびJavaScriptの静的分析機能を提供します。このシステムは、Eclipse Publicライセンスの下でライセンスされており、OSI（オープンソースイニシアチブ）によって完全に認定されたオープンソースライセンスとして承認されています。最初のWALAインフラストラクチャは、IBM TJ Watson Research CenterのDOMO研究プロジェクトの一部として独立して開発されました。 2006年、IBMはソフトウェアをコミュニティに寄付しました。

WALAの最近の更新については、メーリングリストに参加してください。

コアワラ機能

WALA機能は次のとおりです。

• Javaタイプのシステムおよびクラス階層分析
• JavaとJavaScriptをサポートするソース言語フレームワーク
• 相互作用データフロー分析（RHSソルバー）
• コンテキストに敏感な集計ベースのスライサー
• ポインター分析とコールグラフ構造
• SSAベースのレジスタ転送言語IR
• 反復データフローの一般的なフレームワーク
• 一般分析ユーティリティおよびデータ構造
• bytecode計装ライブラリ（Shrike）

はじめる

ここに述べたように、ワラを始める最速の方法は、Maven Centralのパッケージを使用することです。 Gradleベースの例については、Wala-Startリポジトリを参照してください。私たちは、より深いウィキの技術文書を積極的に再編成しています。それまでの間、チュートリアルスライドをチェックして、Walaの概要を確認できます。

• コアワラ（PDF）
• Wala JavaScript（PDF）

また、Wala JavaScriptチュートリアルのスクリーンキャストをこちらをご覧ください。

最後に、今のところ、Wikiドキュメントを検索するには、GitHubでサイト固有の検索をお勧めします。たとえば、「コールグラフ」の検索です。

ドキュメント

Github WikiでWalaのドキュメントをホストしています。貢献できるように、Wiki形式を選択しました。恥ずかしがらないで！

Wala Publications部門は、Wala-WalaのメーリングリストとGitterに投稿された質問に基づいて、このWikiに技術文書を需要主導型ベースで専用しています。メーリングリストアーカイブを検索するには、このページをお勧めします。

現在、WALAコードが継続的に更新されているJavadocドキュメントがあります。特定のファイルがより良いJavadocに値すると思われる場合は、機能リクエストを開いてください。

助けを得る

WALAのヘルプを取得するには、メーリングリストにメールするか、Gitterについて質問したり、問題を開いたりしてください。

必要なJavaバージョン

各公式のワラリリースのほとんどのコンポーネントは、Java 11以降で使用するために構築されています。ただし、Eclipseを使用するコンポーネントには、少なくともJava 17が必要です。

ソースからの建物

Walaは、Gradleをビルドシステムとして使用します。自分でWalaを変更または構築する場合は、より多くの指示と有用なヒントについては、Gradle固有のReadMeをご覧ください。

JavaScriptのWALAツール

最近、JavaScriptに実装されている一連のWALAツールを拡張しています。 js_wala githubリポジトリでJavascriptのNormalizerおよびいくつかの基本的なプログラム分析をリリースしました。また、JavaScript処理ツールのデバッガーであるJSDELTAとWala Deltaを利用可能にしました。これらのツールの詳細については、リンクされたGithubリポジトリをご覧ください。

ワラベースのツール

いくつかのグループは、他のWALAユーザーに役立つ可能性のあるWALAを強化または構築するオープンソースツールを構築しています。詳細については、WALAベースのツールページを参照してください。

謝辞

Wala開発者に優れたJavaプロファイラーの無料ライセンスを提供してくれたことに感謝します。