Binary Program Optimization
Department of Defense
Agency Tracking Number:
Solicitation Topic Code:
Small Business Information
Zephyr Software LLC
2040 Tremont Rd, Charlottesville, VA, -
Socially and Economically Disadvantaged:
AbstractAn 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.