Assignment 2 Python

Run tests

• Run ctest -R "ass2-py/" to test all the test cases for Assignment 2.

Submitting Your Work

• Upload Assignment_2.py to UNSW WebCMS for your submission when you are finished with this assignment.
• You can also submit Assignment_2.py using give, you may find this guide helpful.

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.