Embedded software: A new way to check embedded code

Software quality and security tool vendor Coverity announced what the company claims to be the first software analysis engine based on Boolean satisfiability (SAT), called Coverity Prevent SQS.
By Control Engineering Staff October 25, 2007

Software quality and security tool vendor Coverity announced what the company claims to be the first software analysis engine based on Boolean satisfiability (SAT), called Coverity Prevent SQS. The company says the tool leverages a highly accurate representation of software, which they call a “Software DNA Map,” to automatically identify complex defects in source code with unmatched precision and accuracy. This new technique of source code analysis is made possible by patent-pending technology that creates a bit-accurate representation of a software system, where every relevant software operation is translated into Boolean values and operators. This representation enables source code to be analyzed by SAT-based Solvers for the first time in commercial computer programming.
C.G. Masi , senior editor