This was the final version of the modified hopper we used for the Feb…

…ruary 2016 MUSE demo workshop.

Due to the shortage of buildable android apps in our corpus, it was minimally tested.

Furthermore, the spec from the MUSE team against which this branch was built was poorly thought out; we jumped through a lot of hoops to print out the set of possible reaching constants to a given callsite.  I think a better design would be to simply specify the bug condition in standard Hopper fashion (using a CNF of String and ByteArray pure constraints) and treat Hopper as a black-box.

-Benno Stein