Lecture 8

Data-Flow Analysis

Lecture

Slides: PDF, PPTX

Notes: PDF

Outline

• TODO

References

• Program Analysis, Verification, and Synthesis, Fall 2018
• Static Single Assignment Book
• Soot Tutorial
• A beginner’s guide to static program analysis using Soot
• Analyzing Java Programs with Soot