Data-Flow Analysis

Programme

• Introduction to Static Analysis (PDF):
  ( Keywords: Undecidability, Approximation, Quick Tour of Everything, Control-Flow, Data-Flow, Confluence )
  • ( Wednesday August 04 at 14:00 - 17:00 )

• "Science-Fiction Math" (PDF):
  ( Keywords: Relations, Partial-Orders, Lattices, Monotonicity, Transfer Functions, Fixed-Points, Solving Fixed-Point Equations )
  • ( Monday August 09 at 14:00 - 17:00 )

• Putting it all together (PDF):
  ( Keywords: Designing Data-Flow Analyses )
  • ( Wednesday August 11 at 14:00 - 17:00 )

Recommended Material

• How to Solve Fixed-Point Equations
  • ( Claus Brabrand )
• Exercises on Data-Flow Analysis
  • ( Claus Brabrand )

Background Material

• Relations as Least Fixed-Points of Interence Systems
  • ( Claus Brabrand )
• Lecture Notes on Static Analysis
  • ( Michael Schwartzbach )
• Principles of Program Analysis
  • ( Flemming Nielson, Hanne Riis Nielson, and Chris Hankin )