Adding alias checker to validate the correctness of your pointer analysis

(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