如何将Frama-C WP指定警告转为错误并查找对应警告类别

• 首先执行以下命令列出所有WP模块支持的警告键及对应描述，可自行核对匹配规则：
  frama-c -wp-warn-key list
  你所描述的“Cast with incompatible pointers types”警告对应的键为cast:ptr-incompatible。
• 最终使用的启动参数如下：
  -wp-warn-key cast:ptr-incompatible=error
  配置生效后，Frama-C运行时遇到该类场景会直接抛出错误并终止，无需等到后续证明失败再回溯排查。

内容的提问来源于stack exchange，提问作者Mitchell Buckley