Assignment 2

Assignment-2 folder layout

$tree Assignment-2
├── Assignment-2.cpp
├── Assignment-2.h
├── CMakeLists.txt
├── Test2.h
└── testcase
    ├── bc
    │   ├── test1.ll
    │   └── test2.ll
    ├── dot
    │   ├── icfg_test1.dot
    │   └── icfg_test2.dot
    └── src
        ├── test1.c
        └── test2.c

1. Get the latest assignment-2 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.

*If you are failed to git pull the latest code due to the modification of the code, you may use git stash to store your code then git pull again. Then if you want to pop your original code back, please enter git stash pop

2. Assignment 2 task

1. Implement DFS methods of class ICFGTraversal in Assignment-2.cpp
2. Pass the test without any assertion by Test2.cpp
3. Submit Assignment-2.cpp to canvas

*You will be working on Assignment-2.cpp only and there is NO need to modify other files under the Assignment-2 folder

3. Debug and visualize ICFG

Please refer to here