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)