Home

Software Security Analysis Course Outline

#	Slides	Reading Material	Lab Exercise	Assignment
1	Lecture: Course Overview and Introduction Lab: C++ programming practices and vulnerabilities	Configure IDE	Lab-Exercise-1
2	Lecture: LLVM, SVFIR and Control-Flow Lab: Code Graphs, Control-Flow Reachability	SVF-IR SVF APIs		Assignment-1
3	Lecture: Data-Flow, Pointer Aliasing and Taint Tracking Lab: Andersen Analysis, Constraints Solving
4	Lecture: Code Verification, Predicate Logic Lab: z3 theorem prover	Z3 Constraints	Lab-Exercise-2
5	Lecture: Automated Theorem Proving Lab: Manual Assertion-based Verification using Z3	SVF Z3 APIs		Assignment-2
6	Study Break
7	Lecture: Code Verification using Symbolic Execution Lab: Automated Code Assertion Verification using Z3
8	Lecture: Abstract Interpretation Foundations Lab: Basic Concepts and Examples		Lab-Exercise-3	Assignment-3
9	Lecture: Code Verification using Abstract Interpretation Lab: Manual Abstract Interpretation	SVF AE APIs
10	Lecture: Buffer Overflow Detection using Abstract Interpretation Lab: Implementation and testing