未初始化的变量
不是局部变量的变量在被读取前未初始化
描述
此检查在读取的变量不是局部变量(而是全局或静态变量)时执行。它确定正被读取的变量是否已初始化。
默认情况下,Polyspace® 会将全局变量视为已初始化。只有当您阻止此默认初始化时,验证操作才会检查全局变量。另请参阅Code Prover Assumptions About Global Variable Initialization。
有关复杂数据类型的初始化的更多示例,请参阅针对局部变量的等效检查项:Non-initialized local variable
。
示例
检查信息
组:数据流 |
语言:C | C++ |
缩写:NIV |