Package org.checkerframework.dataflow.livevariable

Classes using for live variable analysis.

See: Description

Class Summary

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.

Package org.checkerframework.dataflow.livevariable Description

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:

https://en.wikipedia.org/wiki/Live_variable_analysis