COMP6131 Notices

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