1 / 26

Principles of Program Analysis

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. Introduction Data flow analysis Future work

errin
Download Presentation

Principles of Program Analysis

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Principles of Program Analysis Flemming Nielson, Hanne Riis Nielson and Chris Hankin

  2. Table of Contents • Introduction • Data flow analysis • Future work • Constraints based analysis • References

  3. Introduction

  4. Table of Contents • Introduction • Data flow analysis • Future work • Constraints based analysis • References

  5. Data flow analysis

  6. Data flow analysis elementary block: assignment statement test statement skip statement with labels

  7. Data flow analysis

  8. Reaching definitions analysis (1)

  9. Reaching definitions analysis (2)

  10. Reaching definitions analysis

  11. The best solution

  12. A safe solution – but not the best

  13. An unsafe solution

  14. How to automate the analysis

  15. Flow through assignments and tests Var = { x, y, z }

  16. Flow along the control Var = { x, y, z }

  17. Summary of equation system

  18. How to solve the equations

  19. The example equations

  20. Why does it work? (1)

  21. Why does it work? (2)

  22. Why does it work? (3)

  23. Future work • Constraints based analysis

  24. Table of Contents • Introduction • Data flow analysis • Future work • Constraints based analysis • References

  25. References • Principles of program analysis, Flemming Nielson, Hanne Riis Nielson, Chris Hankin • http://www2.imm.dtu.dk/~riis/PPA/ppasup2004.html

More Related