配置源代码和编译选项

配置 Polyspace 以紧密模拟您的编译，从而提高结果精度

如果您使用 make 或 cmake 等编译命令来编译源代码，或者您能够使用编译系统生成 JSON 编译数据库，则可以通过编译命令或编译数据库来创建 Polyspace^® 平台工程。Polyspace 平台工程中的源文件和编译选项由编译命令或编译数据库中的编译器调用决定。

否则，请在编译配置中显式设置选项。通过为编译工具链(静态分析) 选项指定编译器，可使分析器识别编译器特定的关键字。使用预处理器定义 (-D) 或要应用于预处理文件的命令/脚本 (-post-preprocessing-command) 等选项来解决任何其他错误。

函数

polyspace-configure (System Command) Create Polyspace Platform project, workspace, or options file from build command or compilation database

`应用程序源文件 (-sources, -sources-list-file)`	Add source files to Polyspace Platform project
`应用程序源文件夹`	Add source folders to Polyspace Platform project (自 R2024a 起)
`包含路径 (-I)`	指定包含文件所在文件夹的路径
`包括文件名模式`	Specify patterns for file names to be included in Polyspace Platform project (自 R2024a 起)
`排除模式`	Specify folders or files to be excluded from static analysis or testing (自 R2024a 起)
`工程变量`	Define environment variables for use as shorthands in Polyspace Platform project (自 R2024a 起)

`源代码语言 (-lang)`	指定源文件的语言
`C 标准版本 (-c-version)`	Specify C language standard followed in source code
`C++ 标准版本 (-cpp-version)`	Specify C++ language standard followed in source code

`用于静态分析的编译工具链 (-compiler, -compiler -target)`	Specify the compiler that you use to build your source code for static analysis
`处理器 (-custom-target)`	Select the processor for the current build configuration
`-target`	Specify size of data types and endianness by selecting a predefined target processor or creating a custom processor
`如果文件无法编译，则停止分析 (-stop-if-compile-error)`	Specify that a compilation error must stop the analysis
`隐式 C(C++) 编译器包含路径`	View implicit compiler include paths extracted from your build command (自 R2024b 起)
`隐式 C(C++) 编译器定义`	View implicit compiler defines extracted from your build command (自 R2024b 起)
`源代码编码 (-sources-encoding)`	指定源文件的编码
`枚举类型定义 (-enum-type-definition)`	指定如何用基类型表示 `enum`
`-ignore-pragma-pack`	忽略 `#pragma pack` 指令
`-sfr-types`	为使用 Keil 或 IAR 编译器开发的代码指定 `sfr` 类型的大小
`-no-uliterals`	Disable Polyspace definitions for `char16_t` or `char32_t`

`预处理器定义 (-D)`	替换预处理代码中的宏
`已禁用的预处理器定义 (-U)`	取消定义预处理代码中的宏
`要应用于预处理文件的命令/脚本 (-post-preprocessing-command)`	Specify command or script to run on source files after preprocessing phase of analysis
`隐式 C(C++) 编译器定义`	View implicit compiler defines extracted from your build command (自 R2024b 起)
`-regex-replace-rgx -regex-replace-fmt`	Make replacements in preprocessor directives
`-dump-preprocessing-info`	Show all macros implicitly defined during a particular analysis

`包含路径 (-I)`	指定包含文件所在文件夹的路径
`其他包含路径 (-I)`	Specify build-specific include paths in addition to project-wide include paths (自 R2024a 起)
`强制包含文件 (-include)`	指定每个源文件必须通过 #include 包含的文件。 (自 R2023b 起)
`隐式 C(C++) 编译器包含路径`	View implicit compiler include paths extracted from your build command (自 R2024b 起)
`代码来自 DOS 或 Windows 文件系统 (-dos)`	注意文件路径是 MS-DOS 样式的
`-include`	指定分析中的每个 C 文件要 `#include` 的文件

`向下舍入负的整数相除结果 (-div-round-down)`	Specify that your compiler rounds down a negative quotient from dividing two integers (自 R2023b 起)
`包对齐值 (-pack-alignment-value)`	为在 Visual C++ 中开发的代码指定默认结构体打包对齐值
`指定编译器以算术移位方式右移有符号整数 (-logical-signed-right-shift)`	Specify that your compiler implements right shifts on signed integers as arithmetic shifts (自 R2023b 起)

`名称`	查看 Polyspace 平台工程的名称 (自 R2024a 起)

指定目标环境和编译器行为
了解指定目标和编译器选项的工作流。
Information Gathered From Build Systems for Polyspace Analysis and Testing
Learn what information is extracted when you trace your build command to create a Polyspace Platform project.

Create Polyspace Platform Project From Build Command in User Interface
Create a project in the Polyspace Platform user interface from a working build command or compilation database.
从编译系统创建 Polyspace 工程的要求
了解为什么自动创建 Polyspace 工程可能不适用于您的编译系统，以及如何解决一些原因。
使用模式匹配选择用于 Polyspace 工程的文件
使用带有 glob 模式的表达式选择要包含在 Polyspace 工程或选项文件中的文件。
从使用联编文件的编译创建 Polyspace 平台工程
将联编文件中的编译信息重用于 Polyspace 分析和测试。
Modularize Polyspace Projects by Using Makefile Builds
Create a separate Polyspace project or options file for each binary in makefile build.
Create Polyspace Platform Projects From IDE Builds
Specify source files and configuration options by tracing your Visual Studio^® build.
Create Polyspace Platform Projects from CMake Builds
Reuse build information in CMakeLists files for Polyspace analysis and testing.

指定目标环境和编译器行为
了解指定目标和编译器选项的工作流。
为 Polyspace 分析提供标准库头文件
从编译器中找到 C 或 C++ 标准库头文件的路径，并在 Polyspace 工程中指定这些路径。
Remove or Replace Keywords Before Compilation
Replace or remove keywords from preprocessed code to avoid compilation errors.
Gather Compilation Options Efficiently for Polyspace Analysis
Put workarounds for compilation errors into a single file and include that file in analysis.
Static Analysis Target Specification for Common Processors
This topic lists the target configurations for Polyspace static analysis of C/C++ code tailored for common processor families.

C/C++ Language Standard Used in Polyspace Analysis
See supported language standards and the default standard used in Polyspace analysis.
C11 Language Elements Supported in Polyspace
Find which C11 language elements are supported for verification.
C++11 Language Elements Supported in Polyspace
Find which C++11 language elements are supported for verification.
C++14 Language Elements Supported in Polyspace
Find which C++14 language elements are supported for verification.
C++17 Language Elements Supported in Polyspace
Find which C++17 language elements are supported for verification.
C++20 Language Elements Supported in Polyspace
Find which C++20 language elements are supported for verification.
Keil or IAR Language Extensions Supported with Polyspace
Find which Keil or IAR-specific extensions of the C language standard are supported for verification.

Learn why Polyspace compilation can fail even if your compiler build succeeds and how to work around the failures.