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