control-flow-graph

1熱

1答えて

私はノードが何らかの操作を表し、エッジがそれらの操作間のデータフローを表す有向グラフを構築できるWebアプリケーションを構築しています。だからエッジ{u、v}に対しては、vがする前に実行しなければなりません。 Click this link to see a sample graph STARTノードは初期値を表し、出力を除く他のノードは指定されたとおりに動作します。出力ノードは、入力として受け取

1熱

1答えて

壊れたLLVM関数のCFGを視覚化する最も良い方法

.llファイルにあるLLVM関数のCFGを視覚化する必要があります。ツールoptがあります。ツールは--view-cfgです。しかし、問題は、関数が壊れている、レジスタの定義がすべての用途を支配していないということです。なぜそうなのかを調べるにはCFGを見る必要があります。問題：optは間違ったLLVM機能を使用しないため、CFGを表示することはできません。したがって、壊れたLLVM関数のCFG

0熱

1答えて

実行不可能なバイナリファイル用のCFGの生成方法

実行不可能なバイナリファイル用のコントロールフローグラフを生成します。目的は、生成されたLinuxカーネルのバイナリファイルに対して静的解析を実行することです。これを行うためのツールはありますか？検索で見つけたツールは実行可能ファイルのみです。私はアセンブリにバイナリを逆アセンブルするためにobj-dumpを使います。現在、アセンブリの基本ブロックの解析を行っていますが、この方法ではすべての実行

0熱

1答えて

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

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

2熱

1答えて

ASTをSSAに翻訳することはできますか、それともCFGに翻訳してからSSAに翻訳する必要がありますか？

抽象構文木をSSA形式に直接変換することはできますか、または制御フローグラフを作成してから、そのCFGから静的単一代入形式を作成する必要がありますか？コントロールフローグラフのコンテキストでは、Cのようなプログラムでこれをどのように表しますか？私はすべての基本ブロックのCFGのグラフをすべての関数に格納できると思っていますが、関数を呼び出すと、複雑になることがあります。私が考えることのできる別の

3熱

1答えて

llvm - タイプbrの命令のラベルフィールドで参照される基本ブロックの最初の命令を取得します。

コードの制御フローをチェックするパスを作成しようとしています。 br命令があれば、ラベルフィールドで参照される基本ブロックにアクセスする必要があります。は例えば、コードのために： for(i = 0; i < count; i++){ sum = add(sum, array[i]); } 私は、私はパスで、この命令に遭遇したときに今、私はこれらのラベルがある場所を正確に

1熱

1答えて

コントロールフローC++のコード用グラフジェネレータ

C++で書かれたソースコードのコントロールフローグラフジェネレータを探しています。オープンソースの静的ジェネレータはご存知ですか？私は、分析アプリケーションの実行中に実行されたコントロールフローグラフとハイライトパスを生成するために私の卒業プロジェクトで使用したいと思います。実行済み行を記録するためにすでにエンジン全体を書いています。ありがとうございました。

0熱

1答えて

メソッドパラメータを追跡する方法は？

私は、Javaプログラミング言語の「メソッドのパラメータを追跡する」という正確な用語を見つけようとしていますが、私は一般に「汚れ分析」を見つけましたが、正しい経路にいるかどうかはまだ分かりません。私が欲しいのは、メソッドのパラメータを追跡し、メソッドのどの部分（スコープ内）がパラメータの効果をするかを確認することです。たとえば、パラメータが別の変数に割り当てられている場合は、割り当てられた変数も

1熱

1答えて

Radare2から完全なバイナリコントロールフローグラフを取得

radare2を使用してバイナリ（マルウェア）のフルコントロールフローグラフを取得したいとします。私はSOの別の質問からthis postを追跡しました。 agの代わりに、1つの関数のグラフだけでなく、バイナリ全体の制御フローグラフを与える別のコマンドがあるかどうかを質問したいと思いました。、あなたはradare2をダウンロードしてインストールした後 $ git clone https:/