Sciweavers

Share
PLDI
2015
ACM

Droidel: a general approach to Android framework modeling

4 years 12 months ago
Droidel: a general approach to Android framework modeling
We present an approach and tool for general-purpose modeling of Android for static analysis. Our approach is to explicate the reflective bridge between the Android framework and an application to make the framework source amenable to static analysis. Our DROIDEL tool does this by automatically generating application-specific stubs that summarize the reflective behavior for a particular app. The result is a program with a single entry-point that can be processed by any existing Java analysis platform (e.g., Soot, WALA, Chord). We compared call graphs constructed using DROIDEL to call graphs constructed using a state-of-the-art Android model and found that DROIDEL captures more concrete behaviors. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification Keywords static analysis, framework modeling, soundness, reflection, Android
Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan C
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where PLDI
Authors Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang
Comments (0)
books