Fill our README a bit
Initial add of the existing projects.
- Annotations (allows annotating the source code which should be checked)
- Testcases (simple analysis input examples)
- SootUtils (provides tools for the analyses)
- TaintTracking analysis
- SideEffect analysis
Update test (no meaningful changes)
Implicit Flows Preparations
Fix link in Soot install instructions