How do I use Polyspace Code Prover for a project with multiple "main" functions?

Question

0 个投票

In my project, I have 3 functions titled "main" in three different subdirectories. When using Polyspace Code Prover, I receive the following error in Polyspace:

Error: main procedure multiply defined
How can I resolve this?

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

Follow Question

Answer 1

MathWorks Support Team 2023-5-9

在 MATLAB Online 中打开

0 个投票

Polyspace Code Prover only accepts one 'main' file per project and analysis, but there are two different workarounds available:

Analyze each "main" function separately.

Rename the functions just for their use in Polyspace, while keeping their name as "main" for all other uses. Do this by inserting unique names, such as “main1" and "main2", inside a ‘#ifdef POLYSPACE’ - ‘#else’ - ‘#endif’ preprocessor. For example, you can add the wrapper below to your "main" functions:

#ifdef POLYSPACE
int psN_main(int argc, int *argv[])
#else
int main(int argc, int *argv[])
#endif 
{
   // main function implementation
   return 0;
}

where N is a number 1-3 (according to your files). Polyspace defined the “POLYSPACE” macro when you run Code Prover analysis on your project with the recommended options, so it defines the function as "psN_main".

Then, you can run the analysis with the "-main-generator" with "-main-generator-calls all" options as shown below:

polyspace-code-prover -sources SubDir1\File1.c,SubDir2\File2.c,SubDir3\File3.c -main-generator -main-generator-calls all

This will generate a new "main" function that calls all functions except inlined ones, and Polyspace will use this generated "main" for its analysis. For more information on these options, including how to set them using the Polyspace user interface, please refer to the documentation pages below: