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

[KunPengRen]

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

[yuleisui]

Not at this stage.

[KunPengRen]

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?

[yuleisui]

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