Assignment 2

Assignment-2 folder layout

$tree Assignment-2
├── Assignment-2.cpp
├── Assignment-2.h
├── CMakeLists.txt
└── Tests
    ├── CMakeLists.txt
    ├── test-sse.cpp
    └── testcases
        └── sse
            ├── test1.ll
            ├── test1.c
            ├── test2.ll
            ├── test2.c
            ├── test3.ll
            └── test3.c

1. Get the latest assignment-2 code template

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

If git pull fails due to the conflict with your local changes, type git stash to store your current code in a temporal branch and type git pull again. If you want to retrieve your code back, type git stash pop.

Make sure to switch your program to ass2 before coding.

2. Assignment 2 task

1. Implement dfs, printICFGPath methods of class ICFGTraversal in Assignment-2.cpp
2. Run ctest -R ass2 -VV Pass the test without any assertion by test-sse.cpp.
3. Upload Assignment-2.cpp to UNSW WebCMS for your submission when you are finished with this assignment. Your implementation will be evaluated against our 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 3 test cases under Assignment-2/Tests/testcases/sse . 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. Configuration, Debug and visualize ICFG

To enable debugging and running, switch your executable by setting the program and args fields as described here or follow the below screenshot.

Visualize ICFG by following here