small style change
fixed an activity and service lifecycle misconception. We cannot skip from Service.onDestroy() or Activity.onPause / Activity.onStop to the respective onCreate() method since the corresponding component gets killed in between
optimized the solver cleanup code
added more logging and solver cleanup
fixed types
removed debugging code
smaller changes
using hash codes to speed up equals() when possible
fixed a stupid bug with the nopaths option and added a test case for it
added a missing class
added a test case for the EasyTaintWrapper
added a taint wrapper rule
fixed a really dumb error in an assertion
add type tightening to get away from java.lang.Object to a real type as soon as possible
Now also correctly setting source/sink inspection flags into backwards solver
got rid of a deprecated class
removed unnecessary queue
1) raised source code compliance level to Java 1.7
2) patched FlowDroid to be compatible with the new version of Heros - though we have our own solver, we still use their interfaces
removing the callbacks sources for iccta