目标和编译器
目标处理器类型,编译器行为
分析选项
话题
入门
- 指定Polyspace分析选项
指定polyspace®Polyspace用户界面,其他IDE-S或脚本中的分析选项。
模拟您的编译器
- 指定目标环境和编译器行为
了解指定目标和编译器选项的工作流程。 - 从build命令(makefile)创建Polyspace分析配置
重复使用构建命令(makefiles)以配置PolySpace分析。
- 提供标准的图书馆标题进行多层分析
从编译器中找到通往C或C ++标准库标题的路径,并指定PolySpace项目中的路径。
语言标准和扩展
- Polyspace分析中使用的C/C ++语言标准
请参阅支万博1manbetx持的语言标准和Polyspace分析中使用的默认标准。
- 万博1manbetx支持Keil或IAR语言扩展
查找C语言标准的哪个KEIL或IAR特定扩展用于验证。万博1manbetx