polyspace bug finder with visual compiler

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?

Answer 1

[Anirban]

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.