Kratos: Discovering Inconsistent Security Policy Enforcement in the Android Framework
integrating flexible support for security policies into the linux operating system .