SPTransfer (B2R2)

SPTransfer 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 : `SPValue` c2 : `SPValue` Returns: `SPValue`	op : `BinOpType` c1 : `SPValue` c2 : `SPValue` Returns: `SPValue`
`evalDef st blk v e` Full Usage: `evalDef st blk v e` Parameters: st : `CPState<SPValue>` blk : `SSAVertex` v : `Variable` e : `Expr`	st : `CPState<SPValue>` blk : `SSAVertex` v : `Variable` e : `Expr`
`evalExpr st blk _arg1` Full Usage: `evalExpr st blk _arg1` Parameters: st : `CPState<SPValue>` blk : `SSAVertex` _arg1 : `Expr` Returns: `SPValue`	st : `CPState<SPValue>` blk : `SSAVertex` _arg1 : `Expr` Returns: `SPValue`
`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<'a>` cfg : `DiGraph<'b, 'c>` blk : `Vertex<'b>` dst : `Variable` srcIDs : `int[]`	st : `CPState<'a>` cfg : `DiGraph<'b, 'c>` blk : `Vertex<'b>` dst : `Variable` srcIDs : `int[]`
`evalReturn st blk var` Full Usage: `evalReturn st blk var` Parameters: st : `CPState<SPValue>` blk : `SSAVertex` var : `Variable` Returns: `SPValue`	st : `CPState<SPValue>` blk : `SSAVertex` var : `Variable` Returns: `SPValue`
`evalStmt st cfg blk _arg1` Full Usage: `evalStmt st cfg blk _arg1` Parameters: st : `CPState<SPValue>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `SSAVertex` _arg1 : `Stmt`	st : `CPState<SPValue>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `SSAVertex` _arg1 : `Stmt`
`isStackRelatedRegister st regid` Full Usage: `isStackRelatedRegister st regid` Parameters: st : `CPState<SPValue>` regid : `RegisterID` Returns: `bool`	st : `CPState<SPValue>` regid : `RegisterID` Returns: `bool`