Unconditionally generating alias-based taints (e.g. deriving them from the zero fact) if no caller information is available and we are propagating past seeds. This should be sound since the taints themselves are also unconditional in such cases.
ignoring two test suites: FutureTests contains test cases for features which are not yet supported anyway (hence the name "future tests"), and HTTPTests seems to just bloat the memory (I'll further investigate this issue)
fixed some build properties
making sure to remove garbage
fixed build script
and again (build config)...
fixed test config for ant
fixed issue with null zero abstractions, removed some unnecessary clone() operations
fixed entry point creator bug: Generated main() methods now contain a "return" statement
fixed source path for SecuriBench Micro test cases in ant
fixed a test case
cleaned up the code by removing an outdated method
marked generated main method as static
no longer propagating facts into non-concrete methods. This fixes issues in which the taint wrapper did not handle a certain method, and thus did not report exclusiveness for it either, but still there was no implementation. FlowDroid then tried to propagate the taint into a phantom method and failed with an exception.
fixed a NullPointerException that occurred when the return edge leaving the main method was processed. This edge has a null call site and we thus simply return an empty taint set.
restricted test cases to our own JUnit tests and gave the test runner a bit more memory
Performance optimization: No longer performing a constant propagation over all method bodies
fixed an issue with sinks on function returns
ignoring broken test case until we know whether this is supported or not
.