Performs primitive Dalvik symbolic execution - View it on GitHub