1/20 Principles of Program Analysis Charngki Hong @ PSWLAB Principles of Program Analysis Flemming Nielson, Hanne Riis Nielson and Chris Hankin.

1/20 Principles of Program Analysis Charngki Hong @ PSWLAB

Principles of Program Analysis

Flemming Nielson, Hanne Riis Nielson and Chris Hankin


Table of Contents

Introduction Data flow analysis Future work

Constraints based analysis References


Introduction


Table of Contents




Data flow analysis


Data flow analysiselementary block :1. assignment state-

ment2. test statement3. skip statement

with labels


Data flow analysis


Reaching definitions analysis (1)


Reaching definitions analysis (2)


Reaching definitions analysis


The best solution


A safe solution – but not the best


An unsafe solution


How to automate the analysis



Flow through assignments and tests

Var = { x, y, z }


Flow along the control

Var = { x, y, z }


Summary of equation system


How to solve the equations


The example equations


Why does it work? (1)






Future work Constraints based analysis


Table of Contents




References Principles of program analysis, Flemming Niel-

son, Hanne Riis Nielson, Chris Hankin http://www2.imm.dtu.dk/~riis/PPA/ppa-

sup2004.html

1/20 Principles of Program Analysis Charngki Hong @ PSWLAB Principles of Program Analysis Flemming Nielson, Hanne Riis Nielson and Chris Hankin.

Documents