Automated Analysis and Verification of Application Program Interfaces (APIs)

Period of Performance: 07/24/2014 - 04/23/2015


Phase 2 SBIR

Recipient Firm

Datasoft Corp.
1275 W. Washington Street Array
Tempe, AZ 85281
Principal Investigator


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.