Automated Analysis and Verification of Application Program Interfaces (APIs)

Award Information
Agency:
Department of Defense
Amount:
$99,843.00
Program:
SBIR
Contract:
N00039-10-C-0075
Solitcitation Year:
2009
Solicitation Number:
2009.3
Branch:
Navy
Award Year:
2010
Phase:
Phase I
Agency Tracking Number:
N093-227-0373
Solicitation Topic Code:
N093-227
Small Business Information
DataSoft Corp.
1475 N. Scottsdale Road, #460, Scottsdale, AZ, 85257
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
Y
Duns:
960462034
Principal Investigator
 Larry Dunst
 Principal Investigator
 (480) 763-5777
 larry.dunst@datasoft.com
Business Contact
 Vik Patel
Title: CEO
Phone: (480) 763-5777
Email: vik.patel@datasoft.com
Research Institution
N/A
Abstract
The DataSoft Interface Verification Application (DIVA) provides an automated robust solution for accurate and repeatable verification of developer source code compliance to a set of Standard API’s. The tool then generates customized compliance reports for the user that accurately summarize all vendor deviations from the standard API. DIVA can verify a single API file or all of the API files in a collection at the same time and generates suitable reports for each including a summary report if verifying more than one API. Our algorithms are based on customized categories of vendor deviations and mapping of API source code into independent abstract parse trees for sorting, analysis, and comparison to minimize false positives and negatives. This focuses the comparison on the real content of the APIs, eliminating trivial text based artifacts that hinder simple text comparison tools. This fully automated tool eliminates the need for manual inspection of vendor source code and improves the overall API verification process.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government