FlowDroid

Allows the analysis to properly handle callbacks invoked by the Android framework, while context, flow, field and object-sensitivity allows the analysis to reduce the number of false alarms.

Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Check for data flows between lists of sources and sinks.