Date of Award

December 2014

Degree Type


Degree Name

Master of Science


Computer Science

First Advisor

Tian Zhao

Committee Members

Ethan Munson, Christine Cheng


API Usage, Dataflow Analysis, Program Analysis, Soot, Verification


Using APIs in a program is often difficult because of the incomplete documentation and the shortage of available examples. To cope with that, we have seen the increase of API checking tools that provide efficient suggestions for API usage. However, most of those checking tools use a pattern-based analysis to determine errors such as misuse of API calls. In this thesis, we introduce a different analysis technique that relies on explicit API state transitions for the analysis of the program. We adopt a static dataflow analysis framework from SOOT to inspect state transitions at each program point.