COMP6131 Notices

Lab-3 and Assignment-3 Marks Released

Posted by Yulei Sui Thursday 21 August 2025, 09:28:33 AM.

Hello everyone,

The marks are now available. Please check them on `give`.

Thank you for your participation and engagement this term. It has been a pleasure guiding you through the course, and I hope you found the experience both valuable and rewarding. I encourage you to continue building on the knowledge and skills you have gained here, and I wish you the very best for the remainder of your studies and beyond.

Best Regards,

Yulei

Assignment-2 marks out and Assignment-3 spec released

Posted by Yulei Sui Thursday 31 July 2025, 09:57:40 AM.

Hi everyone,

Assignment 2 marks are now available. Please check them on `give`, and we will go through any issues in today’s class and let your marker know if any questions.

The Assignment 3 spec and code template have been released (due Tuesday, 11:59 PM, Week 11). Please run `git pull` to get the latest template. If you are implementing in Python, use the following command to update pysvf:

`python3 -m pip install pysvf -U -i https://test.pypi.org/simple`

See you soon today!

Cheers,

Yulei

Lab-2 marks are out and Lab-3 spec released

Posted by Yulei Sui Thursday 24 July 2025, 10:18:31 AM, last modified Thursday 24 July 2025, 08:30:33 PM.

Hi everyone,

Lab-2 quiz and exercise marks are out. We will go through issues in today's class. Lab-3 spec has been released and is due on Tuesday, 23:59 PM, Week 10. See you soon today!

Cheers,

Yulei

Assignment-1 Marks out and Assignment-2 Spec Released

Posted by Yulei Sui Thursday 03 July 2025, 08:47:47 AM, last modified Thursday 03 July 2025, 08:48:35 AM.

Hi everyone,

Assignment-1 marks are out. Check them on cse give . We will go through issues in today's class. Assignment-2 spec has been released and is due on Tuesday, 23:59 PM, Week 8. See you today!

Cheers,

Yulei

Severe Weather Warning and Helper Session

Posted by Yulei Sui Monday 30 June 2025, 07:28:25 PM.

Hello everyone,

The university has issued a severe weather warning for Sydney on Tuesday, 1st July. As a result, we will move tomorrow’s helper session (11:00am-12:00) from the CSE Ground Floor to online via the Zoom link below:

🔗 https://unsw.zoom.us/j/3364970964?omn=86916994421

Feel free to join online and our tutors will be available to answer your questions.

Please note this change applies only to Tuesday, 1st July. Helper sessions will resume in person for the following weeks.

Cheers,
Yulei

Quiz-2 and Exercise-2 released

Posted by Yulei Sui Thursday 26 June 2025, 01:00:12 PM, last modified Thursday 26 June 2025, 07:28:36 PM.

Hi All,

Quiz-2 and Exercise-2 have been released (due date is Tuesday, 23:59, Week 7). Before you start coding, please do a git pull or docker pull to update your local code templates.

Regards,

Yulei

Quiz-1 and Exercise-1 marks released

Posted by Yulei Sui Wednesday 25 June 2025, 11:23:33 PM.

Hi everyone,

Our marks for Quiz-1 and Exercise-1 have been out. We will go through Quiz-1 questions and Exercise-1 in our class tomorrow (Thursday). If you have any questions, feel free to ask us then.

Regards,

Yulei

Assignment-1

Posted by Yulei Sui Thursday 12 June 2025, 02:25:00 PM.

Hello everyone,

Assignment-1 has been released, and you may wish to start working on it. The due date is 23:59, Tuesday, Week 4.

The recordings for today's lecture/lab have been uploaded.

Regards,

Yulei

Recordings and Lab-1

Posted by Yulei Sui Thursday 05 June 2025, 03:17:08 PM.

Hello everyone,

Thank you for attending our first class. Hope you enjoyed your first week of lecture/lab. The recordings of the lecture and lab will be available here soon:

We will also upload the Zoom version of the lecture recording in case the Echo360 version does not include the slides.

Lab-Quiz-1 and Lab-Exercise-1 have been released, and the submission deadline is 23:59 on Tuesday of Week 3.

Cheers,

Yulei

Welcome to COMP6131!

Posted by Yulei Sui Monday 02 June 2025, 10:19:41 AM, last modified Monday 02 June 2025, 10:26:58 AM.

Hello everyone,

This is Yulei Sui, your lecturer for COMP6131. 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/rqNe3Wp6sS16RCLq9

Looking forward to seeing you this Thursday at 10:30 am in E19 Patricia O’Shane G02 (K-E19-G02) .
The lab session will begin at 1:00 pm in Civil Engineering 101 (K-H20-101) .

Best regards,

Yulei