frama-c - データフロー グラフ

Question

手続き間のデータフロー/ポイントツーグラフを出力するframa-cプラグインはありますか?

スライサープラグインの -pdg にこの情報が含まれることは理解していますが、個別に取得できるかどうか疑問に思っています。

Answer 1

PDG はスライス プラグインの一部ではありません。必要に応じて単独で使用できます。見る ：

$ frama-c -pdg-help

オプションの (短い) リストと、独自のプログラムで使用するための Db.Pdg モジュール (src/kernel/db.mli 内) の API。