Disable some (specific) orange checks in Code Prover

Hello,

I would like to know if it's possible to disable some specific orange checks in the Polyspace Code Prover execution (maybe editing options_command.txt) or if it's possible to filter out those RTE orange checks from the polyspace results. The orange checks I would like to disable are the following ones:

• IDP
• STD_LIB

I can manually filter them from the UI by deselecting those checks from the results filter, but if I do that I also remove the green checks from the analysis results.

However, I would prefer an option which could be done automatically by tweaking the polyspace config files or the command line.

Best regards.

Answer 1

[Anirban]

You cannot disable specific Code Prover checks. See more details in Modify or Disable Code Prover Run-Time Checks.

I am not sure why you would want to see the green checks but not the orange checks. The idea behind not allowing selective removal of orange checks is so that users review the results of those checks at least once. Once reviewed, if you consider the orange IDP and STD_LIB checks as not representative of real run-time errors, you can justify the orange checks (add a specific Status) and then filter out all checks with that justified status. This process would make the manual review of orange checks a one-time affair only.