Coverity on Wednesday is announcing a software analysis engine based on the concept of "Boolean satisfiability," or SAT.
Featured in the Coverity Prevent SQS (Software Quality System) product, the SAT engine uses a representation of software, or a "software DNA map," to identify complex defects in source code. This helps software development teams eliminate potentially costly defects.
The technology allows Coverity to be more precise and to report a higher percentage of false defects, said Ben Chelf, Coverity's CTO.
"We're the first people to actually take the technology that can solve these types of problems and put it into a static analysis engine for the purpose of finding defects before you already run the program," Chelf said.
The product ensures developers are not bogged down with trying to fix code that is not defective.
The Boolean satisfiability technique, which features patented technology from Coverity, creates a bit-accurate representation of a software system, with software questions translated into Boolean values of true or false and Boolean operators such as "and," "not," and "or." This enables source code to be analyzed by SAT-based Solvers.
The first Solver to be released is the False Pruning Solver, to lower false positive test results in static code analysis. Two more Solvers are planned in early 2008 to check code assertions and detect critical bug categories, including integer overflows. The Solvers also will expand Coverity dataflow analysis capabilities to uncover greater numbers of buffer overflows while maintaining a low false positive rate.
Prevent SQS is available Wednesday for C, C++, and Java software projects. Pricing starts at $35,000 a year for the enterprise-level product.
This whitepaper explains the terminology and concepts behind Data Replication technologies and establishes some sizing rules through worked examples. Learn the new paradigm in disaster tolerance—protect data anywhere.
Download now »
Server virtualization is a popular option for dealing with mounting datacenter costs. Another equally promising approach is the use of an Application Delivery Controller. Citrix NetScaler provides a low-cost way for organizations to reduce their server count and accrue cost savings from a reduction in space, cooling, power and personnel.
Download now »
The emergence of WLANs has created a new breed of security threats to enterprise networks.
Included in HP ProCurve WLAN solutions is security technology that alleviates threats from WLANs through:
* Monitoring wireless activity inside and out of the enterprise
* Classifying WLAN transmissions into harmful and harmless
* Preventing transmissions that pose a security threat to the enterprise network
* Locating participating devices for physical remediation
Effectively address data protection challenges, implementing solutions that help store and protect business–critical data while cutting costs and improving efficiency and reliability.
Download now »
Sign up to receive InfoWorld Resource Alerts
11 Recommendations
