問題タブ [opal-framework]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
scala - OPAL: コードをメソッドに外部化した後、SingleOriginReference が見つからないのはなぜですか?
OPAL フレームワークを使用して Java バイトコードの静的解析を開発しています。
現在、いくつかの機能を追加するために、コードの構造を変更する必要があります。
これは大きなメソッドに由来し、その一部を別のメソッドに外部化する必要があります。
これが、最後の大きな if ブロックを別のメソッドに外部化した理由です。
なんらかの理由で、Scala IDE の次の行でいくつかのエラーが発生するようになりました。
エラーメッセージは次のとおりです。
タイプ SingleOriginReferenceValue は org.opalj.ai.Domain のメンバーではありません
と
値 MultipleReferenceValues は org.opalj.ai.Domain のメンバーではありません
この if ブロックを別のメソッドに外部化する前は、これらのエラー メッセージは発生しませんでした。これらの行を
import org.opalj.ai.domain.l1.ReferenceValues.SingleOriginReferenceValue import org.opalj.ai.domain.l1.ReferenceValues.MultipleReferenceValues をインポートしても役に立ちません。
ここで何がうまくいかないのか、誰か教えてもらえますか？
scala - OPAL プロジェクトからのコンソール出力を無効にしますか?
OPAL フレームワークを使用して静的分析を実装しています。実行中にコンソールに出力されるフレームワークのコンソール出力を抑制することができるかどうか疑問に思いました。以下に出力の一部を示します。
OPAL にはいくつかの LogLevels (つまり、WARN、INFO、ERROR) があることがわかりましたが、ログの粒度を指定する方法が見つかりませんでした。私は警告とエラーに非常に興味がありますが、(大量の) 出力を情報レベルで抑制したいと考えています。
scala - OPAL: アノテーション付きメソッドの手動作成
OPAL フレームワークで、注釈付きのメソッドを手動で作成することは可能ですか?
現在、次のコードがあります。
注釈を追加したい
この方法に。これどうやってするの？
scala - OPAL-Framework: メソッドのスローされた例外を取得する
OPAL フレームワークでは、メソッドまたはその記述子からスローされたすべての例外を取得するにはどうすればよいですか? それらを返すメソッドが見つかりませんでした。
メソッドの throws-declaration にリストされている例外にのみ関心があります。
sbt - OPAL - ローカル マシンの Docker でコードをビルドする方法 (コンパイル エラーに直面)?
Docker ($docker pull mreif/fse2016:evaluation) でコードにアクセスすると、リモート サーバーでコードをコンパイルしてエラーなく実行できました。ローカル マシンにダウンロードしているときに、コンパイル中にいくつかのエラーが発生しました (使用: sbt コンパイル):
- [エラー] (*:更新) sbt.ResolveException: 未解決の依存関係: de.opal-project#abstract-interpretation-framework_2.11;0.9.0-SNAPSHOT: not
[私がやったこと] 「build.sbt」に次の行を追加しました:
- [エラー] 評価/src/main/scala/org/opalj/evaluation/EntryPointAndCallEdgeCountAnalysis.scala:90: 見つかりません:
[私がやったこと] 「build.sbt」に次の行を追加しました:
3.[エラー] /src/main/scala/org/opalj/evaluation/EntryPointAndCallEdgeCountAnalysis.scala:130: 見つかりません: 値 LibraryEntryPointsAnalysis
関連コードを確認したところ、LibraryEntryPointsAnalysis は実際にインポートされていますが、動作しません。
ソースコードをコンパイルするために見逃した操作があるかどうかを確認するのを手伝ってもらえますか?
どうもありがとうございました！
ジャン
scala - OPAL - OPAL でのコンストラクト コール グラフの実装について
論文 [A Software Product Line for Static Analyses(2014)] に、コール グラフの作成に関する図があります (Listing7)。
この例では、Line14 が呼び出しグラフの構築に関連しています。src コードと API をチェックしているときに、コンストラクト コール グラフが実装されていない DefaultCHACallGraphDomain.scala を見つけることができました。
私の目的はOPALを使用してコールグラフを構築することです。OPAL の既存の CallGraphDomain を理解するのに役立つデモやドキュメントはありますか? 現在、いくつかのクラス宣言しか見つかりません。
このトピックに関連する提案を誰かに教えていただければ幸いです。
前もって感謝します。
ジャン
opal - OPAL-プロジェクトのプロパティの設定方法
分析を実行している間 (OPAL ソース コードの CHADemo など)、常に次のような警告が表示されます。
前の質問で、 /src/main/resources/reference.conf の下の Common プロジェクトの構成ファイルを提案しました。そのため、次の行をファイルに追加しようとしましたが、それでも同じ警告が表示されました。
また、OPAL をプロジェクトのライブラリとしてインポートし、プロジェクトの "/src/main/resources/" に reference.conf を作成しようとしています。私は同じ問題を抱えています。