GitHub repository: Jeffrey-J-Ma/Test-Suite
Primary language: C
Description: PTABen: Micro-benchmark Suite for Pointer Analysis