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.
