CPState (B2R2)

CPState Module

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

Functions and values

Function or value	Description
`copyMem st dstid srcid` Full Usage: `copyMem st dstid srcid` Parameters: st : `CPState<'a>` dstid : `SSAMemID` srcid : `SSAMemID`	st : `CPState<'a>` dstid : `SSAMemID` srcid : `SSAMemID`
`findReg st r` Full Usage: `findReg st r` Parameters: st : `CPState<'a>` r : `Variable` Returns: `'a`	st : `CPState<'a>` r : `Variable` Returns: `'a`
`getExecutableSources st cfg blk srcIDs` Full Usage: `getExecutableSources st cfg blk srcIDs` Parameters: st : `CPState<'c>` cfg : `DiGraph<'d, 'e>` blk : `Vertex<'d>` srcIDs : `'f[]` Returns: `'f[]`	st : `CPState<'c>` cfg : `DiGraph<'d, 'e>` blk : `Vertex<'d>` srcIDs : `'f[]` Returns: `'f[]`
`initState hdl ssaCfg initRegs initMems core` Full Usage: `initState hdl ssaCfg initRegs initMems core` Parameters: hdl : `BinHandle` ssaCfg : `DiGraph<SSABasicBlock, 'a>` initRegs : `Dictionary<Variable, 'b>` initMems : `Dictionary<SSAMemID, (Map<Addr, 'b> * Set<Addr>)>` core : `IConstantPropagationCore<'b>` Returns: `CPState<'b>`	hdl : `BinHandle` ssaCfg : `DiGraph<SSABasicBlock, 'a>` initRegs : `Dictionary<Variable, 'b>` initMems : `Dictionary<SSAMemID, (Map<Addr, 'b> * Set<Addr>)>` core : `IConstantPropagationCore<'b>` Returns: `CPState<'b>`
`isExecuted st src dst` Full Usage: `isExecuted st src dst` Parameters: st : `CPState<'b>` src : `VertexID` dst : `VertexID` Returns: `bool`	st : `CPState<'b>` src : `VertexID` dst : `VertexID` Returns: `bool`
`markAllSuccessors st cfg blk` Full Usage: `markAllSuccessors st cfg blk` Parameters: st : `CPState<'b>` cfg : `DiGraph<SSABasicBlock, 'c>` blk : `SSAVertex`	st : `CPState<'b>` cfg : `DiGraph<SSABasicBlock, 'c>` blk : `SSAVertex`
`markExceptCallFallThrough st cfg blk` Full Usage: `markExceptCallFallThrough st cfg blk` Parameters: st : `CPState<'b>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `SSAVertex`	st : `CPState<'b>` cfg : `DiGraph<SSABasicBlock, CFGEdgeKind>` blk : `SSAVertex`
`markExecutable st src dst` Full Usage: `markExecutable st src dst` Parameters: st : `CPState<'b>` src : `VertexID` dst : `VertexID`	st : `CPState<'b>` src : `VertexID` dst : `VertexID`
`tryFindMem st m rt addr` Full Usage: `tryFindMem st m rt addr` Parameters: st : `CPState<'a>` m : `Variable` rt : `RegType` addr : `uint64` Returns: `'a option`	st : `CPState<'a>` m : `Variable` rt : `RegType` addr : `uint64` Returns: `'a option`
`tryFindReg st lazyInit r` Full Usage: `tryFindReg st lazyInit r` Parameters: st : `CPState<'c>` lazyInit : `bool` r : `Variable` Returns: `'c option`	st : `CPState<'c>` lazyInit : `bool` r : `Variable` Returns: `'c option`
`tryGetMemState st id` Full Usage: `tryGetMemState st id` Parameters: st : `CPState<'a>` id : `SSAMemID` Returns: `(Map<Addr, 'a> * Set<Addr>) option`	st : `CPState<'a>` id : `SSAMemID` Returns: `(Map<Addr, 'a> * Set<Addr>) option`
`updateConst st r v` Full Usage: `updateConst st r v` Parameters: st : `CPState<'a>` r : `Variable` v : `'a`	st : `CPState<'a>` r : `Variable` v : `'a`
`updateUninitialized st m addr` Full Usage: `updateUninitialized st m addr` Parameters: st : `CPState<'a>` m : `Variable` addr : `Addr` Returns: `'a`	st : `CPState<'a>` m : `Variable` addr : `Addr` Returns: `'a`