CS6843: Program Analysis

Course description Moodle Install from LLVM website Education Aids Scribes Slides Overview and Logistics Data Flow Analysis Pointer Analysis: one, two, three, four Shape Analysis Dynamic Analysis Parallelism Analysis Slicing Security Analysis Read about Honor Code from Stanford

Prerequisites: UG Compilers CS3300 Structure: 3-1-0-0-8-12 Evaluation: 60 assignments + 20 midsem + 20 endsem Deadlines Eval Item Marks Student TA Instructor A1 5 Aug 10 +10 days -- A2 15 Sep 7 +10 days -- A3 20 Oct 2 +10 days -- A4/CP 20 Nov 2 +10 days -- MidSem 20 Sep 17/18/19 -- +10 days EndSem 20 Nov 21 -- +10 days Slot: G (Monday 12, Wednesday 5, Thursday 10, Friday 9) Venue: CS26 TAs: Robert, ... Course Faculty: Rupesh Nasre.

Month Week Topic Comments July 1 Introduction and Logistics, DFA Katherine McKinley's slides 1, Monica Lam's lecture 1 August 2 DFA Katherine McKinley's slides 2, Monica Lam's lecture 2 and lecture 3 3 DFA 4 PTA Andersen's thesis, Steensgaard's paper 5 PTA September 6 PTA Prioritized pointer analysis, Dominator-based pointer analysis 7 PTA Parallel Pointer Analysis, class at 08:00 on 22 8 SHA Ghiya+Hendren's shape analysis paper, MidSem 9 SHA October 10 DYN Ball-Larus Path Profiling, Pre-Post Conditions one, two 11 PAR Notes 12 PAR 13 SLI Slicing paper 14 SLI November 15 SEC November 21 EndSem at 09:00 in CS26