完整文件的Frama-C圖

Question

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

Answer 1

我不這么認為。 每個生成的PDG僅代表一個功能。 但是，您可以從入口點（主要）獲得所有可用功能的PDG。