TinyPDG

A library for building intraprocedural PDGs for Java programs

TinyPDGのフォーク

実験に必要なデータを収集する

How To Use

Out put pdg and cfg

./gradlew run --args="-d path/to/srcfile -p ./pdg.dot -c ./cfg.dot"
dot -Tpdf pdg.dot -o pdg.pdf

Out put edge info

追加したオプション-e, -t, -l 各ノードに着目し，データ/コントロール依存エッジの入力/出力数を出力する．

./gradlew run --args="-d path/to/srcfile -e path2outputfile"

-dで指定したファイルのデータ依存グラフを作成し， 各ノードにおける，

1. データ依存エッジの入力数
2. データ依存エッジの出力数
3. コントロール依存エッジの入力数
4. コントロール依存エッジの出力数 を指定したファイルに出力する．

-tは特定のメソッドを指定できる． -eと共に利用できる．

-lは特定のラインを指定できる．-e, -tとのみ利用できる．

出力されるデータ形式はcsv

Out put graphviz

dot -T png ${pdg}.dot -o ${pdg}.png