opal-framework

0熱

1答えて

ですが、私は、ドメイン次のように値を作成します上位型バインドまたは正確な実行時型。しかし、私はこの情報をそれぞれのDomainValueに渡す方法を知らない。 Iは、Javaメソッドの抽象解釈を実行するBaseAI.perform方法にこれらDomainValuesを渡す： BaseAI.perform(classFile, caller, domain)(Some(parameters))

0熱

1答えて

OPALプロジェクトのコンソール出力を無効にしますか？

私は静的解析を実装するためにOPALフレームワークを使用しています。私は、実行中にコンソールに表示されるフレームワークのコンソール出力を抑止することが可能かどうか疑問に思った。以下は、出力の一部を示しています。 ... [info][OPAL] Bytecod Representation - Development Build (asserstions are enables) [info]

0熱

1答えて

OPAL-CHAアルゴリズムを使用して抽象クラスで定義されたメソッド呼び出しの呼び出しについて

CHAを使用してJavaバイトコードのコールグラフを作成するアルゴリズムに関する質問があります。抽象クラスでのメソッドの具体的な実装方法がないため、このようなメソッドにコールエッジを追加すると少し誤解を招く可能性があります。たとえば、junit-4.12.jarとします。 runFailedは、抽象クラスであるjunit.runner.BaseTestRunnerで定義されています。また、（ジ

0熱

1答えて

OPAL：OPALフレームワークに注釈付きメソッド

を手動で作成すると、手動で注釈付きメソッドを作成できますか？私は現在、次のコードを持っている： Method(0, "signaturePolymorphicMethod", MethodDescriptor(ObjectType("java/lang/Object"), VoidType), Seq()) を、私は、このメソッドに注釈 @java.lang.invoke.Met

0熱

1答えて

OPAL-どのように分析（OPALのソースコード内のeg.CHADemo）を実行している間にプロジェクト

のプロパティを設定するには、私はいつも former questionで [warn][OPAL] the property org.opalj.threads.CPUBoundTasks is unspecified よう警告します、それは共通のconfigファイルを示唆しました/src/main/resources/reference.confの下にプロジェクトを作成します。だから、ファイ

0熱

1答えて

OPAL：コードをメソッドに外部化した後にSingleOriginReferenceが見つからないのはなぜですか？

私はOPALフレームワークを使ってJavaバイトコードの静的解析を開発しています。現在、コードの構造を変更して機能を追加する必要があります。：私は別のメソッドに最後の場合は、大きなブロックを外部化理由です def singleCallUpperTypeBounds( caller: Method, pc: Int, calleeDescriptor: MethodD