Package it.unive.lisa.analysis.dataflow

Class Summary

Class	Description
AvailableExpressions	An implementation of the available expressions dataflow analysis, that focuses only on the expressions that are stored into some variable.
ConstantPropagation	An implementation of the overflow-insensitive constant propagation dataflow analysis, that focuses only on integers.
Liveness	An implementation of the liveness dataflow analysis, that determines which values might be used later on in the program.
ReachingDefinitions	An implementation of the reaching definition dataflow analysis.