Assignment 2

$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

0. Assignment-2

• You are required to finish the code in Assignment-2.cpp

1. ENV setup

• To make sure you have updated to the latest assignment-2 requirements: please input git pull in container cmd under the SVF-teaching directory

2. Dot file visualisation

2.1 VSCode Graphviz(dot) Interactive Preview extensions

2.2 Call out graph visualisation

• Open the dot file in /Assignment-2/testcase/dot/icfg_test1.dot which is our ICFG and call out the command palette

• Enter Graphviz and select `Interactive Preview (beside)

• You will see the ICFG on the right hand side