added support for library summaries
fixed build script
fixed build script
added taint wrapper file for implicit flows
added support for the explicit taint wrapper models when using library summaries
fixed a stupid bug
narf
added another error check
added more error checking
ignored a directory
reverted an accidental commit
got rid of the dependency to soot-infoflow-summaries and integrated the library summaries using reflection
fixed a wrong Java target version
removed outdated code
added some more sinks
added the most recent DroidBench test cases
added support for CHA to sample application
added support for explicitly selecting SPARK as the callgraph algorithm
optimized the SourceSinkManager
updated ProcessManifest for storing activities, services, providers and receivers