Download presentation
Presentation is loading. Please wait.
Published byCharles Jennings Modified over 9 years ago
1
1/20 Principles of Program Analysis Charngki Hong @ PSWLAB Principles of Program Analysis Flemming Nielson, Hanne Riis Nielson and Chris Hankin
2
2/20 Principles of Program Analysis Charngki Hong @ PSWLAB Table of Contents Introduction Data flow analysis Future work Constraints based analysis References
3
3/20 Principles of Program Analysis Charngki Hong @ PSWLAB Introduction
4
4/20 Principles of Program Analysis Charngki Hong @ PSWLAB Table of Contents Introduction Data flow analysis Future work Constraints based analysis References
5
5/20 Principles of Program Analysis Charngki Hong @ PSWLAB Data flow analysis
6
6/20 Principles of Program Analysis Charngki Hong @ PSWLAB Data flow analysis elementary block : 1.assignment statement 2.test statement 3.skip statement with labels
7
7/20 Principles of Program Analysis Charngki Hong @ PSWLAB Data flow analysis
8
8/20 Principles of Program Analysis Charngki Hong @ PSWLAB Reaching definitions analysis (1)
9
9/20 Principles of Program Analysis Charngki Hong @ PSWLAB Reaching definitions analysis (2)
10
10/20 Principles of Program Analysis Charngki Hong @ PSWLAB Reaching definitions analysis
11
11/20 Principles of Program Analysis Charngki Hong @ PSWLAB The best solution
12
12/20 Principles of Program Analysis Charngki Hong @ PSWLAB A safe solution – but not the best
13
13/20 Principles of Program Analysis Charngki Hong @ PSWLAB An unsafe solution
14
14/20 Principles of Program Analysis Charngki Hong @ PSWLAB How to automate the analysis
15
15/20 Principles of Program Analysis Charngki Hong @ PSWLAB
16
16/20 Principles of Program Analysis Charngki Hong @ PSWLAB Flow through assignments and tests Var = { x, y, z }
17
17/20 Principles of Program Analysis Charngki Hong @ PSWLAB Flow along the control Var = { x, y, z }
18
18/20 Principles of Program Analysis Charngki Hong @ PSWLAB Summary of equation system
19
19/20 Principles of Program Analysis Charngki Hong @ PSWLAB How to solve the equations
20
20/20 Principles of Program Analysis Charngki Hong @ PSWLAB The example equations
21
21/20 Principles of Program Analysis Charngki Hong @ PSWLAB Why does it work? (1)
22
22/20 Principles of Program Analysis Charngki Hong @ PSWLAB Why does it work? (2)
23
23/20 Principles of Program Analysis Charngki Hong @ PSWLAB Why does it work? (3)
24
24/20 Principles of Program Analysis Charngki Hong @ PSWLAB Table of Contents Introduction Data flow analysis Future work Constraints based analysis References
25
25/20 Principles of Program Analysis Charngki Hong @ PSWLAB Future work Constraints based analysis
26
26/20 Principles of Program Analysis Charngki Hong @ PSWLAB Table of Contents Introduction Data flow analysis Future work Constraints based analysis References
27
27/20 Principles of Program Analysis Charngki Hong @ PSWLAB References Principles of program analysis, Flemming Nielson, Hanne Riis Nielson, Chris Hankin http://www2.imm.dtu.dk/~riis/PPA/ppasup2004.html
28
28/20 Principles of Program Analysis Charngki Hong @ PSWLAB Constraints base analysis
29
29/20 Principles of Program Analysis Charngki Hong @ PSWLAB Example : control flow analysis
30
30/20 Principles of Program Analysis Charngki Hong @ PSWLAB Solutions
31
31/20 Principles of Program Analysis Charngki Hong @ PSWLAB An application of control flow analysis
32
32/20 Principles of Program Analysis Charngki Hong @ PSWLAB The underlying analysis problem
33
33/20 Principles of Program Analysis Charngki Hong @ PSWLAB The best solution to the analysis problem
34
34/20 Principles of Program Analysis Charngki Hong @ PSWLAB How to automate the analysis
35
35/20 Principles of Program Analysis Charngki Hong @ PSWLAB Three kinds of constraints
36
36/20 Principles of Program Analysis Charngki Hong @ PSWLAB let-bound variables
37
37/20 Principles of Program Analysis Charngki Hong @ PSWLAB Variables
38
38/20 Principles of Program Analysis Charngki Hong @ PSWLAB Function application (1)
39
39/20 Principles of Program Analysis Charngki Hong @ PSWLAB Function application (2)
40
40/20 Principles of Program Analysis Charngki Hong @ PSWLAB Summary of constraints system
41
41/20 Principles of Program Analysis Charngki Hong @ PSWLAB The constraints define a function
42
42/20 Principles of Program Analysis Charngki Hong @ PSWLAB How to solve the constraints
43
43/20 Principles of Program Analysis Charngki Hong @ PSWLAB The example constraint system
44
44/20 Principles of Program Analysis Charngki Hong @ PSWLAB Why does it work? (1)
45
45/20 Principles of Program Analysis Charngki Hong @ PSWLAB Why does it work? (2)
46
46/20 Principles of Program Analysis Charngki Hong @ PSWLAB Why does it work? (3)
Similar presentations
© 2024 SlidePlayer.com Inc.
All rights reserved.