COMP6131 Notices

Consultation Hour: Tuesday, 25 August (11:00–12:00)

Posted by Yulei Sui Monday 24 August 2026, 11:46:28 AM.

Hi all,

We will have a final consultation hour with our tutor/marker tomorrow at CSE Help, K17 ground floor, Tuesday, August 25, from 11:00–12:00 . If you have any questions about Assignment 3 or would like feedback on your work, this will be a good (also final) opportunity to discuss them.

Regards,

Yulei

Assignment-3 Marks Released

Posted by Yulei Sui Monday 24 August 2026, 11:17:37 AM, last modified Monday 24 August 2026, 11:18:04 AM.

Hi all,

Please use ` give` to check your final marks.

If you have any questions regarding your marks, please email the course mailing list by the end of this Thursday . Requests received after this date may not be considered, as we will need to finalise and upload the course marks shortly afterwards.

If you enjoyed the course and would like to stay involved next year, we welcome you to consider joining the teaching team as a paid tutor. Please feel free to contact the course mailing list if you are interested. We also encourage interested students to consider participating in international software verification competitions.

With the final assignment completed, the course has now concluded. Thank you all for your participation throughout the term. We wish you all the best with the remainder of your studies and hope the knowledge and skills gained from this course will support your future studies and careers.

All the best!

Yulei

Lab-3 marks released

Posted by Yulei Sui Friday 14 August 2026, 11:39:35 AM.

Hi all,

Quiz-3 and Exercise-3 marks have been released; please check them on give . If you have any questions about your marks or need help, please email the course mailing list.

Regards,

Yulei

Assignment-3: Python Implementation

Posted by Yulei Sui Thursday 06 August 2026, 05:31:29 PM.

Hi all,

If you are using Python for Assignment 3, please complete both of the following updates to ensure that pysvf and AEHelper.py in the starter code are up to date and to avoid potential API errors:

1. Update pysvf using: pip install pysvf -U If the package cannot be updated successfully in your local environment, try: pip install -U pysvf --force-reinstall
2. Run git pull or docker pull to obtain the latest version of AEHelper.py , which has been updated accordingly.

Please ensure that both updates are completed before continuing your implementation.

Regards,
Yulei

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