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