Improve Analysis Precision
To reduce false-positive and false-negative results from Polyspace® Bug Finder™, you can:
Specify code behavior — Provide additional information about your code behavior. Constrain variable ranges and provide extra information about parts of your code. For example, you can identify some code blocks as Assembly code and specify functions as real-time functions. With the extra information about the code behavior, Polyspace results are more precise.
Modify Bug Finder Assumptions — Modify the default Bug Finder analysis assumptions. By modifying the analysis assumptions, you can tune the analysis to match your use case more closely.
Categories
- Specify Code Behavior
Specify code behavior such as variable range, library use, and other information to reduce false-positive and false-negative results from a Polyspace Bug Finder analysis
- Modify Bug Finder Analysis Assumptions
Modify the default Polyspace Bug Finder analysis assumptions
