配置检查全局变量初始化

指定是否检查全局变量初始化以及初始化全局变量的代码

运行 Polyspace^® Code Prover™ 分析，检查您的代码中全局变量的初始化。您可以运行仅检查全局变量初始化的分析。指定在 main 函数之前被调用以初始化全局变量的函数。

Polyspace 选项

`禁用非初始化检查 (-disable-initialization-checks)`	Disable checks for non-initialized variables and pointers
`检查全局变量在热重启后是否初始化 (-check-globals-init)`	Check that global variables are assigned values in designed initialization code
`仅验证初始化代码段 (-init-only-mode)`	Check initialization code alone for run-time errors and other issues
`初始化函数 (-functions-called-before-main)`	指定您希望生成的 `main` 在其他函数之前调用的函数
`忽略全局变量的默认初始化 (-no-def-init-glob)`	Consider global variables as uninitialized unless explicitly initialized in code