B2R2

UVValue Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IEquatable<UVValue> , IStructuralEquatable , IComparable<UVValue> , IComparable , IStructuralComparable

Untouched value propagation value.

Union cases

Union case Description

Touched

Full Usage: Touched

Touched means the value is redefined.

Undef

Full Usage: Undef

Untouched UntouchedTag

Full Usage: Untouched UntouchedTag

Parameters:

This value is never defined within the function.

Item : UntouchedTag