How do I resolve False Positives or False Negatives with Bug Finder?

7 views (last 30 days)
When reviewing the results of Bug Finder for a coding rule violation (MISRA, CERT-C...) or a defect, it seems that Bug Finder is raising a false violation/defect (false positive), or is missing a violation/defect (false negative). How to deal with this issue in general?

Accepted Answer

MathWorks Support Team
MathWorks Support Team on 27 Mar 2023
Edited: MathWorks Support Team on 27 Mar 2023
First, check the Bug Finder documentation to see if there is an example that could explain the results given by Bug Finder, especially if a coding rule is interpreted in a specific way. See also Diagnose Why Coding Standard Violations Do Not Appear as Expected.
If you are not using the latest Polyspace Bug Finder release, it would be worth to test with it. If behavior has disappeared, it has certainly been fixed. 
If you cannot find an explanation, or if you are able to reproduce behavior with latest release, please contact MathWorks Technical Support and send:
  • A screenshot showing the section of code where you expect the defect or rule violation, or a piece of code that reproduces the false positive or the false negative (recommended).
  • The results folder, if possible (it will speed up resolution of the request).
  • The analysis log, if possible, so that Technical Support can understand the options used during analysis.

More Answers (0)


No tags entered yet.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by