PointerBench
PointerBench copied to clipboard
secure-software-engineering
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
Metadata
34
Stars
7
Forks
Watchers
Owner
Metadata
A points-to and alias analysis benchmark suite