What Compiler does Polyspace uses for Compiling the code...?

I need to know what Compiler does polyspace tool uses for Compilation.Thanks for Answering.

Answer 1

[Alexandre De Barros]

Hello,

Polyspace does not use a specific compiler but instead uses a general-purpose preprocessor that can "emulate" a compiler.

See the documentation of the option -compiler here for more information.

Thanks to this mechanism, it is possible to verify an application written for Visual Studio under Linux, or a application written for an IAR compiler under a Windows machine.

Regards,

Alex