Improve Precision
Provide extra information about your code to reduce orange checks
Provide additional information about your code to improve precision of the results:
Specify local assumptions. For instance, you can constrain ranges of some variables from external sources, or stub some imprecisely analyzed functions for more accurate results. The assumptions help narrow down the focus of your review to analysis results that are more meaningful.
Configure the verification precision. More precise verification produces fewer orange checks but requires more computational resources.
By using these options, manage the number of orange checks in your analysis.
Categories
- Configure Library Verification
Configure Polyspace® Code Prover™ analysis to verify a library withoutmain()
- Configure Analysis Precision
Configure Code Prover assumptions and verification precision
- Configure Code Constraints
Constrain elements of your code such as global variables, function inputs, and stubbed functions
