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