USA flag logo/image

An Official Website of the United States Government

Deep Understanding of Complex High-Assurance Hypervisor Source Code

Award Information

Department of Defense
Office of the Secretary of Defense
Award ID:
Program Year/Program:
2009 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
GrammaTech, Inc.
NY Ithaca, NY 14850-3250
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 2
Fiscal Year: 2009
Title: Deep Understanding of Complex High-Assurance Hypervisor Source Code
Agency / Branch: DOD / OSD
Contract: N00014-10-C-0054
Award Amount: $713,270.00


Hypervisors offer a virtualization platform that is cost effective and attractive from a security point of view because guest operating systems are independent of each other. However, these claims of independence must be certified before it is permitted to use a hypervisor in a security-critical environment. The cost to perform a Common Criteria security evaluation of such low-level system code is very high, and the complexity of the code often thwarts automated tools that could help. In Phase I we developed a prototype of a tool that is capable of handling this complexity. This prototype provides features for visualization of the program's call graph, tightly coupled with textual views of the source code, and features such as program slicing. It is capable of analyzing both C/C++ source code and modules written in assembly language. The prototype builds on an existing technology infrastructure in use in commercial products and for several other research prototypes. In Phase II, we propose to continue work on this tool to move it to an advanced technology readiness level. The path to commercialization of this work involves transitioning the prototype to an existing successful product suite.

Principal Investigator:

Paul Anderson
VP of Engineering

Business Contact:

Ray Teitelbaum
Small Business Information at Submission:

317 N. Aurora Street Ithaca, NY 14850

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