parasoft的C++test静态测试选项.pdfVIP

启用规则 页码，1/39 启用启用规则规则 启启用用规则规则 需要需要许许可可证证 BugDetective (需要需要许许可可证证) [BD] 杂项杂项 杂项杂项 [BD-MISC] 始终关闭事务 [BD-MISC-TRANS-1] 潜潜在的缺陷 在的缺陷 潜潜在的缺陷 在的缺陷 [BD-PB] 避免访问数组越界 [BD-PB-ARRAY-1] 避免始终判断为相同值的条件 [BD-PB-CC-2] 避免在检查 null 之前解引用 [BD-PB-DEREF-2] 避免在初始化之前使用 [BD-PB-NOTINIT-1] 避免空指针解引用 [BD-PB-NP-1] 避免由于定义不正确的格式限制导致的缓冲区溢出 [BD-PB-OVERFFMT-1] 避免由于读取非零终止字符串导致的溢出 [BD-PB-OVERFNZT-1] 避免读取缓冲区时导致的溢出 [BD-PB-OVERFRD-1] 避免写入缓冲区时导致的溢出 [BD-PB-OVERFWR-1] 避免具有无法到达分支的开关语句 [BD-PB-SWITCH-2] 避免除零错误 [BD-PB-ZERO-1] 资资源 源 资资源 源 [BD-RES] 确保释放函数保证资源释放 [BD-RES-BADFREEF-1] 不得使用已经释放掉的资源 [BD-RES-FREE-1] 不得使用无效的指针释放资源 [BD-RES-INVFREE-1] 确保资源已释放 [BD-RES-LEAKS-1] 安全 安全 安全 安全 [BD-SECURITY] 避免在数组索引中有受污染数据 [BD-SECURITY-ARRAY-1] / [BD-SECURITY-INTOVERF-1] 防止来 自脏数据的整数溢出 下溢 避免缓冲区读取受污染数据溢出 [BD-SECURITY-OVERFRD-1] 避免来 自受污染数据的缓冲区写溢出 [BD-SECURITY-OVERFWR-1] 防止命令注入 [BD-SECURITY-TDCMD-1] 防止文件名注入 [BD-SECURITY-TDFNAMES-1] 防止 SQL 注入 [BD-SECURITY-TDSQL-1] 线线程和同程和同步步 线线程和同程和同步步 [BD-TRS] 不要抛弃未释放的 mutex [BD-TRS-MUTEX-1] 不要在关键域中使用阻塞函数 [BD-TRS-SLEEP-1] 编码规编码规范 范 编码规编码规范 范 [CODSTA] 编码规编码规范 范 C++ 编码规编码规范 范 [CODSTA-CPP] 最好使用头文件 iostream.h 而非 stdio.h [CODSTA-CPP-01-5] 使赋值操作符返回一个 *this 指向的引用；且其返回类型是指向自身类类型 的非 const 引用 [CODSTA-CPP-02-3] 位操作符，比较操作符，逻辑操作符，逗号操作符应该为const [CODSTA- CPP-03-3] 饰构造函数允许