Static Analysis of Multi-Core Applications

Award Information
Agency:
Department of Defense
Branch
Defense Advanced Research Projects Agency
Amount:
$749,231.00
Award Year:
2010
Program:
SBIR
Phase:
Phase II
Contract:
W31P4Q-10-C-0025
Agency Tracking Number:
07SB2-0175
Solicitation Year:
2007
Solicitation Topic Code:
SB072-010
Solicitation Number:
2007.2
Small Business Information
GrammaTech, Inc
317 N. Aurora Street, Ithaca, NY, -
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
603978321
Principal Investigator:
Denis Gopan
Senior Scientist
(608) 827-0657
gopan@grammatech.com
Business Contact:
Ray Teitelbaum
CEO
(607) 273-7340
tt@grammatech.com
Research Institution:
n/a
Abstract
Multi-core architectures, which recently have become pervasive, exposed the software-engineering community to a host of challenges. Applications that want to take a full advantage of a multi-core processor must be explicitly parallelized—a process that is hard and error prone. Additionally, the programs that have already been parallelized and shown to work robustly on a single-core processor often become unstable when migrated to a multi-core machine. We propose a tool that discovers bugs in concurrent programs, including data races, atomicity violations, and errors specific to multi-core platforms. The tool will combine static and dynamic analysis to systematically explore the state-space of a program and discover flaws. To use the tool, a user will provide an executable version of their concurrent program. The tool will produce a list of discovered flaws and allow the user to “replay” concurrent executions that demonstrate each flaw.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government