Adding alias checker to validate the correctness of your pointer analysis - SVF-tools/SVF GitHub Wiki

(1) Please follow PTABen to design and implement your test cases.

(2) To validate the correctness of your analysis, you need to add a stub function e.g., "MAYALIAS(p,q) or NOALIAS(p,q)" at a particular program point in your test case file (e.g., example.c) according to the API function aliascheck.h

(3) Compile your C/C++ test case into llvm bc code

clang -c -emit-llvm -g example.c -o example.bc

(4) Run your analysis. It will dump colored texts to show either success or failure for testing your analysis against this test case.

wpa -fspta example.bc