Function or value | Description |
|
|
|
|
|
|
Full Usage:
initState hdl ssaCfg initRegs initMems core
Parameters:
BinHandle
ssaCfg : DiGraph<SSABasicBlock, 'a>
initRegs : Dictionary<Variable, 'b>
initMems : Dictionary<SSAMemID, (Map<Addr, 'b> * Set<Addr>)>
core : IConstantPropagationCore<'b>
Returns: CPState<'b>
|
|
|
|
Full Usage:
markAllSuccessors st cfg blk
Parameters:
CPState<'b>
cfg : DiGraph<SSABasicBlock, 'c>
blk : SSAVertex
|
|
Full Usage:
markExceptCallFallThrough st cfg blk
Parameters:
CPState<'b>
cfg : DiGraph<SSABasicBlock, CFGEdgeKind>
blk : SSAVertex
|
|
|
|
|
|
|
|
|
|
|
|