News & Press

EEMBC Adopts DoubleCheck™ For Its Industry-Standard Processor Benchmarks

Green Hills Software’s Static Analysis Tool Increases Code Quality

SANTA BARBARA, CA—March 21, 2007—Green Hills Software, Inc., the technology leader in device software optimization (DSO) and real-time operating systems (RTOS), today announced that the Embedded Microprocessor Benchmark Consortium has adopted the Green Hills Software DoubleCheck™ static analysis tool to help ensure the highest level of quality for EEMBC® benchmark software.

“DoubleCheck has performed as well as other significantly more expensive source code analyzer products on the market,” commented Shay Gal-On, chief software engineer, EEMBC. “We were impressed with DoubleCheck’s ability to detect a wide range of software flaws, its low false positive rate, its execution time performance, and the intuitive format and usability of its reports.”

EEMBC is running DoubleCheck on its software benchmark suite consisting of more than one million source lines of code, and, in addition, is using DoubleCheck to help ensure the quality of new benchmark software being developed, including EEMBC’s latest multicore benchmark framework.

“The ability to predict and prevent flaws before the software is even executed is a key part of Green Hills Software’s multi-tiered strategy to ensure reliability and security of electronic devices and systems,” commented David Kleidermacher, chief technology officer, Green Hills Software. “In addition, 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.”

About DoubleCheck Source Code Analyzer
DoubleCheck builds on Green Hills Software's 25 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 (IDE). 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.

About Green Hills Software
Founded in 1982, Green Hills Software, Inc. is the technology leader in device software optimization (DSO) and real-time operating systems (RTOS) for 32- and 64-bit embedded systems. Our royalty-free INTEGRITY® and velOSity™ real-time operating systems, µ-velOSity™ microkernel, compilers, MULTI® and AdaMULTI™ integrated development environments and TimeMachine™ tool suite offer a complete development solution that addresses both deeply embedded and high-reliability applications. Green Hills Software is headquartered in Santa Barbara, CA, with European headquarters in the United Kingdom. Visit Green Hills Software on the web at

EEMBC, the Embedded Microprocessor Benchmark Consortium, was formed in 1997 to develop meaningful performance benchmarks for the hardware and software used in embedded systems. Through the combined efforts of its members, EEMBC® benchmarks have become an industry standard for evaluating the capabilities of embedded processors, compilers, and Java implementations according to objective, clearly defined, application-based criteria. Visit EEMBC at

Green Hills, the Green Hills logo, MULTI, INTEGRITY, velOSity, µ-velOSity, AdaMULTI, TimeMachine and DoubleCheck, are trademarks or registered trademarks of Green Hills Software, Inc. in the U.S. and/or internationally. EEMBC is a registered trademark of the Embedded Microprocessor Benchmark Consortium. All other trademarks are the property of their respective owners.

North American Sales Contact:
Green Hills Software, Inc.
30 West Sola Street,
Santa Barbara, CA 93101,
Tel: 805-965-6044
Fax: 805-965-6343

Media Contacts:
Green Hills Software, Inc.
Barbel French
Tel: 805-965-6044

International Sales Contact:
Green Hills Software Ltd.
Fleming Business Centre
Leigh Road
Hampshire SO50 9PD
Tel: +44 (0)2380 649660
Fax: +44 (0)2380 649661

© 1996-2024 Green Hills Software Privacy Policy Cookies Policy Copyright & Patent Notices