Assignment 3

Assignment-3 folder layout

$tree Assignment-3
|-- Assignment-3.cpp
|-- Assignment-3.h
|-- CMakeLists.txt
|-- Test3.cpp
`-- testcase
    |-- bc
    |   |-- CI-global.ll
    |   `-- CI-local.ll
    `-- src
        |-- CI-global.c
        `-- CI-local.c

1. Get the latest assignment-3 code template

* Before coding, please type cd $HOME/SVF-Teaching and git pull in your terminal to make sure you always have the latest version of the code template before each assignment.

2. Assignment 3 task

1. Implement SolveWorklist methods of class AndersenPTA in Assignment-3.cpp
2. Finish the uncompleted code fragments in processAllAddr in Assignment-3.cpp
3. Pass the test without any assertion by Test3.cpp