Assignment 2 Python

Run tests

• Run Test Pass the test without any assertion by Test.py.

Submitting Your Work

• Upload Assignment2.py to UNSW WebCMS for your submission when you are finished with this assignment.

Your implementation will be evaluated against X number of our internal tests. If you pass Y tests, you will receive Y/X * 100% marks. 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.py only and there is NO need to modify other files under the Assignment-2 folder

SVF APIs to help with your implementation SVF Z3 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.