polyspace bug finder with visual compiler

3 views (last 30 days)
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?

Answers (1)

Anirban
Anirban on 5 Dec 2019
Edited: Anirban on 5 Dec 2019
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.

Products


Release

R2019b

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!