symdroid : symbolic execution for dalvik .
Directed symbolic execution