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