You are here

Binary Static Previrtualization: Phase II

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00014-14-C-0229
Agency Tracking Number: N131-061-0524
Amount: $1,478,637.00
Phase: Phase II
Program: SBIR
Solicitation Topic Code: N131-061
Solicitation Number: 2013.2
Timeline
Solicitation Year: 2014
Award Year: 2014
Award Start Date (Proposal Award Date): 2014-09-24
Award End Date (Contract End Date): 2018-09-24
Small Business Information
421 SW Sixth Suite 300
Portland, OR 97204
United States
DUNS: 098009918
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Joe Hendrix
 Principal Investigator
 (503) 808-7213
 jhendrix@galois.com
Business Contact
 Jodee LeRoux
Title: Contracts
Phone: (503) 626-6616
Email: jodee@galois.com
Research Institution
N/A
Abstract

Modular software development helps enable application developers to quickly write sophisticated applications. However, in most instances only a small fraction of the functionality included in a particular software component is needed. Not only is there a performance cost, but the prevalence of security vulnerabilities suggests that even unused functionality in binaries and shared libraries can be dangerous.We propose to build a new tool, called Reopt, that is capable of optimizing compiled binaries to a particular target platform. As part of this effort, Galois will develop a binary disassembler capable of generating LLVM bytecode from binary machine code. This will allow us to use LLVM-based optimizers to recompile the binary program. In addition, Galois will be working with SRI International as a subcontractor. SRI has developed a prototype tool, Occam, that optimizes binaries through aggressive inlining and partial evaluation. Also as part of this effort, Galois will be working with Zephyr Software on a tool to integrate portions of the original binary with the newly optimized code to create a new optimized binary.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government