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

1 次查看（过去 30 天）
Trenton Holmes
Trenton Holmes 2017-6-27
回答： 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

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

回答（1 个）

Alexandre De Barros
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

类别

在 Help Center 和 File Exchange 中查找有关 Get Started with Polyspace Products for Ada 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by