In my posting about embedded systems on the 19th, I asked how companies could guarantee the reliability of complicated embedded systems. One set of generic guidelines for this comes from Barry Boehm ...

Static analysis works on source code and tries to identify errors based on what it can tell about the program. For example, it can highlight “dead code” that will never execute. And sometimes it can ...

IAR Systems has announced an update of its static code analysis tool C-STAT, an add-on product completely integrated in the complete C/C++ compiler and debugger toolchain IAR Embedded Workbench. The ...

Partnership extends LDRA’s extensive support of C coding standards Wirral, UK. April 14, 2010. LDRA, the leading provider of automated software verification, source code analysis, and test tools, and ...

Software bugs are notoriously difficult to eradicate. Traditional quality assurance techniques like testing and software inspections (sometimes called code reviews) find serious bugs, but too many ...

Static analysis has established itself as a "must-have" for the verification of critical software. Notably, it can find problems that are hard to uncover by testing, such as concurrency issues and ...