SSABasicBlock (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 member	Description
`this.DomFrontier` Full Usage: `this.DomFrontier`	Dominance frontier of this block.
`this.ImmDominator` Full Usage: `this.ImmDominator`	Immediate dominator of this block.
`this.Internals` Full Usage: `this.Internals` Returns: `ISSABasicBlock`	Return the `ISSABasicBlock` interface to access the internal representation of the basic block. Returns: `ISSABasicBlock`

Static member Description

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`


                
                  
                    
                      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`.


                
                  
                    
                      SSABasicBlock.CreateRegular(stmts, ppoint, lastAddr)

Full Usage: SSABasicBlock.CreateRegular(stmts, ppoint, lastAddr)

Parameters:

stmts : (ProgramPoint * Stmt)[]

ppoint : ProgramPoint

lastAddr : uint64

Returns: SSABasicBlock