1

在没有 main 函数的 C 文件上运行 Frama-C 时，出现错误。是否有任何选项可以对此类 C 文件运行 Frama-C 值分析？

4

1 回答 1

2

用户手册的第 6 章讨论了全局分析选项，回答了您的问题。不出所料，相关选项被称为-main...

于 2013-07-18T23:27:08.703 回答