Initial commit
initial checkin of PLDI'13 version
adapt to new interface for unbalanced calls
adapting project to heros
adding all necessary JARs
updating soot
correcting package
selecting info flow analysis
only lifted analysis
readme
fixed link
adding image
adding screenshot
moving items into place
cropping image
Update README.md
Update README.md
Merge branch 'master' into gh-pages