获得有关Frama-C的快速帮助信息

Question

如何获取有关Frama-C的快速帮助信息（而不必求助于手册）？键入“ frama-c -help”将显示很少的有用数据。

Answer 1

以下是运行frama-c时获得帮助或改善详细/调试信息的有用快速命令的列表：

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

每个插件都有自己的<plugin>-help，<plugin>-msg-key和<plugin>-warn-key。它还可能具有额外的“列出”选项。例如，Eva（值分析）插件具有选项-val-builtins-list，其中列出了所有可用的Eva内置插件以及映射到它们的函数名称。