2

我正在使用 Cil_types 在 frama-c 中开发一个插件。该插件默认将 C 程序的 AST 作为输入（Cil_types.file）。我想得到这个文件的名字，但使用 Cil_types 我不能。我可以通过其他方式获得这些信息吗？

4

2 回答 2

2
  • Kernel.Files.get()将返回已提供给 Frama-C 的输入文件列表。
  • Globals.FileIndex.get_files ()将返回文件列表，其中声明/定义了当前 AST 的至少一个全局符号。如果您有一些#include指令，它可能与上面不同。
于 2014-03-10T14:24:59.093 回答
1

此外，您还可能对location存在于许多 AST 元素中的字段感兴趣。它的类型是Cil_types.location并且包括文件名和行号。

于 2014-03-11T10:49:44.633 回答