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

1 回表示 (過去 30 日間)
Debadutta Patra
Debadutta Patra 2017 年 1 月 3 日
回答済み: Alexandre De Barros 2017 年 1 月 29 日
I need to know what Compiler does polyspace tool uses for Compilation.Thanks for Answering.

回答 (1 件)

Alexandre De Barros
Alexandre De Barros 2017 年 1 月 29 日
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

Community Treasure Hunt

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

Start Hunting!

Translated by