| 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: |
http://www.zephyr-software.com |
| 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. |