Assignment 2

Assignment-2 folder layout

$tree Assignment-2
├── Assignment-2.cpp
├── Assignment-2.h
├── CMakeLists.txt
├── test-exes
│   └── Test.cpp
└── testcase
    ├── bc
    │   ├── test1.ll
    │   ├── test2.ll
    │   └── test3.ll
    └── src
        ├── test1.c
        ├── test2.c
        └── test3.c

1. Get the latest assignment-2 code template

Make sure to switch your program to ass2 before coding.

2. Assignment 2 task

1. Implement DFS methods of class ICFGTraversal in Assignment-2.cpp.
2. Pass the tests without any assertion using test-exes/Test.cpp.
3. Submit Assignment-2.cpp to canvas. Your implementation will be evaluated against our 10 internal tests, which are not publicly available. You are encouraged to add more test cases by yourself to validate the correctness of your implementation.

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

SVF APIs to help with your implementation SVF CPP API.

3. Debug and visualize ICFG

Visualize ICFG by following here.

We have also provided three test cases under testcase/src and their corresponding LLVM bc files under testcase/bc. You are encouraged to add more test cases by yourself to validate the correctness of your implementation.