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.
ReachingDefinitions	An implementation of the reaching definition dataflow analysis.