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
    A LiveVarNode contains a CFG node, which can only be a LocalVariableNode or FieldAccessNode.
    A live variable store contains a set of live variables represented by nodes.
    A live variable transfer function.