Software Security Analysis COMP6131 26T2

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