SCPTransfer (B2R2)

SCPTransfer Module

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

Functions and values

Function or value	Description
`evalBinOp op c1 c2` Full Usage: `evalBinOp op c1 c2` Parameters: op : `BinOpType` c1 : `SCPValue` c2 : `SCPValue` Returns: `SCPValue`	op : `BinOpType` c1 : `SCPValue` c2 : `SCPValue` Returns: `SCPValue`
`evalCast op rt c` Full Usage: `evalCast op rt c` Parameters: op : `CastKind` rt : `RegType` c : `SCPValue` Returns: `SCPValue`	op : `CastKind` rt : `RegType` c : `SCPValue` Returns: `SCPValue`
`evalDef st blk v e` Full Usage: `evalDef st blk v e` Parameters: st : `CPState<SCPValue>` blk : `SSAVertex` v : `Variable` e : `Expr`	st : `CPState<SCPValue>` blk : `SSAVertex` v : `Variable` e : `Expr`
`evalExpr st blk _arg1` Full Usage: `evalExpr st blk _arg1` Parameters: st : `CPState<SCPValue>` blk : `SSAVertex` _arg1 : `Expr` Returns: `SCPValue`	st : `CPState<SCPValue>` blk : `SSAVertex` _arg1 : `Expr` Returns: `SCPValue`
`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`
`evalLoad st m rt addr` Full Usage: `evalLoad st m rt addr` Parameters: st : `CPState<SCPValue>` m : `Variable` rt : `RegType` addr : `SCPValue` Returns: `SCPValue`	st : `CPState<SCPValue>` m : `Variable` rt : `RegType` addr : `SCPValue` Returns: `SCPValue`
`evalPhi st cfg blk dst srcIDs` Full Usage: `evalPhi st cfg blk dst srcIDs` Parameters: st : `CPState<SCPValue>` cfg : `DiGraph<'a, 'b>` blk : `Vertex<'a>` dst : `Variable` srcIDs : `int[]`	st : `CPState<SCPValue>` cfg : `DiGraph<'a, 'b>` blk : `Vertex<'a>` dst : `Variable` srcIDs : `int[]`
`evalRelOp op c1 c2` Full Usage: `evalRelOp op c1 c2` Parameters: op : `RelOpType` c1 : `SCPValue` c2 : `SCPValue` Returns: `SCPValue`	op : `RelOpType` c1 : `SCPValue` c2 : `SCPValue` Returns: `SCPValue`
`evalReturn st blk ret var` Full Usage: `evalReturn st blk ret var` Parameters: st : `CPState<SCPValue>` blk : `SSAVertex` ret : `uint64` var : `Variable` Returns: `SCPValue`	st : `CPState<SCPValue>` blk : `SSAVertex` ret : `uint64` var : `Variable` Returns: `SCPValue`
`evalStmt st cfg blk _arg1` Full Usage: `evalStmt st cfg blk _arg1` Parameters: st : `CPState<SCPValue>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `SSAVertex` _arg1 : `Stmt`	st : `CPState<SCPValue>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `SSAVertex` _arg1 : `Stmt`
`evalUnOp op c` Full Usage: `evalUnOp op c` Parameters: op : `UnOpType` c : `SCPValue` Returns: `SCPValue`	op : `UnOpType` c : `SCPValue` Returns: `SCPValue`