Automated Analysis and Verification of Application Program Interfaces (APIs)

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N66001-11-C-5222
Agency Tracking Number: N093-227-0373
Amount: $749,999.00
Phase: Phase II
Program: SBIR
Awards Year: 2011
Solicitation Year: 2009
Solicitation Topic Code: N093-227
Solicitation Number: 2009.3
Small Business Information
DataSoft Corp.
1475 N. Scottsdale Road, #460, Scottsdale, AZ, -
DUNS: 960462034
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: Y
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
 Stub
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. DIVA generates customized compliance reports for the user that accurately summarize all vendor deviations from the standard API. In addition, 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 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