Date of Award
Master of Science
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.
Tapsoba, Kenneth Baptiste, "API Usage Verification Through Dataflow Analysis" (2014). Theses and Dissertations. 646.