USA flag logo/image

An Official Website of the United States Government

Binary Static Previrtualization

Award Information

Department of Defense
Award ID:
Program Year/Program:
2013 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Galois, Inc.
421 SW Sixth Suite 300 Portland, OR 97204-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2013
Title: Binary Static Previrtualization
Agency / Branch: DOD / NAVY
Contract: N00014-13-P-1084
Award Amount: $79,881.00


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 components 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. To address the problem of extraneous functionality, SRI International has developed, static previrtualization, a static analysis and code specialization technique that uses partial evaluation to remove unused functionality. SRI has developed a prototype tool, Occam, that performs static previrtualization on LLVM bytecode. Galois proposes to work with SRI to extend Occam to support static previrtualization of binaries. Galois will develop a binary disassembler capable of generating LLVM bytecode from binary machine code. This will allow Occam and other LLVM-based optimization tools to be applied to existing compiled machine code. This will make it easier for static previrtualization to be adopted in industry, and facilitate applying previrtualization to entire systems.

Principal Investigator:

Joe Hendrix
Principal Investigator
(503) 808-7213

Business Contact:

Jodee LeRoux
(503) 808-7209
Small Business Information at Submission:

Galois, Inc.
421 SW Sixth Suite 300 Portland, OR 97204

EIN/Tax ID: 931278540
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No