COMP6131 Notices

Assignment-2 marks released

Posted by Yulei Sui Wednesday 05 August 2026, 10:12:42 AM, last modified Wednesday 05 August 2026, 10:13:19 AM.

Hi all,

Assignment 2 marks have been released; please check them on give . We will go through the common issues in the lab this Friday. If you have any questions about your marks, please ask in class or email the course mailing list.

This week’s lecture will be the final one, covering bug detection using abstract interpretation. The Friday lab will also be a good opportunity to ask any questions you may have about the Assignment 3 spec.

Regards,

Yulei

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

Assignment-1 marks and Assignment-2 spec

Posted by Yulei Sui Monday 06 July 2026, 10:07:58 AM.

Hi everyone,

The marks for Assignment 1 have been released. The Assignment 2 spec and submission link are now open, and the due date is Wednesday (23:59), Week 8.

Yulei

Quiz-2 and Exercise-2

Posted by Yulei Sui Monday 29 June 2026, 10:19:22 AM.

Hello all,

Quiz-2 and Exercise-2 have been released, and the due date is 23:59 on Wednesday, Week 7.

Yulei

Marks for Quiz-1 and Exericse-1 Released

Posted by Yulei Sui Friday 26 June 2026, 11:00:44 AM, last modified Friday 26 June 2026, 11:02:15 AM.

Hello all,

The marks have been released, and we will go through the Quiz-1 solutions and Exercise-1 issues in today’s lab.

In today’s lecture, we will introduce symbolic execution and Z3, and prepare for Quiz-2 and Exercise-2. See you soon.

Regards,
Yulei

Assignment-1

Posted by Yulei Sui Monday 15 June 2026, 09:57:10 AM.

Hi all,

Assignment-1 has been released and is due Wednesday 23:59, Week 4. You can choose either the C++ or Python implementation; no need to do both.

We will cover data-dependence (Andersen’s analysis) and taint analysis on code graphs, in this Friday’s class.

Regards,
Yulei

Quiz-1 and Exericise-1

Posted by Yulei Sui Tuesday 09 June 2026, 11:14:08 AM.

Hi All,

Quiz-1 and Exercise-1 have been released. The due date is Wednesday, Week 3, at 23:59.

You are welcome to have a look and start early if you wish. Some relevant topics, including LLVM IR, control flow, and Andersen's analysis, will be covered in this Friday’s lecture and lab.

Regards,
Yulei

Welcome to COMP6131!

Posted by Yulei Sui Monday 01 June 2026, 10:23:11 AM, last modified Tuesday 02 June 2026, 03:17:43 PM.

Hello everyone,

Welcome to our Software Security Analysis course!

This course aims to equip you with essential skills and knowledge to develop your own automated code analysis and verification tools. To help us better support your learning journey, please complete this short pre-course survey before our first lecture:

👉 https://forms.gle/Ai6P1fvrHsqXH3276

Looking forward to seeing you this Friday (5 June) at 2:00 pm in Electrical Engineering G23 (K-G17-G23) .
The lab session will begin at 4 :00 pm in NS Global 127 (Webster 127) (K-G14-127) .

Best regards,

Yulei