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

Answer 1

[Anirban]

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

Answer 2

[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