Toggle navigation
WebCMS3
Search Courses
Login
COMP6131
26T2
Home
Course Outline
GitHub Repo
Course Forums (Discourse)
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 01/06/2026
Lecture: COMP6131 Course Introduction
Lecture: Introduction to Software Security Analysis
Lab: Programming Practices and Graph Algorithms
Week 2
active from 08/06/2026
Lecture: LLVM, SVFIR and Control-Flows
Lab: Control-Flow Graph
Lab: Constraint Graph
Week 3
active from 15/06/2026
Lecture: Data-Flow and Taint Analysis
Lab: Information Flow Tracking
Week 4
active from 22/06/2026
Lecture: Code Verification and Theorem Prover
Lab: Z3 theorem prover
Week 5
29/06/2026 - 05/07/2026
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
06/07/2026 - 10/07/2026
Lecture: Automated Code Assertion Verification
Back to top
COMP6131 26T2 (Software Security Analysis)
is powered by
WebCMS3
CRICOS Provider No. 00098G
