SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

SVF-tools/Test-Suite Issues

Failing Test Suite
Updated 2 years ago13
The assertion MUSTALIAS(m, n) in basic_c_test\CI-funptr.c should be MAYALIAS only?
Updated 3 years ago1
The assertion MUSTALIAS(d,&obj) in cs_test/cs9.c should be MAYALIAS?
Updated 3 years ago1
what's the SVF command option for path-sensitive test cases
Updated 3 years ago3
The EXPECTEDFAIL_NOALIAS in `cs_tests/recur9.c` should be NOALIAS?
Updated 3 years ago7
Non-terminating recursive call before assertions in `cs_tests/recur10.c`
Updated 3 years ago6
Two MAYALIAS in `cs_tests/recur8.c` should be NOALIAS?
Updated 3 years ago3
Assertions in cs_tests/recur4.c cannot be reachable due to non-terminating function call?
Updated 4 years ago2
The last assertion of `cs_tests/recur5.c` should be NOALIAS?
Updated 4 years ago2
The second assertion MAYALIAS(z, &obj1) of `cs_tests/cs8.c` should be NOALIAS?
Updated 4 years ago1
Two MAYALIAS in `cs_tests/recur8.c` should be NOALIAS?
Closed 4 years ago1
Assertions in the non-terminating case of `cs_tests/recur6.c` could not be reached
Updated 4 years ago
Two MUSTALIAS assertions in `path_tests/path1.c` could not hold together?
Updated 4 years ago1
Possile incorrect assertion in `cs_tests/cs21.c`?
Updated 4 years ago3
Using Test-suite to test other client static analyses algorithms.
Updated 4 years ago2
Cannot find `runtest.sh`?
Updated 4 years ago3
tests failed
Closed 4 years ago15
[question] Expected SVF results / Analysis type/settings to use?
Closed 7 years ago3
[docs] mention running SVF's "setup.sh" or similar for required environment variables
Closed 7 years ago2