Is polyspace 2020b compatible with win11？

The same BugFindr project, with the same code, running Polyspace on Windows 10 can correctly generate static inspection reports, However, running on win11 will prompt "failure in verification of function xxxxx", resulting in analysis failure

[Rik]

Since Windows 11 was released in October 2021, it is not officially supported in R2020b. It may or may not work, but you are unlikely to get official support.

Is this error the case for all functions, or just some? I can't help you solve the problem, but the person who can will likely need the answer to that question.

[玫青]

thank you for reminding, I checked the run log, "failure in verification of function xxx" is only a warning, the specific error information is as follows:

**********************************************************

*** Beginning Bug-finder - Function Analysis

**********************************************************

**** Bug-finder - Function Analysis - 1 (Verified functions #1 to #100 on 559) took 2.29real

**** Bug-finder - Function Analysis - 2 (Verified functions #101 to #200 on 559) took 2.31real

**** Bug-finder - Function Analysis - 3 (Verified functions #201 to #300 on 559) took 2.28real

Warning: failure in verification of function xxxx

Exception raised in binary_driver

exception Fail(Fail: failure in job) raised.

Every time an error occurs while parsing the same function

[Rik]

How did you determine this is due to the Matlab release and/or operating system and not your function?

[玫青]

The same source code and the same PolySpace version in the win10 system, can be normal analysis and generate reports, but in the win11 system, analysis may be stuck at 40%, may also prompt failed

[玫青]

After reinstalling the win10 system, it can be checked normally

[wei]

win11该如何解决这个问题？

[guoyao]

Has anyone fixed this?

Answer 1

[Animesh]

Hey @玫青,

There might be multiple causes for this error.

To work around the issue, you can try adding the option "-modules 1" in the Polyspace project configuration. If this does not resolve the issue, you can also try adding the option "--max-processes 1". Please follow the steps below to add these options:

1. Open the project in Polyspace.

2. Navigate to the "Configuration" tab.

3. In the Configuration tab, navigate to the "Advanced settings" tab.

4. In the Advanced Settings tab, kindly write "-modules 1" in the "Other Polyspace options/other" text field.

If adding "-modules 1" does not work, try the following:

1. In the same "Other Polyspace options/other" text field, add "--max-processes 1".

After adding the options, kindly try to run the analysis on the project again.

Answer 2

[Anirban]

Please contact MathWorks Technical Support for more help with the issue. See Contact Technical Support About Issues with Running Polyspace.

Answer 3

[Walter Roberson]

There are some Windows-11 specific problems with polyspace in some versions.

For example https://www.mathworks.com/support/bugreports/details/2566304 against Polyspace Code Prover is Windows 11 specific and leads to a Fail(Fail: failure in job) message (but with different surrounding text than you see)

[玫青]

After reinstalling the win10 system, it can run normally