| July
2008
Mistral Solutions Pvt. Ltd., a leading provider
of complete technology solutions and professional
services in the embedded space has announced
the availability of Coverity Prevent™
for C# from Coverity, leaders in advanced
source code analysis solutions.
Coverity Prevent is the market-leading
automated approach to identifying and resolving
source code defects and sets the standard
for improving software integrity. Coverity
Prevent™ for C# offers the deepest
and most accurate C# source code analysis
available with the lowest false positive
rate, enabling development teams to ensure
superior code quality at the earliest stage
in the development life cycle.
Specially designed for detecting defects
in applications built on Microsoft’s
.NET framework, Coverity Prevent™
for C# 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
seamlessly 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.
Coverity prevent for C# provides 100% path
coverage, ensuring that all possible execution
branches are followed, while avoiding impossible
paths to maintain fast execution. Its low
false positive rates (15%) keep development
teams productive, with more time to focus
on inspecting defects that will result in
noticeable quality improvements. Prevent's
Defect Manager provides a comprehensive
workflow platform that allows teams to collaboratively
view analysis results, triage defects, assign
ownership, and more.
About Coverity
Coverity 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 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 eliminate
security and quality defects from their
mission-critical code.
For more information about Coverity, visit
www.coverity.com.
|
