Home 
News Coverity Source Code Analysis Suite Enables Developers Using Microsoft Development Environment
News Coverity Source Code Analysis Suite Enables Developers Using Microsoft Development Environment
Coverity Source Code Analysis Suite Enables Developers Using Microsoft Development Environment |
 |
| Tuesday, 20 February 2007 16:00 |
|
SAN FRANCISCO, Feb. 21 /PRNewswire/ -- Coverity, Inc., makers of the
world's most advanced source code analysis solution, today announced new
features and updates to Coverity Prevent designed to help Windows
developers produce high-quality, secure software. Coverity developed new
defect checkers for their flagship product to enhance analysis of Windows
applications and detect critical programming errors that could cause system
crashes and memory leaks due to common COM-related mistakes. By leveraging
the Coverity analysis engines, the new checkers cover 100 percent of
software paths and accurately pinpoint defects.
This release is especially important to Windows developers faced with the challenge of building COM-based distributed systems, where the complexity can be an order of magnitude higher, and the task of finding defects with manual procedures can take months. New checkers include capabilities to detect incorrect type conversions, incorrect usage of wrapper classes, and reference counting mistakes -- errors that can lead to memory leaks, system crashes, or unpredictable program behavior. The checkers can easily scale to quickly analyze tens of millions of lines of code on a daily basis and have very high accuracy rates with low false positive results. Enhancements to Prevent's understanding of standard Windows libraries allow existing checkers to find even more high-value defects in code written on the Windows platform. "Coverity offers the only technology that can effectively find COM-related defects, which are some of the most costly and difficult issues for Windows developers," said Ben Chelf, CTO of Coverity. "Coverity's analysis extends beyond the standard language constructs of C and C++ to encompass programming idioms, data types, and libraries specific to the Microsoft environment. Our technology creates the most complete model of COM software available and uses this to produce the most accurate source code analysis that developers can use. These are critical considerations for busy programmers who refuse to waste time chasing down false positive results." New features in Coverity Prevent include:
About Coverity Coverity (http://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. NOTE: Coverity is a registered trademark, and Coverity Extend and Coverity Prevent are trademarks of Coverity, Inc. All other company and product names are the property of their respective owners.
Set as favorite
Bookmark
Email this
Hits: 2840 Trackback(0)Comments (0)
|
TrackBack URI for this entry
Subscribe to this comment's feed