Assignment 2

Assignment-2 folder layout

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

Make sure to switch your program to assign-2 before coding.

1. Assignment 2 task

1. Implement dfs, printICFGPath 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. Your implementation will be evaluated against our 10 internal tests. You will get full marks if your code can pass them all. Unfortunately, our internal tests are publicly unavailable. Here, we only provided limited test cases in Test2.cpp. 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.

2. Debug and visualize ICFG

Visualize ICFG by following here

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