ZEPHYR SOFTWARE LLC — Department of Defense SBIR Phase I: An existing binary static analyzer, STARS (STatic Analyzer for Reliability and Security) w

ZEPHYR SOFTWARE LLC — SBIR Phase I award from Department of Defense.

Amount
$75,151
Agency
Department of Defense · Navy
Program / Phase
SBIR · Phase I
Solicitation
2013.1
NAICS
Place of performance
VA
Period
2013-05-13 → 2014-03-07

Description

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.