Toggle navigation
WebCMS3
Search Courses
Login
COMP6131
25T2
Home
Course Outline
Course Forums (Discourse)
GitHub Repo
Timetable
Course Work
Lectures
Lab-1
Lab-2
Lab-3
Assignment-1
Assignment-2
Assignment-3
Assessments
Activities
Toggle Menu
Resources
Lectures
Lectures
Week 1
active from 02/06/2025
Lecture: COMP6131 Course Introduction
Lecture: Introduction to Software Security Analysis
Lab: Programming Practices and Graph Algorithms
Week 2
active from 09/06/2025
Lecture: LLVM, SVFIR and Control-Flows
Lab: Code Graphs and Control-Flow Reachability
Week 3
active from 16/06/2025
Lecture: Data-Flow and Taint Analysis
Lab: Information Flow Tracking
Week 4
active from 23/06/2025
Lecture: Code Verification and Theorem Prover
Lab: Z3 theorem prover
Week 5
30/06/2025 - 06/07/2025
Lecture: Code Verification Using Symbolic Execution
Lab: Assertion-based Verification using Z3
Week 6: UNSW Study break
There are no resources under this heading.
Week 7
active
14/07/2025 - 18/07/2025
Lecture: Code Verification using Symbolic Execution
Lab: Assertion-based Verification using Z3
Back to top
COMP6131 25T2 (Software Security Analysis)
is powered by
WebCMS3
CRICOS Provider No. 00098G