Binary Program Optimization
Navy SBIR FY2013.1

Sol No.: Navy SBIR FY2013.1
Topic No.: N131-061
Topic Title: Binary Program Optimization
Proposal No.: N131-061-0238
Firm: Zephyr Software LLC
2040 Tremont Rd
Charlottesville, Virginia 22911-8653
Contact: Clark Coleman
Phone: (434) 284-3002
Web Site:
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.
Benefits: Software engineering practices that are highly productive can be used while reducing the memory and speed penalties that normally result from such practices.