地址Polyspace通过Bug修复或辩护获得结果

一旦你理解了多空间的根本原因®发现后,您可以修复您的代码。否则,请将评审信息添加到Polyspace结果中,以便稍后修正代码或验证结果。您可以使用这些信息来跟踪您的审查进度。

如果您将评审信息添加到结果文件中,它们将转到同一项目的下一个分析结果中。如果您将与注释相同的信息添加到您的代码中(注释),那么无论是否在相同的项目中,这些信息都会传递到对代码的任何后续分析中。

在“结果详细信息”窗格中添加查看信息

设置状态严重程度,并可选择在“。”中输入带有更多说明的说明结果细节窗格。状态表示您对Polyspace结果的响应。如果您不打算修复您的代码以响应结果,请分配下列状态之一:

  • 合理的

  • 任何行动计划

  • 不是一个缺陷

基于这种状态,Polyspace认为您已经对结果进行了适当的考虑和验证(尽管结果存在,仍然保留了代码)。

注释或注释代码

如果您以特定的语法输入代码注释或注释,软件可以读取它们并填充严重程度,状态,并在下一个代码分析中添加注释字段。在编辑器中打开源代码,并在与结果相同的行中输入注释。

有关注释语法,请参阅注释代码并隐藏已知的或可接受的结果

如果未在注释中指定状态,则Polyspace假定您已将状态设置为任何行动计划

相关的话题