symdroid : symbolic execution for dalvik .
Z3: An Efficient SMT Solver