Package org.checkerframework.dataflow.livevariable

Classes using for live variable analysis.

See: Description

Class Summary

Class	Description
LiveVarStore	A live variable store contains a set of live variables represented by nodes.
LiveVarTransfer	A live variable transfer function.
LiveVarValue	A live variable (which is represented by a node) wrapper turning node into abstract value.

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