目标和编译器
目标处理器类型、编译器行为
Polyspace 选项
主题
快速入门
- 指定 Polyspace 分析选项
在 Polyspace® 用户界面、其他 IDE 或脚本中指定 Polyspace 分析选项。
模拟您的编译器
- Specify Target Environment and Compiler Behavior
Learn the workflow for specifying Target & Compiler options. - 从编译命令 (makefile) 创建 Polyspace 分析配置
重复使用编译命令 (makefile) 来配置 Polyspace 分析。
- Provide Standard Library Headers for Polyspace Analysis
Find paths to C or C++ standard library headers from your compiler and specify the paths in your Polyspace project.
语言标准和扩展
- C/C++ Language Standard Used in Polyspace Analysis
See supported language standards and the default standard used in Polyspace analysis.
- Supported Keil or IAR Language Extensions
Find which Keil or IAR-specific extensions of the C language standard are supported for verification.