Enable stricter SVF-SE check - Githubissues

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

69 stars 38 forks source link

Enable stricter SVF-SE check #93

Closed MartinNowack closed 1 year ago