無料ツールを使用して、Cコードのプログラム依存グラフを生成できます。

Question

Cソースコードからプログラム依存グラフ（PDG）を生成します。私はどのようにそれを説明する論文を見つけましたが、すべて商用のCodeSurferツールを使用しました。

このジョブを実行できる無料のツールやオープンソースプロジェクトはありますか？

Answer 1

Frama-Cは、プログラム依存グラフの計算に基づくa slicer for C programsのオープンソース静的解析プラットフォームです。

Cのような実際のプログラミング言語で書かれた実際のプログラムをスライスすることは、多くの特殊なケースや概念が科学的な出版物では見過ごされることに注意してください。それでも、私はあなたがFrama-CのPDG計算より簡単なものは見つけられないことを確信しています。なぜなら、それは唯一のオープンソースの1つであり（私が知っている）、第2に、Cプログラムを扱う他のPDG計算は、同じ問題を解決し、同じ概念を導入する。

int a, b, d, *p; 

int f (int x) { 
    return a + x; 
} 

int main (int c, char **v) { 
    p = &b; 
    a = 1; 
    *p = 2; 
    d = 3; 
    c = f(b); 
} 

コマンドframa-c -pdg -dot-pdg graph -pdg-print t.cそれぞれmain()とf()のPDGを含むドットファイルgraph.main.dotとgraph.f.dotを生成する：ここ

は一例です。

あなたは、このようにそれらのいずれかのプリティプリントにdotプログラムを使用することができます。dot -Tpdf graph.main.dot > graph.pdf

結果は以下の通りです：

は、ノード*p = 2;へのノードc = f(b);からエッジに注意してください。 Cプログラムにとって有益であると主張するPDG計算は、エイリアシングを処理しなければならない。

一方、基準「文c = f(b);の入力」にスライスし、このPDGを使用してスライサーでもポインタアクセス*pを通じて、関数呼び出しに影響を与えることができないd = 3;を、取り除くことができるでしょう。 Frama-Cのスライサーは、PDGで指定された依存関係を使用して、ユーザー指定のスライシング基準に役立つステートメントのみを保持します。例えば、コマンドframa-c -slice-wr c t.c -then-on 'Slicing export' -printはdへの割り当てが削除された以下に低減プログラムを生成する：

/* Generated by Frama-C */ 
int a; 
int b; 
int *p; 
int f_slice_1(int x) 
{ 
    int __retres; 
    __retres = a + x; 
    return (__retres); 
} 

void main(int c) 
{ 
    p = & b; 
    a = 1; 
    *p = 2; 
    c = f_slice_1(b); 
    return; 
} 

Answer 2

gccを使用しているメソッドの依存関係を視覚化したい場合は、gccのオプション-fdump-rtl-expandが役に立ちます。

オプションファイル-fdump-rtl-expandgccを使用してコンパイルした各ソースファイルに対して、*.expandファイルを出力します。

ツールに入力されたファイルegyptは、メソッドの依存関係を示すグラフを生成します。