(1) added type checking for static fields
(2) fixed a typing problem in the backwards solver
(3) added some test cases
got rid of an unnecessary loop
added more type checking
fix for NPE
not saving non-merge points to jumpFn any more
fix for merge point check
narf
some restructuring in the backwards solver and some additional test cases
removed some apparently unnecessary code and fixed a threading issue
reverted a commit that was apparently unsound
(1) re-enabled merge point checking
(2) added an early turnaround for the alias solver
introduced an optional approximation for circular access paths with inner classes. Somewhat useful, but still far from an actual solution
fixed an assertion that was way too coarse-grained
yet another assertion problem
fix for dumb NPE
first (and still quite unstable) preview of some new solver features
(1) Fix for path propagation along neighborhood edges
(2) decoupled path construction algorithms using a factory
(3) removed a debugging loop from a test case
code cleanup & optimistic thread locking
fixed a bunch of bugs and and made the reduction of recursive access paths optional
added a missing class