Android-specific components of FlowDroid