我们可以在没有主要功能的C文件上运行Frama-C中的值分析吗？

Question

在没有main函数的C文件上运行Frama-C时，出现错误。 有没有选择在这样的C文件上运行Frama-C值分析？

Answer 1

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