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.

10/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





No comments
The Engineers' Choice Awards highlight some of the best new control, instrumentation and automation products as chosen by...
The System Integrator Giants program lists the top 100 system integrators among companies listed in CFE Media's Global System Integrator Database.
The Engineering Leaders Under 40 program identifies and gives recognition to young engineers who...
This eGuide illustrates solutions, applications and benefits of machine vision systems.
Learn how to increase device reliability in harsh environments and decrease unplanned system downtime.
This eGuide contains a series of articles and videos that considers theoretical and practical; immediate needs and a look into the future.
Sensor-to-cloud interoperability; PID and digital control efficiency; Alarm management system design; Automotive industry advances
Make Big Data and Industrial Internet of Things work for you, 2017 Engineers' Choice Finalists, Avoid control design pitfalls, Managing IIoT processes
Engineering Leaders Under 40; System integration improving packaging operation; Process sensing; PID velocity; Cybersecurity and functional safety
This article collection contains several articles on the Industrial Internet of Things (IIoT) and how it is transforming manufacturing.

Find and connect with the most suitable service provider for your unique application. Start searching the Global System Integrator Database Now!

SCADA at the junction, Managing risk through maintenance, Moving at the speed of data
Flexible offshore fire protection; Big Data's impact on operations; Bridging the skills gap; Identifying security risks
The digital oilfield: Utilizing Big Data can yield big savings; Virtualization a real solution; Tracking SIS performance
click me