Binary Program Optimization
Small Business Information
Zephyr Software LLC
2040 Tremont Rd, Charlottesville, VA, -
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.