問題タブ [soot]

Soot でデータ フロー解析を実行したいと考えています。しかし、私の分析の性質は、Forward 分析を 1 回繰り返し、次に Forward 分析で計算されたデータフロー値を使用して Backward 分析を 1 回実行することです。これらの 2 回の反復は、私の分析手法の 1 回の反復になります。

フォワード、バックワード、およびフォワードブランチ フロー解析のみを提供するので、これは Soot で可能ですか?

そうでない場合は、Soot フレームワークでどのような変更を行う必要がありますか。JAVA でのデータフロー分析に使用できるツールが他にある場合は、誰か教えてください。

前もって感謝します、

マンダー

soot ライブラリで Local を Integer 型で定義したいのですが、このコマンドで Local を定義してみます

しかし、私はエラーが発生しました

整数型でローカルを定義する方法を誰か説明できますか?

Soot を使用する多くの Java プロジェクトでは、SootMethod.getSubSignature().

SootMethod.Signature()メソッドの署名を取得するために持っていることは知っていますが、SootMethod.getSubSignature()意味は何ですか。

これら2つの方法の違いは何ですか?

のようなステートメントの前に特定のステートメントを挿入できるように、コードをインストルメント化したいと思いthis.property=propertyます。thisこの目的のために、すすライブラリでステートメントを構成するキーワードを見つけるにはどうすればよいですか?

ライブラリをアプリケーションにリンクするために、すすを使用して jar を逆コンパイルしようとしましたが、エラーが発生しました。

どうして！教えてくださいますか？

私は、Java プログラムの計測にすすを使用します。soot で特定のクラスに呼び出しを追加するには、「Soot クラスパス」をそのクラス、.class ファイルを含むディレクトリに設定する必要があることを知っています。だから私はメインクラスのメインメソッドでこれを行います。コードのスニペットを以下に示します

しかし、classes フォルダーにある "Insop" クラスを使用したい場合は、Exins メソッドのコードに従ってください。

エラーが発生します

ubuntu 14.4 32ビットを使用し、intellijでコードを実行していることに言及する必要があります。私の間違いが見つかりません。手伝っていただけませんか。

私は、コンパイラ インフラストラクチャ フレームワークである 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

ありがとう、