获取Frama-C的快速帮助信息

Question

如何获得Frama的快速帮助信息(而不必求助于手册)？输入"frama-c -help“显示的有用数据很少。

Answer 1

下面列出了一些有用的快速命令，以获得帮助，或者在运行frama-c时改进详细/调试信息

• frama-c -kernel-help：Frama内核的“实际”帮助页面，有很多有用的选项；
• man frama-c：与frama-c -kernel-help非常相似；
• frama-c -kernel-msg-key help：显示内核已知的所有消息类别，用于生成详细的和调试消息。他们没有相关的描述，但有一些是不言自明的。例如，-kernel-msg-key pp显示了Frama在解析文件时使用的实际预处理命令；
• frama-c -kernel-warn-key help：列出所有警告类别，加上它们的状态(活动、非活动、视为错误、立即中止、警告一次等)；
• frama-c -machdep help：列出了Frama已知的所有可用架构。

每个插件都有自己的<plugin>-help、<plugin>-msg-key和<plugin>-warn-key。它也可能有额外的“上市”选项。例如，Eva (value analysis)插件有选项-val-builtins-list，它列出了所有可用的Eva内置插件以及映射到它们的函数名。