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 TCF: Course: 0.96 (institute mean: 0.81) Instructor: 0.99 (institute mean: 0.84) Full Report

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 -- +10 days EndSem 20 Nov 21 22 -- +10 days Slot: G (Monday 12, Wednesday 5, Thursday 10, Friday 9) Venue: CS26 TAs: Abdun, Robert, Anish, Adityan 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 Fernando Pereira's lecture on Lattice (all lectures) 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 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 22 EndSem at 10:00 in CS26

Guest Lecture on LLVM Backend by Sanjai Mani