EVMFuncUserContext (B2R2) | B2R2

EVMFuncUserContext Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis.Strategies
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj
All Interfaces: IResettable

User-defined context for EVM functions. EVMFunctionSummarizer uses this information to summarize the function, especially the return target.

Constructors

Constructor	Description
`EVMFuncUserContext()` Full Usage: `EVMFuncUserContext()` Returns: `EVMFuncUserContext`	Returns: `EVMFuncUserContext`

Instance members

Instance member	Description
`this.BackEdges` Full Usage: `this.BackEdges` Returns: `HashSet<IVertex<LowUIRBasicBlock> * IVertex<LowUIRBasicBlock>>`	Returns: `HashSet<IVertex<LowUIRBasicBlock> * IVertex<LowUIRBasicBlock>>`
`this.CP` Full Usage: `this.CP`
`this.GetStackPointerDelta` Full Usage: `this.GetStackPointerDelta` Parameters: state : `State<'a, 'b>` v : `IVertex<LowUIRBasicBlock>` Returns: `int`	state : `State<'a, 'b>` v : `IVertex<LowUIRBasicBlock>` Returns: `int`
`this.IsPublicFunction` Full Usage: `this.IsPublicFunction` Returns: `bool`	Returns: `bool`
`this.IsSharedRegion` Full Usage: `this.IsSharedRegion` Returns: `bool`	Returns: `bool`
`this.PerVertexStackPointerDelta` Full Usage: `this.PerVertexStackPointerDelta` Returns: `Dictionary<IVertex<LowUIRBasicBlock>, int>`	Returns: `Dictionary<IVertex<LowUIRBasicBlock>, int>`
`this.PostponedVertices` Full Usage: `this.PostponedVertices` Returns: `HashSet<IVertex<LowUIRBasicBlock>>`	Returns: `HashSet<IVertex<LowUIRBasicBlock>>`
`this.ResumableVertices` Full Usage: `this.ResumableVertices` Returns: `HashSet<IVertex<LowUIRBasicBlock>>`	Returns: `HashSet<IVertex<LowUIRBasicBlock>>`
`this.ReturnTargetStackOff` Full Usage: `this.ReturnTargetStackOff` Returns: `uint64`	Returns: `uint64`
`this.SetPublicFunction` Full Usage: `this.SetPublicFunction`
`this.SetReturnTargetStackOff` Full Usage: `this.SetReturnTargetStackOff` Parameters: off : `uint64`	off : `uint64`
`this.SetSharedRegion` Full Usage: `this.SetSharedRegion`
`this.SetStackPointerDiff` Full Usage: `this.SetStackPointerDiff` Parameters: diff : `uint64`	diff : `uint64`
`this.StackPointerDiff` Full Usage: `this.StackPointerDiff` Returns: `Option<uint64>`	Returns: `Option<uint64>`