PAG/WWW: Static program analysis and abstract interpretation tool
Experiencing Program Analysis

» Start

Introduction to Static Program Analysis

» Overview: What PAG/WWW is about


The PAG/WWW Interface: Understanding Program Analysis

» The WHILE programming language, its syntax and semantics
» How to build your own analysis
» A formal description of the analysis specification language
» Interpreting analysis results
» Known problems
» Exercises


The MFP Algorithm for Data Flow Analysis

» Theoretical background
» The PAG implementation of the fixed point algorithm
» An illustrative example with step-by-step explanations


Links for the Program Analyzer Generator

» Publications about PAG
» The book on Principles of Program Analysis
   (where the WHILE language and other examples come from)
» The hardware for this server is sponsored by AbsInt: Advanced Compiler Technology for Embedded Systems


Search

Search 

  

for 

  

Please send any suggestions, comments, or questions to Florian Martin.
© 1998-2009 Saarland University and AbsInt.

Keywords: abstract interpretation, compiler technology, PAG, program optimization, program analyzer generator, static program analysis, data flow analysis