truly multithreaded version of the data flow analysis
1) refactorings
2) added a simplified alias search for conditionally methods
added a previously disabled test case
added missing library reference to JUnit4 in eclipse configuration file
1) added timeouts to the JUnit tests
2) no longer propagating the postdominator stack in to callees
3) abstractions with empty access paths are now propagated over the call-to-return edges
some further optimizations for implicit flows, reduced abstraction size and dependencies once more
added a missing class
fixed InFunctionTests
fixed a potential deadlock condition
1) reduced memory size
2) added remote debugging flags
narf
1) increased timeout for test cases
2) debug version of the build.xml file
real build.xml
CI Server Test
1) made maximum number of threads configurable
2) fixed a clone() bug in SourceContextAndPath
removed commented-out code
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into develop
some more logging, some more assertions, some code simplifications, and a horrible hack to get us out of the worst if the executor runs into strange behavior (as it does on Jenkins, but nowhere else...)
narf
Additional information on skipped body