模块说明
DoubleCheck, 是Green Hills集成的静态分析仪，它允许您甚至在运行程序之前就识别编程错误，从而节省了您的时间和成本。由于DoubleCheck是Green Hills优化编译器的一部分，因此无需设置成本启用它。只需设置一个选项， DoubleCheck 每次编译时都会检查源代码。 此外，DoubleCheck的运行速度比传统的静态分析工具快得多，这意味着每个开发人员都可以一直使用它。
DoubleCheck比传统的代码检查更可靠，可以发现在常规系统测试中可能永远不会出现的错误。一位客户报告说：“我们在DoubleCheck上使用了代码库，发现了一些潜在的问题。我们今天花了一部分时间来修复它，得到了一个100%干净的编译。”
Run-time error checking通过查找无法单独通过静态分析识别的错误来补充DoubleCheck。尤其是令人发指的bug在失败之前很长一段时间都保持沉默。通过运行时错误检查，可以在发生问题时提醒您。直接查看错误时，修复它很简单。
运行时错误检查可识别一些问题，比如指针的无效内存访问、超出范围的值分配、switch语句中未处理的情况以及被除零的问题 。