Binary Program Optimization

Award Information
Agency:
Department of Defense
Branch
n/a
Amount:
$75,151.00
Award Year:
2013
Program:
SBIR
Phase:
Phase I
Contract:
N00014-13-P-1079
Award Id:
n/a
Agency Tracking Number:
N131-061-0238
Solicitation Year:
2013
Solicitation Topic Code:
N131-061
Solicitation Number:
2013.1
Small Business Information
2040 Tremont Rd, Charlottesville, VA, -
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
830972647
Principal Investigator:
Clark Coleman
Research Scientist
(434) 284-3002
clc@zephyr-software.com
Business Contact:
Jack Davidson
President
(434) 242-4280
jwd@zephyr-software.com
Research Institution:
Stub




Abstract
An existing binary static analyzer, STARS (STatic Analyzer for Reliability and Security) will be enhanced to perform compiler optimizations that are most relevant to highly layered and modular code. STARS will emit binary rewriting rules that will be used by a binary rewriter to produce an optimized version of the application binary and its libraries that retains all functionality of the original application.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government