まず第一に、ここで何をしたいかを説明します: C の大きなプログラムが与えられた場合、データのプロデューサー/コンシューマーのリストと、関数の呼び出し/呼び出し関数のリストを出力したいと思います。データは。
これを行うために、自分のプラグインで dataflow.ml や callgraph.ml のような、frama-c のいくつかのモジュールを計算するものを使用することを考えています。
ただし、プラグイン開発者のドキュメントを読んでいると、これらのモジュールのデータにアクセスする方法がわかりません。
ここで自分のプラグインでは「open.cyl_type」で十分ですか?
さらに、ここに私の他の質問があります：
ちなみにpdgプラグインを目的に使用してみましたが、それを呼び出して「pdgグラフが計算されました」と表示された場合、どうすればアクセスできますか?
「インパクト」プラグインについて、公式 Web ページ以外に詳細に文書化されているものはありますか? (私はプロジェクト前の段階にあり、ubuntu に apt-get を使用して frama-c をインストールし、影響を与えるプラグインが機能していないと言わざるを得ません (ソースをコンパイルすることで確認できます) )))
ところで、目的を達成するために正しい方法を使用していると思いますか?