GrammaTech Awarded DARPA Contract to Develop Static-Analysis Technology for Examining Multi-Core Systems
|This diagram shows a concurrency-related bug similar to those that can occur in programs for multi-core processors. The last seat can be reserved by two agents. Correctness depends on how work is scheduled.|
SAN JOSE, CA, Embedded Systems Conference–April 15, 2008–GrammaTech, Inc., a leading provider of source-code analysis tools, today announced that it has been awarded a DARPA contract to develop static-analysis technology for examining multi-core systems. The new technology focuses on identifying concurrent programming defects, which are notoriously difficult to identify and manually debug.