CIS 547 - Software Analysis
  • Labs
    Overview
    Introduction to Software Analysis The LLVM Framework Random Input Generation Delta Debugging Statistical Debugging Dataflow Analysis Pointer Analysis Constraint-Based Analysis Dynamic Symbolic Execution
  • Lectures
    Overview
    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
  • Schedule
  • Staff

Course Staff

Dr. Mayur Naik

Dr. Mayur Naik
Instructor
mhnaik @ seas

2022-fall
Harsh Parekh

Harsh Parekh
Head TA
hpar @ seas

Brendan

Brendan
TA
masseybr @ seas

Nathan Duddles

Nathan Duddles
TA
nduddles @ seas

Rob Stanton

Rob Stanton
TA
rstant @ seas

2022-summer
Harsh Parekh

Harsh Parekh
Head TA
hpar @ seas

Josh Hanson

Josh Hanson
TA
jmhanson @ seas

Rob Stanton

Rob Stanton
TA
rstant @ seas

Brendan

Brendan
TA
masseybr @ seas

Nathan Duddles

Nathan Duddles
TA
nduddles @ seas

2021-fall
Harsh Parekh

Harsh Parekh
Head TA
hpar @ seas