This is an old revision of the document!
Tentative Schedule
- Week 1 (1/9)
- IntroductionSlides
- Program RepresentationSlides
- Reading: Book Chapters
- Week 2 (1/16)
- Dynamic Program Analysis Primitives - TracingSlides
- Student Presentation (Weihang Wang):
- Week 3 (1/23)
- ProfilingSlides
- Reading:Efficient Path Profiling
- Student Presentation (Priyam Biswas):
- Week 4 (1/30)
- Dynamic SlicingSlides
- Student Presentation (Charitha Saumya)
- Week 5 (2/6)
- Week 6 (2/13)
- Week 7 (2/20)
- Static program analysis
- Suggested Reading: Dragon book 9.1-9.3.3
- Student Presentation (Yingqi Liu)
- Week 8 (2/27)
- Alias analysis
- Student Presentation (Chris Doak)
- Week 9 (3/6, midterm on 3/9)
- Data flow analysis framework
- Midterm
- Week 10 (3/13, spring break, no class)
- Week 11 (3/20)
- Symbolic analysishttp://www.cs.purdue.edu/homes/xyzhang/spring17/8-symbolic.pdf
- Propositional LogicSlides
- Reading: Chapter one of Logic in Computer Science.
- SAT solvingSlides
- Model Checking C ProgramsSlides
- Reading:CBMC.
- Suggested Reading:SMT solver
- Student Presentation ()
- Week 12 (3/27)
- Model Checking Java ProgramsSlides
- Student Presentation (Habiba Farrukh)
- Week 13 (4/3)
- JPF-Predicate AbstractionSlides
- Reading:Predicate Abstraction
- Suggested Reading:Lazy Abstraction
- JPF-Predicate Abstraction
- Student Presentation (Sudharshan Viswanathan)
- Week 14 (4/10)
-
- Reading: Concolic Testing
- Student Presentation (Yuseok Jeon)
-
- Week 15 (4/17)
- Week 16 (4/24)
- Review
- Project Demo
