search

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis
69 stars 38 forks source link

test9.c is added to increase the code coverage of External CallStmt. #112

Closed shuangxiangkan closed 1 year ago