PointerBench
PointerBench copied to clipboard
Possibly wrong ground truth in SuperClasses1
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