B2R2

SCPValue Type

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

Thunk and Pointer are the only special kind of SCPValue, which should not be invalidated across function calls. This is to correctly track GOT pointers.

Union cases

Union case Description

Const BitVector

Full Usage: Const BitVector

Parameters:

Item : BitVector

NotAConst

Full Usage: NotAConst

Pointer BitVector

Full Usage: Pointer BitVector

Parameters:

Item : BitVector

Thunk BitVector

Full Usage: Thunk BitVector

Parameters:

Special value type representing a return value of *_get_pc_thunk.

Item : BitVector

Undef

Full Usage: Undef