UVTransfer (B2R2)

UVTransfer Module

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll

Functions and values

Function or value	Description
`evalDef st blk dstVar e` Full Usage: `evalDef st blk dstVar e` Parameters: st : `CPState<UVValue>` blk : `'a` dstVar : `Variable` e : `Expr`	st : `CPState<UVValue>` blk : `'a` dstVar : `Variable` e : `Expr`
`evalExpr st blk _arg1` Full Usage: `evalExpr st blk _arg1` Parameters: st : `CPState<UVValue>` blk : `'a` _arg1 : `Expr` Returns: `UVValue`	st : `CPState<UVValue>` blk : `'a` _arg1 : `Expr` Returns: `UVValue`
`evalJmp st cfg blk _arg1` Full Usage: `evalJmp st cfg blk _arg1` Parameters: st : `CPState<'a>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `SSAVertex` _arg1 : `JmpType`	st : `CPState<'a>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `SSAVertex` _arg1 : `JmpType`
`evalPhi st cfg blk dst srcIDs` Full Usage: `evalPhi st cfg blk dst srcIDs` Parameters: st : `CPState<UVValue>` cfg : `DiGraph<'a, 'b>` blk : `Vertex<'a>` dst : `Variable` srcIDs : `int[]`	st : `CPState<UVValue>` cfg : `DiGraph<'a, 'b>` blk : `Vertex<'a>` dst : `Variable` srcIDs : `int[]`
`evalStmt st cfg blk _arg1` Full Usage: `evalStmt st cfg blk _arg1` Parameters: st : `CPState<UVValue>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `Vertex<SSABasicBlock>` _arg1 : `Stmt`	st : `CPState<UVValue>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `Vertex<SSABasicBlock>` _arg1 : `Stmt`
`evalVar st v` Full Usage: `evalVar st v` Parameters: st : `CPState<UVValue>` v : `Variable` Returns: `UVValue`	st : `CPState<UVValue>` v : `Variable` Returns: `UVValue`