USA flag logo/image

An Official Website of the United States Government

Static Analysis Tool for Interface Compliance Verification and Program…

Award Information

Department of Defense
Award ID:
Program Year/Program:
2008 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803 New York, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2008
Title: Static Analysis Tool for Interface Compliance Verification and Program Comprehension
Agency / Branch: DOD / NAVY
Contract: N00039-08-C-0049
Award Amount: $99,985.00


Our objective is to develop a static analysis tool that can be used by both software developers and verification specialists to verify compliance with standard interface specifications. As an additional capability, our tool will provide both developers and verification specialists with a robust interactive query-driven program comprehension capability that will significantly reduce the overhead of manual code review. While our tool will be applicable to any large C or C++ code base, we will specifically address issues relevant to the analysis of code developed to the Software Component Architecture (SCA). Our Phase I effort will demonstrate the feasibility of our approach by developing an initial prototype. Particular points of emphasis in our Phase I prototype will be to demonstrate the flexibility and extensibility of our approach. In Phase II we will produce an advanced prototype applicable to third-party applications. The transition target for this system is the JTRS Testing & Evaluation Lab (JTEL) which maintains test capability and certifies code in support of the Joint Tactical Radio System (JTRS) initiative. We will be aided in developing a more robust commercial product and in identifying additional transition opportunities though our collaboration with Mercury Computer Systems who are supporting our proposal.

Principal Investigator:

James Ezick
Senoir Engineer

Business Contact:

Melanie Peters
Business Manager
Small Business Information at Submission:

632 Broadway, Suite 803 New York, NY 10012

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