COMP6131 Notices

2024 Recap & 2025

Posted by Yulei Sui Saturday 31 August 2024, 10:15:51 AM, last modified Saturday 31 August 2024, 10:22:24 AM.

The inaugural offering of COMP6131 has ended, and we're pleased to receive very positive feedback from students on the teacher and the course . We will return in T2 2025 and look forward to welcoming new students enrolling next year to explore software security analysis together.

Assignment-3 Marks and Course Concludes

Posted by Yulei Sui Thursday 15 August 2024, 11:02:50 PM.

Hi everyone,

The marks for Assignment 3 are now available in SMS. If you have any questions, please post in the Ed forum or reach out via email.

As our course concludes, I want to thank you for your participation and engagement throughout this term. It has been a pleasure guiding you through the course, and I hope you found it both insightful and rewarding. While our classes have finished, I encourage you to continue building on the knowledge and skills you learned in software analysis and verification as you move forward in your academic or professional journeys. If you'd like to discuss anything further, feel free to drop by my office.

Best regards,
Yulei

Lab-3 Marks Released

Posted by Yulei Sui Friday 09 August 2024, 12:06:20 PM, last modified Friday 09 August 2024, 12:06:36 PM.

Hi everyone,

The marks for Lab Exercise 3 are now out in SMS. If you have any questions, feel free to post in the Ed forum or email us directly. The final Assignment 3 scores will be released next week, and then you'll be all set!

Cheers,

Yulei

Quiz3 Marks Released

Posted by Kaiqi Liang 🥺 Friday 02 August 2024, 11:23:38 AM, last modified Friday 02 August 2024, 06:04:58 PM.

Hi all,

We've just released the quiz3 marking. Webcms doesn't allow multiple correct answers so always check on give for the official result as updated marks might not reflect on webcms. The following are the questions that have multiple correct answers (empty means everyone gets the mark).

{
 'Question 6': ['b', 'd'],
 'Question 14': ['b', 'c', 'd'],
 'Question 16': [],
 'Question 22': [],
 'Question 23': ['b', 'c'],
 'Question 24': ['b'],
}

Assignment-3 and final lecture tomorrow

Posted by Yulei Sui Thursday 01 August 2024, 05:05:17 PM, last modified Thursday 01 August 2024, 08:27:00 PM.

Hi everyone,

For Assignment 3, please do a git pull as we have just updated Assignment-3-Helper.cpp/Assignment-3.h and also uploaded several buffer overflow demo examples which will be helpful for your testing in Assignment-3.

Tomorrow will be the final lecture for this course. I will go through buffer overflow detection with examples. We encourage you to join, as there will be a short Q&A session at the end of the class to answer any questions about Assignment-3, the course, and future research opportunities for students interested in continuing the topic of software analysis and verification.

Cheers,

Yulei

Quiz2 Marks update

Posted by Kaiqi Liang 🥺 Saturday 27 July 2024, 08:28:36 PM.

We've given marks to question 18 (b) (d) and 14 for both answers, since Webcms quizzes doesn't allow multiple correct answers your updated quiz marks can now be found here https://cgi.cse.unsw.edu.au/~give/code/login.php?app=/~give/Student/sturec.php

Assignment-3 Spec and Assignment-2 Marks Released

Posted by Yulei Sui Friday 26 July 2024, 08:31:55 AM.

Hi All,

Assignment-3 has been released and please git pull to download the code template. We will be learning abstract interpretation on SVFIR in today’s lecture.

Marks of Assignment-2 are out. We will go through it in today’s lab.

Yulei

Lab-3 Spec and Lab-2 Marks Released

Posted by Yulei Sui Friday 19 July 2024, 07:18:57 AM.

Hello everyone,

Lab-Exercise-3 has been released and please git pull to download the code template. We will be learning abstract interpretation today.

Marks of Quiz-2 and Lab-2 are out. We will go through them in today’s lab. If you have any questions, feel free to ask t hen.

Yulei

Assignment-2 Spec and Assignment-1 Marks Released

Posted by Yulei Sui Friday 28 June 2024, 08:51:28 AM.

Hello everyone,

Assignment-2 has been released and please git pull to download the code template. We will be learning symbolic execution today and I will explain the connections between Lab-2 and Assignment-2 in today’s class.

Assignment-1 marks are out. We will go through some of the implementation issues in today’s lab. If you have any questions, feel free to ask us then.

Yulei

How to check your lab mark

Posted by Kaiqi Liang 🥺 Friday 21 June 2024, 03:47:13 PM, last modified Saturday 22 June 2024, 01:49:25 PM.

To check your lab marks, please click the Grades icon in the bottom right corner next to your profile on Webcms

Lab-Quiz-2 and Lab-Exercise-2

Posted by Yulei Sui Friday 21 June 2024, 08:49:57 AM.

Hi All,

Quiz-2 and Exercise-2 have been released. Before you start coding, you NEED to do a git pull or docker pull to update your local code templates to the latest version.

Our marks for Quiz-1 and Exercise-1 have been out. We will go through Quiz-1 questions in our today's lab. If you have any questions, feel free to ask us then.

Regards,

Yulei

Assignment-1

Posted by Yulei Sui Friday 07 June 2024, 02:08:34 PM.

Hello everyone,

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

The Zoom recordings for today's lecture and lab will be uploaded and available soon on Moodle/Echo360.

Regards,

Yulei

Recordings and Lab-1

Posted by Yulei Sui Friday 31 May 2024, 04:50:52 PM.

Hello everyone,

Thank you for attending our first lecture and lab. The recordings of the lecture and lab are now available here:

https://webcms3.cse.unsw.edu.au/COMP6131/24T2/reso...

We have also uploaded 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 Wednesday of Week 3.

Cheers,

Yulei

Welcome to course "Software Security Analysis"!

Posted by Yulei Sui Tuesday 20 February 2024, 11:23:27 AM, last modified Thursday 23 May 2024, 12:14:26 PM.

Hello everyone,

This is Yulei Sui, your lecturer for COMP6131. Welcome to our new Software Security Analysis course, an inaugural offering at UNSW. This course aims to equip you with the essential skills and knowledge and develop your own automated code analysis and verification tools!

To better support your learning journey, we encourage you to complete a short pre-course survey before our lecture so that we can better facilitate your learning experience.

https://forms.gle/r1VLFV8pPmdosPFe7

See you all next Friday at 11:00 am in the Old Main Building, Room G31 (K-K15-G31).

Regards,

Yulei