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
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into PathContextSensitivity
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into PathContextSensitivity
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
fixed inconsistency in d1 values when computing return flow functions - this is now always the d1 value of the caller
code cleanup
removed Java warnings
added a context-insensitive path builder variant
lazy creation of path list