データ/制御依存のためのオープンソースのJava解析ライブラリがありますか？

Question

私は、Javaプログラムのためのボックスデータと制御依存解析をいくつか持っているライブラリ/ APIを探しています。これは、データ依存性を計算し、依存性を制御するために、与えられたプログラムの制御フローグラフ（CFG）に関する静的解析である。すでに完了している場合、これらのテクニック/アルゴリズムの再実装は避けてください。プロシージャ間の分析は素晴らしいですが、プロシージャ内の分析も行うライブラリで作業することができます。

ご意見をいただければ幸いです。

編集：は、私が発見したことの一つはjChordですが、私が実装しなければならないためかどうかは、実際に私が探していますボックスの機能のうちのいずれかを持っている場合、私はまだ決定することができていませんそれは自分。

別の可能性は、少なくともこれを行うために必要なインフラを持っていますが、ドキュメント（またはその欠如）のようですjoeqライブラリはそれが困難な私はそれが実際に可能であるものを教えてできるようにすることです。

私は確かEclipseは大量のデータフロー解析を行っていますが、公開されているものはまだ見ていません。このようなものを持つEclipse APIを知っている人は誰ですか？

Answer 1

http://www.sable.mcgill.ca/soot/

Answer 2

私はJBoss Tattletaleにいくつかの有用なレポートがあることを発見しました。

Answer 3

を試してみてくださいOPは、彼があまりにも非オープンソース・システムに興味があると言います。

当社とDMS Software Reengineering ToolkitそのJava Front End、フルASTの生産、すべての方言1.4から1.7でJavaソースコードを解析し、シンボルテーブル、式の計算の種類を構築し、OPの要求に応じて制御し、明示的に制御依存性を含むメソッド内のデータフローを決定することができます。

通常、先進的な分析に興味のある人は、未処理の分析を念頭に置いています。 DMSは、プログラム分析と変換ツールのエコシステムであり、ソース位置（ASTから直接引き出される）またはソースコード（関心のあるサブツリーから事前に印刷された）に関して既存のコードに関する診断にそのような分析を活用するために使用することができる。 （ASTを組み立ててprettyprintingすることによって）新しいコードフラグメントを生成するか、または最終的に実際に元のコードを変更する（手続き修正を使用してASTを修正することによって、またはより良いソース - ソース変換と修正されたASTをprettyprintingすることによって）