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 on a file and create a PDF of the CFG, run java org.checkerframework.dataflow.cfg.playground.LiveVariablePdf MyFile.java.
See Also:
  • Classes
    Class
    Description
    LiveVarNode
    A LiveVarNode contains a CFG node, which can only be a LocalVariableNode or FieldAccessNode.
    LiveVarStore
    A live variable store contains a set of live variables represented by nodes.
    LiveVarTransfer
    A live variable transfer function.