added missing library JAR references
Performance improvement: adding only realizable (i.e. type-compatible) callbacks to main method
added missing SLF4j library to classpath
Merge pull request #8 from malaverdiere/merge-develop

Added detection of missing classes directory and missing method bodies
improved call flow function for non-concrete methods
improved test case
fixed issue with alias search and cleaned up the code. If there are multiple aliases generated in a row, now all of them are found.

added some test cases
#1: improved performance for taint tracking for static fields
#2: changed test case to use a more realistic path length
fixed issue with aliasing and arrays
performance improvement + access path length adjustment
#1: improved performance by not triggering a backwards flow for variables that get overwritten anyway
#2: added some assertions
fix for array access and alias search
Performance improvement: Do not trigger backwards analysis for inactive taints which are being processed by the backwards solver anyway
Do not trigger a backwards analysis for a constant value
improved warning message for constructor loops
#1: Performance improvement: Got rid of interim list creation, now directly transforming arrays
#2: No longer propagating binary operations on primitive values in the backwards solver since primitive data types cannot alias anyway
#1: removed unnecessary clone operations to save memory and computation time
#2: cleaned up the code
#1: now only tracking a single abstraction per array and source since we don't distinguish array indices anyway
#2: added a new test case for array aliasing
#1: added result printing function to specific printer
#2: now also printing taint path if available
added more test cases for alias analysis