Is polyspace 2020b compatible with win11？

24 次查看（过去 30 天）

玫青 2023-9-15

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2021391-is-polyspace-2020b-compatible-with-win11

评论： wei 2024-5-12

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

6 个评论
显示 4更早的评论隐藏 4更早的评论

玫青 2023-11-10

After reinstalling the win10 system, it can be checked normally

wei 2024-5-12

win11该如何解决这个问题？

请先登录，再进行评论。

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

回答（2 个）

Anirban 2023-9-28

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2021391-is-polyspace-2020b-compatible-with-win11#answer_1321344

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

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

请先登录，再进行评论。

Walter Roberson 2023-9-28

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/2021391-is-polyspace-2020b-compatible-with-win11#answer_1321354

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)