Security
- FlowDroid: Java, Data-Flow Analysis, PLDI'14
- Argus-SAF (Amandroid): Java, Data-Flow Analysis, CCS'14
- Droidsafe: Java, Data-Flow Analysis, NDSS'15
- ApkCombiner: Android ICC
- HybriDroid: Java, JavaScript, Bug Detector, Data-Flow Analysis, ASE'16
- CogniCrypt: Java, White listing, Typestate Analysis, Data-Flow Analysis, ASE'17 & ECOOP'18
- JOANA: Java, Information-Flow Analysis, Slicing
- WeVerca: PHP
- WAP: PHP
Bug Detection
- FindBugs
- SpotBugs
- PMD
- Lint
- CheckStyle
- Cppcheck
Other
- Ariadne: Python, Machine Learning
- CiD: Automating the Detection of API-related Compatibility Issues in Android Apps: Android, Compatibility Issue, ISSTA'18
- Parallel Checker: C#, Concurrency Issues (Data Races, Deadlocks, Thread-unsafe usage), ISSTA'18
- Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates: Java, configuration, Data-Flow Analysis, ECOOP'18
- SPLlift: Java, configuration, Data-Flow Analysis, PLDI'13
- Sapienz
- DroidBot
- IntelliDroid: A Targeted Input Generator for the Dynamic Analysis of Android Malware (Android)
- Thor: Testing Android Apps in Adverse Conditions (Android)
- Tracedroid
-
Apktool (Android)
- Disassembling resources
- Rebuilding decoded resources back to APK/JAR
-
jadx (Android)
- Decompiler
-
androguard (Android)
- Decompiler