Header menu logo B2R2

CFGEvaluator Module

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll

Functions and values

Function or value Description

evalBlockFromScratch hdl blk

Full Usage: evalBlockFromScratch hdl blk

Parameters:
Returns: EvalState

Concretely evaluate a basic block from an arbitrarily generated state.

hdl : BinHandle
blk : IVertex<LowUIRBasicBlock>
Returns: EvalState

Type something to start searching.