配置检查项

指定各种 Polyspace® 检查的行为

默认情况下，Polyspace Code Prover™ 会验证您的代码中是否存在运行时检查。通过配置分析，运行其他检查以及修改 Polyspace 对您的代码的假设。例如：

  • 使用初始化选项配置全局变量初始化的验证。

  • 使用多任务选项配置并发任务和线程对全局变量的共享访问的验证。

  • 修改 Polyspace 对您的代码的假设，并修改 Polyspace 检查各种运行时错误的方式。

类别