Failed compilation in Polyspace using R2022b

Hello All,

Great Day.

I am working on static code analysis using Polyspace R2022b to check the MISRA C:2012 coding standards.

While running the "Run Code Prover" for BugFinder report, it is showing some warnings and error messages like below:

1. Some errors related to identifier XYZ is undefined
2. some source files are not compilng (ie. Failed compilation)
3. some showing could not find inlcude file "abc/xyz.h"

After generation of "Polyspace Code Verification Developer Report" for the project, I can see the source files which are having comilation errors.

No clue to solve this issue. It would be helpful if i get info to solve the issue and get the report succesfully.

Configurationn setting info:

Source ocde language: C

Compiler: greenhils

Target: arm

You can also find the screenshor regarding the compilation error and "files with compilation errors" in Generated report

Thank you in advance..

Answer 1

[Anirban]

Errors such as this indicate that perhaps the project is not set up correctly. In particular, all the include folders have not been specified.

You can find some troubleshooting for the Undefined Identifier error in the documentation. In general, manually setting up the project can take some time. If you have working build command, you can use polyspace-configure to create a project from your build command and add all the right include folders automatically.

For more help with project setup, you can contact Technical Support. For more information on what Technical Support might need from you for diagnosing the problem, see Contact Technical Support.