Friday, 18 July 2008

Mistral Makes Available Coverity Prevent for C#

Mistral Solutions, a provider of technology solutions and services in the embedded space, recently revealed the availability of Coverity Prevent for C# from Coverity, a provider of advanced source code analysis solutions.

Mistral claims that Coverity Prevent for C#, which is specially designed for detecting defects in applications built on Microsoft’s .NET framework, offers automatic defect detection to developers programming in C# by analyzing large, complex C# code bases and detecting critical, must-fix defects that could lead to system failures, memory corruption, unpredictable behavior, and performance degradation.

It handles features of the C# language such as operator overloading, properties, and idioms for iteration and resource management. Prevent for C# also automatically finds third party .NET assemblies to ensure a complete analysis result, no matter how complex the application.

The company further added that Coverity prevent for C# provides 100 percent path coverage, ensuring that all possible execution branches are followed, while avoiding impossible paths to maintain fast execution. Its low false positive rates (15 percent) keep development teams productive, with more time to focus on inspecting defects that will result in noticeable quality improvements.