made activation statements at call sites global to decrease abstraction size and better exploit IFDS summaries
Bugfix: Taint wrappers also need to create taints on implicit flows
re-checkin of missing file
refactorings
integrated abstraction linking into the solver
current state
test cases now work
added some options to trade soundness for performance when needed
performance improvements for implicit flows + more test cases
1) added an option to externally configure which callgraph algorithm shall be used
2) fixed a bug with the option for enabling/disabling static field tracking
added copyright information and changed activation statement set to a thread-safe data structure
Additional information on skipped body
Added EasyTaintWrapper read from InputStream
Added SBT idea
ignore all .class files
Cleanup and version fixes of build.sbt
Updated build.sbt
Pulled up interface for InfoflowCFG
Fixed build.sbt test dir