因为Polyspace for R2012a，可以从模板文件创建一个新项目。
该工具包含一个模板列表，如果它适合编译器和目标需求，则允许最小的Polyspace选项集，以方便在编译阶段使用。
每个提议的模板都包含选项、编译标志、头文件和/或-post-preprocessing-command，这些选项有助于完成编译阶段。
每个模板都不是详尽的，有时可能会失败。
无论如何，本文提供了如何处理编译问题的有趣信息，以及一些绕过编译问题而不影响编译的技巧。
可用模板列表:iar_stm33、cosmic_stm8、cosmic_ hcs12x、ccsv5_mps430、visual10_x86、qnx63_x86、ecoder_32bitgen、wince5_x86、qnx63_powerpc和boost_gnu