polyspace bug finder with visual compiler

Question

ADITI AJAYKUMAR SHENOY 2019-12-3

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/494677-polyspace-bug-finder-with-visual-compiler

编辑： Anirban 2019-12-5

I am using polyspace on Visual15.x compiler. My source files include standard windows headers and standard library files. I am encountering issue such as could not find include file "winsock2.h"/ "windows.h" etc. how do i solve this?

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

请先登录，再进行评论。

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

Answer 1

Anirban 2019-12-5

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/494677-polyspace-bug-finder-with-visual-compiler#answer_405014

编辑：Anirban 2019-12-5

Hi Aditi,

Are you specifying the compiler name visual15.x manually using the option -compiler? That would require you to provide the include paths manually too (using the -I option, for instance).

Instead of this, could you try tracing your Visual Studio build, using these steps, for instance: https://www.mathworks.com/help/codeprover/ug/configuring-polyspace-project-using-visual-studio-project-information.html

All headers used in your build should be automatically added to your Polyspace analysis.