Giters

SVF-tools / Test-Suite

PTABen: Micro-benchmark Suite for Pointer Analysis

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

what's the SVF command option for path-sensitive test cases

KunPengRen opened this issue · comments

commented

I find the readme document lacking the option of path-sensitive.
Does SVF support path-sensitive?

commented

Not at this stage.

commented

Thanks for your reply.
I still have a doubt that:
I run the path_tests test with option "wpa -ander -stat=false", but the result shows many tests are failed. Result in below:

5% tests passed, 21 tests failed out of 22

Total Test time (real) =   3.25 sec

The following tests FAILED:
     1 - path_tests/path1.c (OTHER_FAULT)
     2 - path_tests/path10.c (OTHER_FAULT)
     3 - path_tests/path11.c (OTHER_FAULT)
     4 - path_tests/path12.c (OTHER_FAULT)
     5 - path_tests/path13.c (OTHER_FAULT)
     6 - path_tests/path14.c (OTHER_FAULT)
     7 - path_tests/path15.c (OTHER_FAULT)
     8 - path_tests/path16.c (OTHER_FAULT)
     9 - path_tests/path17.c (OTHER_FAULT)
    10 - path_tests/path18.c (OTHER_FAULT)
    11 - path_tests/path19.c (OTHER_FAULT)
    12 - path_tests/path2.c (OTHER_FAULT)
    13 - path_tests/path20.c (OTHER_FAULT)
    14 - path_tests/path21.c (OTHER_FAULT)
    16 - path_tests/path3.c (OTHER_FAULT)
    17 - path_tests/path4.c (OTHER_FAULT)
    18 - path_tests/path5.c (OTHER_FAULT)
    19 - path_tests/path6.c (OTHER_FAULT)
    20 - path_tests/path7.c (OTHER_FAULT)
    21 - path_tests/path8.c (OTHER_FAULT)
    22 - path_tests/path9.c (OTHER_FAULT)

Could you tell the result whether correct?

commented

We do not have a path-sensitive analysis available in SVF yet.