コンパイラインフラストラクチャフレームワークであるSootを使用してJava用のAndersenのポインタ解析を構築することに興味があります。以下はこの分野の論文です。私はこの分析をJavaで開始しプログラムするための適切なアプローチを特定できません。誰もこれで私を助けることができますか?AndersenのSootによるポインタ解析
効率的なインクルージョンベースポイント-するための解析のための厳密-型付け言語 http://suif.stanford.edu/~jwhaley/papers/sas02.pdf
Cプログラミング言語のためのプログラムの解析と専門(オリジナルアンデルセンの分析論文)Java用 http://www.cs.cornell.edu/courses/cs711/2005fa/papers/andersen-thesis94.pdf
ポイント-へ:一般的な枠組みと経験的比較 https://pp.info.uni-karlsruhe.de/uploads/publikationen/streckenbach00tr.pdf
スパークを使用したJavaポイントの分析スケーリング https://plg.uwaterloo.ca/~olhotak/pubs/sable-tr-2002-9.pdf個の
ポイント-に分析Javaのための注釈付き制約 http://www.cs.rpi.edu/~milanova/docs/oopsla01.pdf
を使用するおかげで、それを構築するための
しかし、目的はそれを構築することです。すでに提供されているものを使用しないでください。 –