added CHA support for those who like it quick and dirty
removed debugging output
fixed automatic callgraph algorithm selection
memory improvements
even more performance improvements + some code cleanup
performance improvements
performance yet again
added a callgraph option to explicitly enable SPARK
cleaned up the abstraction
performance improvement: avoiding unnecessary list construction
changes required due to type generalization in Heros
performance improvements and code cleanup
narf
narf
Improved linking of jump predecessors: If a.foo is tainted and a.m() is called which does not change anything on the a.foo taint, the new (equal) a.foo taint is discarded and the old one before entering the method is instead propagated onwards, allowing the method call to be "cut out" from the predecessor tree