Coverity, the software integrity company, announced the availability of new features in Coverity Prevent for software developers who rely on Microsoft products. The latest release of Coverity Prevent, available from Embedded Logic Solutions , now offers support for Microsoft Windows Vista, integration with Microsoft Visual Studio, and modelling for Win32 concurrency APIs. Additionally, Coverity has introduced a number of quality and concurrency checkers for C#. These new capabilities allow developers to identify, triage and fix critical defects in their preferred development environment.
Coverity Prevent is a static analysis solution. Over 500 companies rely on Coverity Prevent to ensure the integrity of their code by detecting quality and security defects early in the software development life cycle when they are most cost effective to eliminate. In addition to Windows Vista, Coverity Prevent also supports Linux, Solaris, HP-UX, FreeBSD and NetBSD.
As the use of multi-core hardware accelerates more developers rely on Coverity Prevent to identify hard to find concurrency defects, such as race conditions or deadlocks, than any other static analysis product in the industry. The latest release of Coverity Prevent expands Coverity’s concurrency defect detection capabilities to analyse Win 32-based code, allowing developers to pinpoint this hard-to-find defect class.
The latest release of Coverity Prevent includes the following Microsoft-specific capabilities:
Visual Studio Support – Coverity Prevent Desktop for Visual Studio allows users to perform static code analysis within Visual Studio. With this capability, users can take advantage of a unified interface for software development as well as detecting critical quality and security defects. Analyses can also be shared with distributed teams by merging results with a remote database. Coverity Prevent Desktop supports Visual Studio 2005 and 2008. Coverity Prevent Desktop is also available for Eclipse 3.2, 3.3, and 3.4
C# Concurrency Defect Detection – Prevent offers the first C# concurrency defect detection capabilities in the industry, with multiple checkers that pinpoint a variety of hard-to-find problems that can occur in multi-threaded C# applications.
Support for Win32 Concurrency – New capabilities in Coverity Prevent help developers ensure the integrity of multi-threaded software designed for Win32 multi-core environments. Win32 concurrency modelling allows developers to identify hard to find concurrency defects early in the development life cycle.
Comprehensive Support for all Microsoft platforms – Coverity Prevent supports analysis on multiple Microsoft platforms including Microsoft Windows XP, Microsoft Windows Vista, Microsoft Windows Mobile, Windows Automotive and Xbox.
Embedded Logic Solutions, distributors of Coverity products and solutions, will be conducting demonstrations and presentations on the different elements of the Coverity Solution of Stand Q56 at Cebit 2009.