Software Security Analysis COMP6131 26T2

Assignment-3 spec

Posted by Yulei Sui Friday 31 July 2026, 11:40:44 AM, last modified Saturday 01 August 2026, 06:47:46 PM.

Hi all,

The spec and starter code for our final assignment, Assignment 3, have been released. Feel free to get started. The assignment is due at 23:59 on Wednesday of Week 11.

Please run git pull to obtain the latest starter code in your course repository. If you are using Python, also update <code>pysvf by running pip install pysvf -U .

Assignment 2 marks will be released early next week.

Regards,
Yulei

Quiz-2 and Exercise-2

Posted by Yulei Sui Friday 24 July 2026, 01:29:27 PM, last modified Friday 24 July 2026, 01:38:02 PM.

Hi all,

Marks for Quiz 2 and Exercise 2 are out. Please check them on `sms`. We will go through the Quiz 2 questions and discuss common issues in Exercise 2 during today’s lab.

The specs for Quiz 3 and Exercise 3 have also been released. Both are due by 11:59 pm on Wednesday of Week 10, and feel free to start working on them this week.

Regards,
Yulei

Lab-Exercise-2 and Assignment-2 starter code

Posted by Yulei Sui Tuesday 07 July 2026, 05:49:26 PM, last modified Wednesday 08 July 2026, 09:22:35 AM.

Hi all,

If you are implementing Lab 2 and Assignment 2 in Python, please run git pull to get the latest fixes, including updates for object address types and context naming .

Note that these places are not where you should implement your code, but the updates are useful for debugging purposes.

Regards,

Yulei