修改 Bug Finder 分析假设

修改默认的 Polyspace^® Bug Finder™ 分析假设

使用此类别中的选项修改分析假设。例如：

修改分析的信任边界。
修改是否考虑所有的系统输入值。
指定是否检测原子数据争用。

Polyspace 选项

假设

`-detect-atomic-data-race`	Enable detecting data race with atomic operation
`-detect-bad-float-op-on-zero`	检测浮点数比较运算符（等于运算符）中当其中一个操作数为 `0.0` 时的情况。
`-code-behavior-specifications`	Associate behaviors with code elements such as functions
`考虑非有限浮点数 (-allow-non-finite-floats)`	Enable an analysis mode that incorporates infinities and NaNs
`运行更严格的检查并考虑所有的系统输入值 (-checks-using-system-input-values)`	Enable stricter checks and provide examples of values that lead to detected defect
`考虑这些函数的输入 (-system-inputs-from)`	Specify functions for which the analysis considers all possible input values
`-consider-analysis-perimeter-as-trust-boundary`	Consider the analysis perimeter as trust boundary so that data coming from outside the current analysis perimeter is considered tainted

主题

修改 Bug Finder 检查项的默认行为

Modify Default Behavior of Bug Finder Checkers
Extend or constrain the default behavior of defect or coding standard checkers using Polyspace analysis options.
Extend Bug Finder Checkers to Find Defects from Specific System Input Values
Check for system input values that can lead to defects.
Extend Checkers for Initialization to Check Function Arguments Passed by Pointers
Check if arguments passed by pointers are initialized.