soot

0熱

1答えて

私はsootを使ってJava用の小さな副作用検出を書きました。私自身が書いた関数の期待出力を私に渡します。しかし、基本クラス（java.lang。、java.awt。）では動作しません。私はすすで、次の機能を分析する： public void testMeWithSoot(){ Point p = new Point(1,1); double q = Math.sqrt(p.

0熱

1答えて

スートを使って2つのグラフを作成する方法

スートの2つのグラフを比較したいと思います。しかし、私はできません。私は2つのディレクトリ "src"と "dst"からクラスをロードしようとしました。そして、オブジェクトicfgには2つの開始点があると思いました。しかし、そうではありません。私はまた、 "soot.Main.main"を2回呼び出すことを試みました。それは動作しません。 2つのグラフを作成するにはどうすればよいですか？私にお知

6熱

1答えて

Soot：ソースファイル変更後のリロードクラス

Javaプログラムコードを解析するIntelliJ-Pluginを作成しています。したがって、私はSootを使って静的解析を書いています。ユーザーが私のプラグインの分析・アクションをトリガーするたびに、私はこのような現在のコンテキストの現在のVirtualFileを取る：私は、このファイルの内容を確認するとき FileEditorManager manager = FileEditorManage

0熱

1答えて

Sootプラグインとコマンドライン - windows - jdk1.7

hereとhereの指示に従って単純なプラグインを作成しました。私はエラーを取得し、コマンドラインからすすを起動したとき C:\..\folder>java -cp soot-2.5.0.jar;plugin.jar soot.Main --plugin plugin.xml -p jap.foo opt:true java.lang.Object Invalid option -plugi

0熱

2答えて

SOOT - ここCompilationDeathException（ファントム軍）

は、私は、Windows 10コマンドシェルに使用するコマンドです： java -cp .\soot-2.5.0.jar soot.Main -cp ".;R:\...\OCLRuler\lib;C:\...\jdk1.8.0_144\bin" -pp -process-dir R:\...\OCLRuler\src\ -src-prec java -d R:\...\test\soot

0熱

1答えて

バイトコードオフセットとスートのスタックオフセット

私が現在取り組んでいるプロジェクトでは、Shimple内の場所に対応する命令のバイトコードアドレスと、Shimple内の識別子へのスタックオフセットとオブジェクトフィールド参照を正確にマッピングできる必要があります。命令位置は、静的なシンボリック実行を開始するためにSPF実行を「トラップ」するために使用されます。これらのトラップポイントでは、スタティックコード領域で使用されるスタック位置とフィール

0熱

1答えて

`` Class``インスタンスのジングル表現

さまざまなクラスの実装をホットスワップする必要があります（実行時に多少変更され、再び変更される可能性がある新しい実装です）。 ByteBuddyこれは簡単に行うことができますが、（明らかに）インターセプト以外の方法ではあまりできません。そのため、ASMが付属しています。基本的な使用法は private static byte[] transformFoo() throws IOException

1熱

1答えて

受信エラーでもクラスエラーが見つかりませんでした。スートライブラリのクラスパスを設定する

私は、スートをJavaプログラムのインストルメントに使用します。私はすすの特定のクラスに呼び出しを追加することを知っている、私たちはそのクラス、.classファイルを含むディレクトリに "Sootクラスパス"を設定する必要があります。だから私はメインクラスのメインメソッドでこれを行います。私は public class Main { public static void main(String[

0熱

1答えて

AndersenのSootによるポインタ解析

コンパイラインフラストラクチャフレームワークであるSootを使用してJava用のAndersenのポインタ解析を構築することに興味があります。以下はこの分野の論文です。私はこの分析をJavaで開始しプログラムするための適切なアプローチを特定できません。誰もこれで私を助けることができますか？効率的なインクルージョンベースポイント-するための解析のための厳密-型付け言語 http://suif.st

0熱

1答えて

スートでコントロールフローグラフを作成するには？

しばらくの間、私はSootのコントロールフローグラフを作成するのに苦労していましたが、私はちょっとtutorialsで迷子になりました。 EclipseプラグインとしてSootを使用するのではなく、SootをライブラリまたはAPIとして使用しようとしています。私がやりたいことは、Javaプロジェクトがたくさんあることです。これらのプロジェクトのコントロールフローグラフを作成/生成したいと思います