私は、コンパイラ インフラストラクチャ フレームワークである Soot を使用して、Java 用の Andersen のポインター分析を構築することに興味があります。以下は、この分野の論文です。Java でこの分析を開始してプログラムするための適切な方法を特定できません。誰でもこれで私を助けることができますか？
厳密に型指定された言語の効率的な包含ベースのポイントツー分析 http://suif.stanford.edu/~jwhaley/papers/sas02.pdf
C プログラミング言語のプログラム分析と専門化 (元のアンダーセンの分析論文) http://www.cs.cornell.edu/courses/cs711/2005fa/papers/andersen-thesis94.pdf
Java のポイント: 一般的なフレームワークと経験的比較 https://pp.info.uni-karlsruhe.de/uploads/publikationen/streckenbach00tr.pdf
Spark を使用した Java Points-To 分析のスケーリング https://plg.uwaterloo.ca/~olhotak/pubs/sable-tr-2002-9.pdf
注釈付き制約を使用した Java の分析のポイント http://www.cs.rpi.edu/~milanova/docs/oopsla01.pdf
ありがとう、