B2R2

NoReturnFunctionIdentification Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: PerFunctionAnalysis

NoReturnFunctionIdentification has two roles: (1) identify whether a function is non-returning or not, and (2) add return and fall-through edges if callee function is non-returning.

Constructors

Constructor Description

NoReturnFunctionIdentification()

Full Usage: NoReturnFunctionIdentification()

Returns: NoReturnFunctionIdentification

Returns: NoReturnFunctionIdentification

Instance members

Instance member Description

this.HasNonZeroArg(hdl) (caller) (nth)

Full Usage: this.HasNonZeroArg(hdl) (caller) (nth)

Parameters:
Returns: bool

Check whether the (nth) argument is always non-zero. This is used only for known error functions, which can conditionally become a no-ret function depending on the given argument value.

hdl : BinHandle
caller : Vertex<IRBasicBlock>
nth : int
Returns: bool

this.IsNoRetSyscallBlk(hdl) (bbl)

Full Usage: this.IsNoRetSyscallBlk(hdl) (bbl)

Parameters:
Returns: bool

Check whether the given bbl has a no-return syscall (e.g., exit).

hdl : BinHandle
bbl : Vertex<IRBasicBlock>
Returns: bool