MATLAB的答案

禁用一些(特定)橙色检查代码验证

10视图(30天)
路易斯·布兰科Abruna
路易斯·布兰科Abruna 2022年7月11日
编辑: Anirban 2022年7月11日
你好,
我想知道如果可以禁用一些特定的橙色Polyspace代码中检查验证执行(可能编辑options_command.txt)或者如果可以过滤掉那些RTE橙色Polyspace检查的结果。橙色的检查我想禁用以下的:
  • 国内流离失所者
  • STD_LIB
我可以手动过滤他们从UI通过取消这些检查结果过滤,但如果我这样做我也删除绿色检查分析结果。
然而,我更喜欢一个选项可以自动完成通过调整polyspace配置文件或命令行。
致以最亲切的问候。

在回答这个问题。

答案(1)

Anirban
Anirban 2022年7月11日
编辑:Anirban 2022年7月11日
你不能禁用特定代码验证检查。看到更多的细节 修改或禁用代码验证运行时检查 。
我不明白为什么你想要看到绿色的检查而不是橙色的检查。背后的想法不允许选择性切除橙色检查,以便用户审查的结果至少检查一次。一旦审查,如果你认为橙色的国内流离失所者和STD_LIB检查不代表真正的运行时错误,你可以证明橙色检查(添加一个特定的状态),然后过滤掉所有检查和合理的地位。这个过程将使橙色的手动审查检查一次性事件。