将C源文件合并为CIL

Question

我想合并C源文件，就像我使用CIL和cilly脚本一样。 Frama-c是否提供此脚本功能？

Answer 1

Frama-C将把命令行中给出的所有文件链接在一起，即如果你这样做

frama-c file1.c file2.c -print

Frama-C会精心打印file1.c和file2.c的内容，因为他们已经注意到它们之间没有不连贯性（例如声明的函数f不兼容的参数类型）。