Introduction to data flow analysis
Learn how data flow analysis tracks information through programs to enable powerful optimizations and bug detection.
Building your first data flow analysis
Step-by-step guide to implementing a data flow analysis recipe using OpenRewrite's analysis framework.
Liveness analysis
Deep dive into liveness analysis - determining which variables are "live" at each program point.
Reaching definitions analysis
Master reaching definitions analysis - tracking where variable values come from.
Inter-procedural analysis
Learn how to track data flow across method boundaries for whole-program analysis.
Method summary analysis
Learn how to compute and use method summaries for efficient inter-procedural analysis.