Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.

Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang

Browse the full ISSTA paper archive.