A fork and extension of the Acteve project on concolic execution for Android (https://code.google.com/p/acteve/)