https://github.com/JulianSchuette/ConDroid
Java53
8 years ago
Symbolic/concolic execution of Android apps
BSD 3-Clause "New" or "Revised" License