NonReturningStatus (B2R2) | B2R2

NonReturningStatus Type

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

The result of non-returning function analysis.

Union cases

Union case	Description
`ConditionalNoRet int` Full Usage: `ConditionalNoRet int` Parameters: Item : `int`	Conditionally no-return; function does not return only if the n-th argument (starting from one) specified is non-zero. Item : `int`
`NoRet` Full Usage: `NoRet`	This function will never return. For example, the "exit" function should have this property.
`NotNoRet` Full Usage: `NotNoRet`	Regular case: not no-return (i.e., this is a returning function).
`UnknownNoRet` Full Usage: `UnknownNoRet`	We don't know yet: we need further analyses.

Instance members

Instance member	Description
`this.IsConditionalNoRet` Full Usage: `this.IsConditionalNoRet` Returns: `bool`	Returns: `bool`
`this.IsNoRet` Full Usage: `this.IsNoRet` Returns: `bool`	Returns: `bool`
`this.IsNotNoRet` Full Usage: `this.IsNotNoRet` Returns: `bool`	Returns: `bool`
`this.IsUnknownNoRet` Full Usage: `this.IsUnknownNoRet` Returns: `bool`	Returns: `bool`