Amandroid
A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps.
Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Checks if cryptographic APIs are used correctly.
Checks if an app has a Hiding-Icon scheme in place, which hides the app's icon from the android launcher.
Checks if SSL/TLS APIs are used correctly.
Check whether an app obeys the above data usage policy.
Checks if an app makes wrong assumptions for the incoming intent and performs sensitive operations based on it.