News Releases

IGT Bets On Coverity For Static Code Analysis

Coverity Prevent Adds Support for QNX Momentics Development Suite

San Francisco, CALIF., April 10, 2007 - Coverity, Inc., makers of the world's most advanced source code analysis solution, today announced that IGT (International Game Technology) has joined the list of more than 200 Coverity customers, and that Coverity's flagship product, Prevent, now supports the QNX® Momentics® development suite targeting the QNX Neutrino® embedded realtime operating system (RTOS).

IGT is a global company, specializing in the design, development, manufacturing, and marketing of computerized gaming equipment, systems, and services. The QNX Neutrino RTOS is the core operating system that IGT uses in its gaming machines, with QNX Momentics serving as the primary C/C++ compiler and development environment. QNX Neutrino is a scalable, POSIX-compliant, embedded RTOS used in mission-critical environments such as telecommunications equipment, automotive systems, medical instrumentation, consumer electronics, and many other devices.

Prevent is configured to support the QNX Momentics development suite out of the box, and can be integrated into the build process in a matter of minutes, with no changes to existing build scripts.

"We had looked at static analysis tools previously but did not find any that successfully deployed in our QNX build environment. Coverity integrated into our build environment without our having to modify our processes. Coverity's adaptivity was a huge plus," said Steven LeMay, Director of Game Engineering, IGT. "As any good company would, we want to prove our quality in the field. Finding issues at compile time before they become problems during testing, and eliminating as many problems as far upstream in the development cycle as possible, significantly reduces engineering costs and more importantly makes a better quality product."

IGT products are highly regulated by the gaming industry, and have to go through an extensive approval process. Independent laboratories have to test every product for certification, and that certification process has to start all over again for any kind of software change. Therefore, even a small bug fix in the field needs to be approved by regulatory bodies, which can take a considerable amount of time and expense before the solution can be deployed.

"Coverity's support of the QNX Momentics development suite brings the power of today's most advanced static source code analysis technology to developers of one of the most popular embedded realtime operating systems," said Ben Chelf, CTO, Coverity. "Now developers targeting the QNX Neutrino OS can rely on Prevent to detect defects critical to embedded developers, such as resource leaks, concurrency issues, and excessive memory use."

"Developers choose QNX technology for their mission- and life-critical systems because it offers an unsurpassed combination of performance, scalability, and reliability," said Linda Campbell, director of strategic alliances at QNX Software Systems. "Coverity allows these developers to focus on the higher-level design issues, and spend less time trying to identify and fix hidden bugs in their code."
Coverity Prevent support for the QNX Momentics development suite is available immediately. For more information, visit www.coverity.com.

About Coverity
Coverity (www.coverity.com), the leader in improving software quality and security, is a privately held company headquartered in San Francisco. Coverity's groundbreaking technology removes the barriers to writing and delivering complex software by automatically finding and helping to fix critical software defects and security vulnerabilities as the software is written. More than 200 leading companies choose Coverity because it scales to tens of millions of lines of code, has the lowest false positive rate and provides 100 percent path coverage. Companies like Juniper Networks, Symantec/VERITAS, McAfee, Synopsys, NASA, Palm and Wind River work with Coverity's tools to find and fix security and quality defects from their mission-critical code.

Coverity is a registered trademark, and Coverity Extend and Coverity Prevent are trademarks of Coverity, Inc. QNX, Momentics, and Neutrino are trademarks of QNX Software Systems GmbH & Co. KG, registered in certain jurisdictions and are used under license. All other company and product names are the property of their respective owners.