SSABasicBlock (B2R2) | B2R2

SSABasicBlock Type

Namespace: B2R2.MiddleEnd.ControlFlowGraph
Assembly: B2R2.MiddleEnd.ControlFlowGraph.dll
Base Type: obj
All Interfaces: ISSABasicBlock , IVisualizable , ISSAAccessible , IAbstractable<Stmt> , IAddressable

Basic block type for an SSA-based CFG (SSACFG). It holds an array of (ProgramPoint * Stmt).

Instance members

Instance member	Description
`this.DomFrontier` Full Usage: `this.DomFrontier` Returns: `IVertex<SSABasicBlock> list`	Dominance frontier of this block. Returns: `IVertex<SSABasicBlock> list`
`this.ImmDominator` Full Usage: `this.ImmDominator` Returns: `IVertex<SSABasicBlock> option`	Immediate dominator of this block. Returns: `IVertex<SSABasicBlock> option`
`this.Internals` Full Usage: `this.Internals` Returns: `ISSABasicBlock`	Return the `ISSABasicBlock` interface to access the internal representation of the basic block. Returns: `ISSABasicBlock`

Static members

Static member	Description
`SSABasicBlock.CreateAbstract(ppoint, abs)` Full Usage: `SSABasicBlock.CreateAbstract(ppoint, abs)` Parameters: ppoint : `ProgramPoint` abs : `FunctionAbstraction<Stmt>` Returns: `SSABasicBlock`	Create an abstract basic block located at `ppoint`. ppoint : `ProgramPoint` abs : `FunctionAbstraction<Stmt>` Returns: `SSABasicBlock`
`SSABasicBlock.CreateRegular(stmts, ppoint, lastAddr)` Full Usage: `SSABasicBlock.CreateRegular(stmts, ppoint, lastAddr)` Parameters: stmts : `(ProgramPoint * Stmt)[]` ppoint : `ProgramPoint` lastAddr : `uint64` Returns: `SSABasicBlock`	stmts : `(ProgramPoint * Stmt)[]` ppoint : `ProgramPoint` lastAddr : `uint64` Returns: `SSABasicBlock`