made root calculation more precise in case of incremental analyses
added a test case tainting a field with data from two different sources
narf
Development version of a new path tracking algorithm. Handle with care, there might be dragons
narf
fix for new path algo
narf
made caching less aggressive
Modularized the aliasing algorithms. You can now add your own mechanisms here to experiment with the tradeoffs between soundness, precision and performance. Not that the PTS-based aliasing strategy is not finished yet, so we don't guarantee anything about it (not even that it does not kill your cat ^^)
pts-based aliasing strategy now works, but is still awfully slow
changed entry point creator to filter callback methods from callback list
cleaned up aliasing semantics quite a bit, but still not happy with the bulk nature of the pts-based strategy
1) no longer propagating zero abstractions
2) now also calculating aliases for source assignments
applied the zero fact change to the other code locations that deal with sources
narf
Additional information on skipped body
Added EasyTaintWrapper read from InputStream
Added SBT idea
ignore all .class files
Cleanup and version fixes of build.sbt