CFG Data Flow Interaction for the Soot - Eclipse Plugin
Overview
The main idea is to display Control Flow Graphs as Soot creates them and show the fixed point flow data sets as the are generated.
Example
This example shows an example of a live variable analysis on part of a method. We can see the before and after flow sets that have been generated after several iterations.
Controlling the Interaction
There are 4 buttons for controlling the interaction.
Step Forward - steps one step through the graph in a forward direction until there is no more data available for the method
Step Backward - steps one step back through the graph
Finish Method - steps through to the end of the method
Next Method - continues to the next method