DroidSolver DroidSolver tries to model the android permissions system and help to find vulnerabilities by a Solver approach, using Clingo Usage $ /DroidSolverpy DroidSolver v101 - by @ghizmo Hello DroidSolver! You can choose to use your own script, or find CVEs: 1) Bruteforce my script! 2) Let's see the main script 3) Let's see the CVE-2021-0307 4) Let