Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
CIS 5470 - Software Analysis
Home
Labs
Lab 1: Introduction to Software Analysis
Lab 2: The LLVM Framework
Lab 3: Random Input Generation
Lab 4: Delta Debugging
Lab 5: Statistical Debugging
Lab 6: Dataflow Analysis
Lab 7: Pointer Analysis
Lab 8: Constraint-Based Analysis
Lab 9: Dynamic Symbolic Execution
Lectures
Introduction to Software Analysis
The LLVM Framework
Software Specifications
Random Testing
Delta Debugging
Statistical Debugging
Dataflow Analysis - Part I
Dataflow Analysis - Part II
Pointer Analysis
Constraint-Based Analysis
Automated Test Generation
Type Systems - Part I
Type Systems - Part II
Dynamic Symbolic Execution
Resources
Course VM Instructions
A Whirlwind Tour of C++
Program Abstractions
Ed Discussion
Canvas
Gradescope
Labs
Lab assignments and materials for the course.
Table of contents
Lab 1: Introduction to Software Analysis
Lab 2: The LLVM Framework
Lab 3: Random Input Generation
Lab 4: Delta Debugging
Lab 5: Statistical Debugging
Lab 6: Dataflow Analysis
Lab 7: Pointer Analysis
Lab 8: Constraint-Based Analysis
Lab 9: Dynamic Symbolic Execution