Polyspace Code Prover not able to find windows.h as header file. getting compilation errors because of windows dependencies.

7 次查看（过去 30 天）
Venkata Narendra
Venkata Narendra 2020-2-11
回答： Martin Dowie 2021-3-31
I am using polyspace code prover for doing static analysis, in that my source code contains 'windows.h' as header file like #include<windows.h>, but the Polyspace tool is unable find the file and I mentioned compiler option in the tool as Visual15.x and trarget processor as i386. please provide the solution.

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

采纳的回答

Anirban
Anirban 2020-2-20
编辑：Anirban 2020-2-20
Hi Venkata,
Specifying the compiler name is not sufficient for Polyspace to locate the include folders. The folder paths vary across installations and operating systems, so it is left to the user to specify them. There is a much better alternative approach to running a Polyspace analysis from a Visual Studio solution. See the bottom of this reply.
First, the manual approach. You have to specifically point to the Visual Studio include folders using the option -I on the command line (or add the include folders to the project in the Polyspace user interface).
You have to locate the include folders in your Visual Studio installation. The typical paths are:
  • C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\include\
  • C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\atlmfc\include\
But windows.h is not located here. It would be in something like:
C:\Program Files (x86)\Windows Kits\8.1\Include\um
To avoid the problem of having to manually locate and then specify the include folders, Polyspace supports a different approach to create a Polyspace project from a Visual Studio project. You can trace the commands that Visual Studio runs and create the appropriate -I-s to the right include folders. See Create Project Using Visual Studio Information.
  5 个评论
显示 3更早的评论
Venkata Narendra
Venkata Narendra 2020-7-28
编辑：Venkata Narendra 2020-7-28
Hi Anirban,
Thanks for your answer.
When I generate a project from a Visual Studio solution, the target information extracting is i386, when I run the analysis with this settings I am not getting any issue.
But when I changed the target to x86_64 target I am facing the above mentioned compilation issues.
And I am not doing any other changes in the polyspace configuration.
Actually I need to use Intel 64 bit processor as taget a processor so that is the reason I have changed the target.
How target information will be extracted from the solution?
Is any chance to set the target while creating the project using visual studio information?
And one more thing I want to know is whie creating the project by visual studio solution, what is the use of 'Add advanced configure options'.
Please let me know, if you have any suggestions
Thank you
Anirban
Anirban 2020-7-28
编辑：Anirban 2020-7-28
Hi Venkata,
The idea behind creating a Polyspace project using a Visual Studio project is that the Polyspace project represents faithfully what you do inside Visual Studio. If you are building for a 64-bit target in Visual Studio, then the Polyspace project is extracting the right settings from your Visual Studio build. The settings probably do not correspond exactly to the x86_64 sizes, but they are what you are using in Visual Studio. Maybe you can use the Visual Studio documentation to make sure that you are building for a 64-bit target? See, for instance, this Visual Studio documentation topic.
(Note that even though the target that appears to be set is i386, the target that is actually used is given in the Advanced Settings node using the option -custom-target. It is a quirk of the user interface. If, in fact, you are building for a 64-bit target in Visual Studio and the i386 is the only reason you think the Visual Studio settings are not used, then you can rest assured. The -custom-target value reflects the real sizes used.)
In your workflow, when you changed the target to x86_64, what happened is the following (I also made some edits to my previous answer to be more precise): when you created a Polyspace project using Visual Studio information, the polyspace-configure command ran underneath to extract the following information:
  • Sizes of data types (set in the Polyspace project using -custom-target)
  • Macro definitions (set in the Polyspace project using -D).Some of the macro definitions are also related to the target used in Visual Studio.
Now, when you changed the target to x86_64, what you changed was the first thing above but not the second. That led to conflicts like incompatible declarations (most likely because the sizes that correspond to x86_64 do not correspond exactly to the sizes extracted from your Visual Studio build).
The Add advanced configure options are all the advanced options that the polyspace-configure command takes. See the full options list. Typically, you do not need these options. You just specify the build command (or in this case, the Visual IDE executable) and the run with the default options works fine. That is why they were not exposed in the user interface through nice GUI fields.

请先登录，再进行评论。

更多回答（1 个）

Martin Dowie
Martin Dowie 2021-3-31
While using the installed headers that come with, e.g. VS2019, gets you answer quickly, it often doesn't give you good answer, as Polyspace will use it's "worst-case" assumptions. You may find it more helpful to create you own re-usable stubs in which you can provide more accurate knowledge about the behaviour of functions declared in headers wrt in-out parameters or function return values. This does incur upfront cost to generate but you only need to include what you use, and future projects can re-use what you start, and add anything extra they need.

类别

在 Help Center 和 File Exchange 中查找有关 Target and Compiler 的更多信息

标签

产品


版本

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by