我们可以在Frama-C中对没有main函数的C文件运行值分析吗？

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

的第6章讨论了全局分析选项，回答了您的问题。毫不奇怪，相关选项被称为

-main