added a problematic test case for aliasing
seems to work and to be acceptably fast, but we still have some stability problem as some test cases sometimes fail and sometimes succeed - seems to depend on timing
a more stable version
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into PathContextSensitivity
Fixed a typing issue that occurred when analyzing the LinkedIn app: The backwards solver did not apply type information contained in casts
Do not store summaries for zero d1 facts
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into PathContextSensitivity
also propagate types on method calls
fix for the fix
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into PathContextSensitivity
fixed handling of "doPrivileged" calls
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into PathContextSensitivity
context-sensitive path analysis now works
performance improvements
fixed a problem with neighbors on the abstraction reaching the sink and extended the test case correspondingly
removed debugging output
removed a case of unnecessary cloning and got rid of the global lock variable
removed the apparently unnecessary abstraction set on the stack
code cleanup
lazy allocation of call stack