目标和编译器

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

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

分析选项

展开全部

源代码语言（-lang） 指定源文件的语言
C标准版本（-c-version） 指定源代码中的C语言标准
C ++标准版本（-cpp-version） 指定源代码中的C ++语言标准

必需的

编译器（-compiler） 指定用于构建源代码的编译器
目标处理器类型（-target） 通过选择预定义的目标处理器指定数据类型和endian的大小
通用目标选项 通过创建自己的目标处理器指定数据类型和endian的大小

可选的

size_t（-size-t-type-is）的管理 指定size_t的基础数据类型
WCHAR_T（-wchar-T型）的管理 指定wchar_t的基础数据类型
块CHAR16 / 32_T类型（-NO-Uliterals） 禁用char16_t或char32_t的PolySpace定义
SFR类型支持（-金宝appsfr-types） 指定使用KEIL或IAR编译器开发的代码的SFR类型的大小
包对齐值（-pack-alignment-value） 指定Visual C ++中开发的代码的默认结构包装对齐
忽略Pragma Pack指令（-ignore-Pragma-Pack） 忽略#pragma包指令
句地倒下（ - 循环） 从划分或负数模量而不是舍入的循环推荐
枚举类型定义（-enum-type-definition） 指定如何使用基本类型表示枚举
签署正确的班次（ - 签名右移） 指定如何在符号变量上处理逻辑右移的符号位

话题

入门

指定PolySpace分析选项

指定PolySpace.®PolySpace用户界面中的分析选项，其他IDE-S或脚本。

模拟您的编译器

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

了解用于指定目标和编译器选项的工作流程。

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

了解为什么自动PolySpace项目创建可能无法为您的构建系统工作以及如何解决一些原因。

提供标准图书馆标题，用于PolySpace分析

从编译器查找C或C ++标准库标头的路径，并在PolySpace项目中指定路径。

语言标准和扩展

C / C ++语言标准用于PolySpace分析

请参阅支金宝app持的语言标准和PolySpace分析中使用的默认标准。

金宝app支持的Keil或IAR语言扩展

查找验证是否支持C语言标准的特定于keil或IAR特定扩展。金宝app

PolySpace Bug Finder文档
金宝app

尝试matlab，sim金宝appulink等产品下载188bet金宝搏

立即获得审判