• 1. What is an intra-procedural data-flow analysis anyway?
• 2. Forward, backward or branched?
• 3. Implementing the analysis interface
• Constructor
• newInitialFlow() and entryInitialFlow()
• copy(..)
• merge(..)
• flowThrough(..)
• 4. Debugging your flow analysis in Eclipse
• Displaying analysis result as tags