JoDroid: Adding Android Support to a Static Information Flow Control Tool
SCanDroid: Automated Security Certification of Android Applications