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
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