主要内容

目标和编译器

目标处理器类型，编译器行为

要匹配运行时环境，请指定目标和编译器选项。分析使用这些选项来确定变量大小、语言扩展和特定于编译器的行为。如果仍然得到编译错误，则可以使用宏和环境设置类别。

分析选项

全部展开

源代码语言(-lang) 指定源文件的语言
C标准版本(-c-version) 指定源代码中遵循的C语言标准
c++标准版本(-cpp-version) 指定源代码中遵循的c++语言标准

要求

编译器(编译器) 指定用于构建源代码的编译器
目标处理器类型(-target) 通过选择预定义的目标处理器来指定数据类型和字节序的大小
通用的目标选择 通过创建自己的目标处理器来指定数据类型和字节序的大小

可选

管理size_t (-size-t-type-is) 的基础数据类型size_t
wchar_t (-wchar-t-type-is)的管理 的基础数据类型wchar_t
块char16/32_t类型(-no-uliterals) 禁用Polyspace定义char16_t或char32_t
Sfr类型支持(-万博1manbetxsfr-types) 指定大小的sfr使用Keil或IAR编译器开发的代码类型
包对齐值(-pack-alignment-value) 为所开发的代码指定默认结构打包对齐方式Visual c++
忽略pragma pack指令(-ignore-pragma-pack) 忽略# pragma包指令
四舍五入(-div-round-down) 用负数的除法或模数四舍五入，而不是四舍五入
枚举类型定义 指定如何表示枚举使用基类型
带符号右移(-逻辑带符号右移) 指定如何处理有符号变量的逻辑右移的符号位

主题

开始

指定Polyspace分析选项

指定Polyspace®Polyspace用户界面、其他ide或脚本中的分析选项。

模仿你的编译器

指定目标环境和编译器行为

学习指定目标和编译器选项的工作流。

从构建系统创建项目的需求

了解为什么自动Polyspace项目创建可能不适用于您的构建系统，以及如何解决一些原因。

为Polyspace分析提供标准库头文件

从编译器中找到C或c++标准库头文件的路径，并在Polyspace项目中指定路径。

语言标准和扩展

C/ c++语言标准用于Polyspace分析

参见支持万博1manbetx的语言标准和Polyspace分析中使用的默认标准。

万博1manbetx支持Keil或IAR语言扩展

查找C语言标准中支持哪些Keil或iar特定的扩展以进行验证。万博1manbetx

Polyspace Bug查找器文档

万博1manbetx

试试MATLAB、Sim万博1manbetxulink和其他产品s manbetx 845

得到审判现在