完整文件的Frama-C圖形

Question

我一直在試圖使用pdg-dot插件來幫助創建我的軟件的一個很好的圖形。問題是不同的文件沒有主要，所以Frama-C抱怨。當我使用-main標記並指定一個函數來啓動它時，它只會爲該函數及其內部的任何內容創建一個.dot文件。有沒有辦法讓我有一個.c文件的.dot文件？

Answer 1

我不這麼認爲。每個生成的PDG僅代表一個功能。但是，您可以獲取從入口點（主）可到達的所有功能的PDG。