“When developing industry standard software that is going to thousands of people, high-quality reliable code from the start is essential,” stated Shay Gal-On, director of technology from EEMBC. “DoubleCheck is easy to use, and although we found no errors in our code, it provided us with an extra point of validation.”
EEMBC is running DoubleCheck on its newest software benchmark suite called FPMark that targets single and double precision floating-point operations. FPMark is applicable from low-end microcontrollers to high-end 64-bit processors. At over 100,000 lines of code, the size of the project is comparable to MultiBench.
“DoubleCheck reduces time-to-market and development cost for businesses by enabling them to complete projects faster than is possible when limited to traditional debugging and testing techniques,” commented David Kleidermacher, chief technology officer, Green Hills Software. “We are pleased that EEMBC is continuously using our source code analyser with positive results.”
About DoubleCheck Source Code Analyser
DoubleCheck builds on Green Hills Software’s 30 years of compiler technology expertise to locate software flaws that lead to security and reliability failures in software. DoubleCheck processes the entire project’s source code to find flaws, such as buffer overflows, resource leaks, invalid pointer references, overly complex code (as measured by metrics such as McCabe), and violations of safe language rules such as MISRA 2004. DoubleCheck differs from other static analysis tools by virtue of its speedy analysis time and full integration with the integrated development environment. Whereas other static analysis tools are relegated to sporadic use by quality assurance teams, DoubleCheck can be enabled by all developers all the time, ensuring that bugs are found and eradicated as quickly as possible. Because it is integrated with the MULTI IDE, no extra work is needed to ensure that DoubleCheck can handle even the largest source code bases. DoubleCheck generates reports that can be conveniently browsed with any web client.