CFGBuilderState (B2R2)

CFGBuilderState Type

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

Union case	Description
`Finished` Full Usage: `Finished`	Finished building and everything has been valid.
`ForceFinished` Full Usage: `ForceFinished`	Forcefully finished due to cyclic dependency. This builder has a under-approximated CFG because every unknown callee is considered non-returning.
`InProgress` Full Usage: `InProgress`	Currently building.
`Initialized` Full Usage: `Initialized`	Initialized but not started.
`Invalid` Full Usage: `Invalid`	Error occurred so this builder is invalid. We can re-authorize this builder later, but converting this builder to a function will fail.
`Stopped` Full Usage: `Stopped`	Stopped and will be resumed later.
`Verifying` Full Usage: `Verifying`	Waiting for the builder to be finzlied, while performing some verification.

Instance member	Description
`this.IsFinished` Full Usage: `this.IsFinished` Returns: `bool`	Returns: `bool`
`this.IsForceFinished` Full Usage: `this.IsForceFinished` Returns: `bool`	Returns: `bool`
`this.IsInProgress` Full Usage: `this.IsInProgress` Returns: `bool`	Returns: `bool`
`this.IsInitialized` Full Usage: `this.IsInitialized` Returns: `bool`	Returns: `bool`
`this.IsInvalid` Full Usage: `this.IsInvalid` Returns: `bool`	Returns: `bool`
`this.IsStopped` Full Usage: `this.IsStopped` Returns: `bool`	Returns: `bool`
`this.IsVerifying` Full Usage: `this.IsVerifying` Returns: `bool`	Returns: `bool`