Polyspace Bug Finder Shows Defects Although Not Activated

Question

Ismet 2025-3-25

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2175595-polyspace-bug-finder-shows-defects-although-not-activated

回答： Christian Bard 2025-3-28

When Polyspace Bug Finder (Server?) has run in our CI/CD pipeline, I get following summary in the report:

Why does Polyspace scan for so-called Defects (null pointer, division by zero, dead code etc.) even though we did not activate them in our checkers file (XML file), see:

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Pratyush Swain 2025-3-27

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2175595-polyspace-bug-finder-shows-defects-although-not-activated#answer_1562672

Hi Ismet,

I did some searching and found that Polyspace performs default defect detection such as null pointer, division by zero, and dead code, etc. regardliess of the settings in the checkers selection XML file because these defects are part of static code analysis rather than coding standard compliance checks.

You can find the list of Polyspace Bug Finder defect checkers enabled by default here: https://www.mathworks.com/help/bugfinder/ug/polyspace-bug-finder-defects-checkers-enabled-by-default.html

For modifying the default behaviour of Bug Finder checks or choosing specific bug finder defect checkers, please refer to following resosurces:

1 - https://www.mathworks.com/help/bugfinder/ug/modify-default-behavior-of-bug-finder-checkers.html

2 - https://www.mathworks.com/help/bugfinder/ug/choose-specific-defects.html

Hope this helps.