parasoft的C++test静态测试选项VIP免费

启 用 规 则  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] ...