PointerBench
PointerBench copied to clipboard
A points-to and alias analysis benchmark suite
Results
1
PointerBench issues
Sort by
recently updated
recently updated
newest added
mustAlias seems to be "b,h" instead of "b,a". Further updates might be done, for other ground truth attributes. https://github.com/secure-software-engineering/PointerBench/blob/master/src/generalJava/SuperClasses1.java