fix imports
move grouping of illicit flows to a more appropriate place
move conflict debug output from IFCConsole to IFCAnalysis; encapsulate conflict information into own object
Merge branch 'master' of ssh://ssh.info.uni-karlsruhe.de/ben/local/GIT/joana into devel-master
further refactoring of conflict stuff
fix some path issues in dpn interference pruning stuff
over-approximate heap side-effects for stubs
add side effect detector for KeY project
preliminary integration of side effect detector
Merge branch 'master' of ssh://ssh.info.uni-karlsruhe.de/ben/local/GIT/joana into ipd
externalize objgraph options
add command line interface for side-effect detector
move MapUtils to more appropriate place
really remove MapUtils at old location; also commit changes to other classes resulting from this change
move Pair class to more appropriate location
new intermediate project for invoking joana on android apps
cleanup and minor corrections of Pair class
dalvik frontend for WALA
exception analysis tests
changes to wala submodule