获取 Frama-C 的快速帮助信息
Getting quick help information for Frama-C
如何快速获取 Frama-C 的帮助信息（无需求助于手册）？输入 "frama-c -help" 显示的有用数据很少。
这是一个有用的快速命令列表，可在 运行 frama-c:
时获取帮助或改进 verbose/debug 信息
frama-c -kernel-help: "actual" 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。它也可能有额外的 "listing" 选项。例如，Eva（值分析）插件有选项 -val-builtins-list，它列出了所有可用的 Eva 内置函数以及映射到它们的函数名称。
如何快速获取 Frama-C 的帮助信息（无需求助于手册）？输入 "frama-c -help" 显示的有用数据很少。
这是一个有用的快速命令列表，可在 运行 frama-c:
frama-c -kernel-help: "actual" 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。它也可能有额外的 "listing" 选项。例如，Eva（值分析）插件有选项 -val-builtins-list，它列出了所有可用的 Eva 内置函数以及映射到它们的函数名称。