command-line interface for jodroid
the android library folder is not the right place for our stubs for jre1.4
fix classpath of jodroid project
example app for which building the SDG works (at least with context-insensitive pointsto analysis)
android lib for which building the SDG works
commit changes to wala submodule
make Stubs an enum
a very mean testcase involving native AND static methods
delete garbage from mean test case
bugfix: do not try to locate stubs path, if you are NO_STUBS (i.e. do not try to locate null)
bugfix in local killing def analysis: do not iterate over non-existing model
new test suite for SDG construction in corner cases
reorganize JoDroidPreparation
new package structure for jodroid project
delete useless libraries; keep working android library
kill toy package from IFC Console
kill toy package from IFC Console
Merge branch 'master' of ssh://ssh.info.uni-karlsruhe.de/ben/local/GIT/joana into devel-master
ReducedCFGBuilder: cleanupp & comments
some SDG comparison tool - not ready yet and could produced unintuitive results