Modify Bug Finder Analysis Assumptions

Modify the default Polyspace® Bug Finder™ analysis assumptions

Modify the analysis assumptions by using the options in this category. For example:

  • Modify the trust boundary of the analysis.

  • Modify whether to consider all values of system inputs.

  • Specify whether to detect atomic data races.

Polyspace Options

expand all

-detect-atomic-data-raceEnable detecting data race with atomic operation
-detect-bad-float-op-on-zeroDetect floating point comparison with equality operator when one of the operand is 0.0
-code-behavior-specificationsAssociate behaviors with code elements such as functions
Consider non finite floats (-allow-non-finite-floats)Enable an analysis mode that incorporates infinities and NaNs
Run stricter checks considering all values of system inputs (-checks-using-system-input-values)Enable stricter checks and provide examples of values that lead to detected defect
Consider inputs to these functions (-system-inputs-from)Specify functions for which the analysis considers all possible input values
-consider-analysis-perimeter-as-trust-boundaryConsider the analysis perimeter as trust boundary so that data coming from outside the current analysis perimeter is considered tainted

Topics

Modify Default Behavior of Bug Finder Checkers