memory reduction on end summaries
(1) reduced constructor visibility in abstraction
(2) fixed a bug that occurred with multi-dimensional arrays
(3) not killing type information on casts in backwards solver anymore
(4) added some test cases
minor performance improvements
performance improvements
made jumpFn's references to facts weak
narf
allowing dead references
reverted weak edges
timing test
(1) commented out caching via tags
(2) added an additional check before triggering a backwards analysis
(1) removed abstraction shortcut that was not fully sound
(2) strengthened checker to perform less backwards propagations
various fixes and additional checks to filter out unrealizable paths
just a try with the old (unsound) path algo
Revert "just a try with the old (unsound) path algo"

This reverts commit f5e4844b1d2a996d7be47ff2a629cf94fe8ad471.
more patches
lock-free jumpFn
removed some Java warnings
made the neighbor set lock-free
Revert "made the neighbor set lock-free".

This reverts commit 68cdd4a5c75d83666bc0f4d497de38fa9ef4e331.
Merge branch 'unstable' of github.com:secure-software-engineering/soot-infoflow into unstable