Package org.checkerframework.dataflow.livevariable


package org.checkerframework.dataflow.livevariable
Classes using for live variable analysis. Live variable analysis is a backward analysis to calculate the variables that are live at each point in the program. To run live variable analysis, see LiveVariablePlayground.
See Also:
  • Classes
    Class
    Description
    A live variable store contains a set of live variables represented by nodes.
    A live variable transfer function.
    A live variable (which is represented by a node) wrapper turning node into abstract value.