如何從frama-c獲取C文件名？

Question

我正在使用Cil_types在frama-c中開發一個插件。 默認情況下，此插件將C程序的AST（Cil_types.file）作為輸入。 我想獲取此文件的名稱，但無法使用Cil_types。 是否可以獲取此信息？

Answer 1

• Kernel.Files.get()將返回已提供給Frama-C的輸入文件的列表。
• Globals.FileIndex.get_files ()將返回文件列表，在該文件列表中至少聲明/定義了當前AST的一個全局符號。 如果您有一些#include指令，則可能與上面的有所不同。

Answer 2

此外，您可能也會對許多AST元素中存在的location字段感興趣。 它的類型是Cil_types.location ，包括文件名和行號。