Mistral to Distribute Coverity's Source Code Analysis Tools

Mistral Solutions Pvt. Ltd., a leading provider of complete technology solutions and professional services in the embedded space, has entered into a partnership with Coverity Inc., providers of the world’s most advanced source code analysis solution. Mistral is now an exclusive distributor of Coverity products in India. Coverity’s advanced technology detects and resolves hazardous defects and security breaches in the source code allowing developers to spend less time searching for bugs and more time adding value to products.

These solutions will enable Mistral’s customers to detect defects and security vulnerabilities early in the software development process, thereby building better products, decreasing time-to-market, and reducing risks.

Coverity takes a new approach to source code analysis. Coverity’s innovations in meta-compilation enable accurate results across large code bases in a fraction of the time required by other source code analysis tools. Coverity is the first system to identify defects with a combination of precision, speed, and accuracy that can effectively deal with the size and complexity of today’s code.

Coverity offers two source code analysis products – Coverity Prevent(TM) and Coverity Extend(TM), designed to help customers deliver the most reliable and secure software possible.

Coverity Prevent automates the detection of defects and security vulnerabilities in complex software by parsing and analyzing the code at compile time. This technique allows rapid, large-scale analysis of C and C++ source code, often uncovering difficult to detect errors that are typically missed by unit testing, Quality Assurance and manual code reviews. Coverity Prevent’s interprocedural analysis evaluates all possible paths in the source code to uncover catastrophic defects that can degrade software performance, crash programs, leave the software vulnerable to security attacks, or cause programs to behave incorrectly.

Coverity Extend is an easy-to-use Software Development Kit (SDK) that allows developers to detect unique defect types in C and C++ code. Coverity Extend comes with all the out-of-the-box checkers in Coverity Prevent and leverages the Coverity Analysis Engine. To use the Coverity Extend, developers simply write a check in C++ to describe a defect they hope to find.

“After an extensive search we selected Mistral due to their long history of providing solutions to the embedded market,” stated Rich Cerruto, Coverity Asia Pacific Region General Manager. “The depth and size of their sales and support staff qualifies them to perform the full range of sales, after-sales support and training that our customers demand.”

“Meeting customer demands for accelerated time-to-market and reduced costs has been Mistral’s focus. Our association with Coverity is another major step in that direction. Coverity’s technology not only improves software quality but also decreases development, support, and warranty costs, shortens time-to-market and improves developer productivity,” said Pawan Vashisht, General Manager, SED, Mistral Solutions Pvt. Ltd.

“Coverity products provide a complete understanding of the customer’s build environment, source code, and development process, thereby enabling us to assist our Indian customers in developing high-quality software.”

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.

About Mistral Solutions
Mistral Solutions is a professionally managed technology house undertaking Systems Integration and providing Value added Services. It provides specialized hardware and software solutions in the Embedded domain, as well as Professional Services in Systems Design and Development, Real-Time Applications, and Communications.

By virtue of its core technical expertise, Mistral has valued alliances with leading global companies and it markets RTOS and IDE tools from Wind River Systems Inc., commercial & rugged grade COTS computing solutions from Curtiss Wright (Dy4 Systems, VISTA Controls, Synergy Microsystems, Systran, Peritek, Prima Graphics), board level computers for Industrial Applications from MEN Mikro Electronik, scalable computer platforms from Motorola Embedded Communications Computing (previously Force Computers), Single Board Computers for VMEbus and CompactPCI from Microsys, high-availability Network Service-Ready Platform (NSRP) solutions from Continuous Computing Corporation, standard and custom products for commercial, military, high-tech, medical, telecom, and research markets from Dawn VME, I/O modules from General Standards Corporation, modified COTS products for military, aerospace, and avionics applications from Targa Systems, Software Defined Radio solutions from Pentland Systems, high quality storage solutions from DNF Storage, innovative embedded graphics products and solutions from PSA Inc., embedded GUI, HMI and Graphics Software from Tilcon and integrated system solutions, electronic enclosures, & backplanes for military, telecom and commercial applications from Hybricon.