added symbolic path construction to avoid having to reconstruct the same paths over and over again
removed unnecessary gc call
fix for symbolic path evaluation
got rid of one more field in the abstraction
added two new tests cases for overwriting tainted variables in loops
fixed a bunch of warnings
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into unstable
fixed an access modifier
now passing the icfg into the taint wrapper
changed ICFGs to a decorator style such that different directions and features can be combined freely
Optional user data related to a source can now be tracked across the client programs
Merge branch 'unstable' of github.com:secure-software-engineering/soot-infoflow into unstable
Changed the backwards solver to be a decorator of the forwards solver. This should allow both solvers to share quite a bit of information and thus save memory.