如何从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，包括文件名和行号。