Can you kindly let me know about Polyspace Main Generator ?

 What it is used for, where it is used and how it has to be used ?

[John D'Errico]

A friend of mine once asked me what a specific tool was used for, and if he needed it in his shop. My response was that if he did not know what it did, then he definitely did not need it.

Answer 1

[Alexandre De Barros]

Hello,

With Polyspace, you don't need to provide all the source code of your application.

You can use the tools (Code Prover and Bug Finder) with only a subset of files, or even one file.

But to be able to process these files, Polyspace will create a main automatically, via the "main generator".

This main will be responsible for calling the functions and initializing the global variables.

If you want to know more about how the main generator is working, you can refer to another MATLAB Answer that you will find here: http://www.mathworks.com/matlabcentral/answers/309263-can-anyone-tell-me-how-polyspace_main-file-is-generated-and-works.

Best regards,

Alexandre