How can I define a custom exception type for Polyspace Bug Finder?

Question

Trenton Holmes 2017-6-27

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/346454-how-can-i-define-a-custom-exception-type-for-polyspace-bug-finder

回答： Alexandre De Barros 2017-6-29

I am running Polyspace over some code for an embedded system. One thing that I run into is numerous warnings about uninitialized variables. However, this is due to Polyspace not knowing that a certain macro sets registers such that processing will halt, so the values would never get used. All these error handling calls are wrapped in the same macro, so is there a way I can tell Polyspace to stop at these?

There are enough of the errors that manually justifying each would be a massive effort. I'm using Polyspace R2016b

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

请先登录，再进行评论。

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

Answer 1

Alexandre De Barros 2017-6-29

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/346454-how-can-i-define-a-custom-exception-type-for-polyspace-bug-finder#answer_272372

Hello Trenton,

Without further information, it is difficult to find out why Polyspace is not able to know that "a certain macro sets registers such that processing will halt."

I suggest you to contact the Technical support and provide the information on this macro, ideally with a snippet of code.

You can also attach the verification log to your request, as it contains lots of information on the verification.

Best regards,

Alexandre