Dominator (B2R2)

Dominator Module

Namespace: B2R2.MiddleEnd.BinGraph
Assembly: B2R2.MiddleEnd.BinGraph.dll

Types

Type	Description
DomInfo<'D>
DominatorContext<'D, 'E>	Storing DomInfo of a graph. We use this to repeatedly compute doms/pdoms of the same graph.

Functions and values

Function or value	Description
`dominatorTree arg1` Full Usage: `dominatorTree arg1` Parameters: arg0 : `DominatorContext<'D, 'E>` Returns: `Map<Vertex<'D>, Vertex<'D> list> * Vertex<'D>`	arg0 : `DominatorContext<'D, 'E>` Returns: `Map<Vertex<'D>, Vertex<'D> list> * Vertex<'D>`
`doms arg1 arg2` Full Usage: `doms arg1 arg2` Parameters: arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> list`	arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> list`
`frontier arg1 arg2` Full Usage: `frontier arg1 arg2` Parameters: arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> list`	arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> list`
`frontiers arg1` Full Usage: `frontiers arg1` Parameters: arg0 : `DominatorContext<'D, 'E>` Returns: `Vertex<'D> list[]`	arg0 : `DominatorContext<'D, 'E>` Returns: `Vertex<'D> list[]`
`idom arg1 arg2` Full Usage: `idom arg1 arg2` Parameters: arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> option`	arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> option`
`initDominatorContext arg1 arg2` Full Usage: `initDominatorContext arg1 arg2` Parameters: arg0 : `DiGraph<'D, 'E>` arg1 : `Vertex<'D>` Returns: `DominatorContext<'D, 'E>`	arg0 : `DiGraph<'D, 'E>` arg1 : `Vertex<'D>` Returns: `DominatorContext<'D, 'E>`
`ipdom arg1 arg2` Full Usage: `ipdom arg1 arg2` Parameters: arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> option`	arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> option`
`pdoms arg1 arg2` Full Usage: `pdoms arg1 arg2` Parameters: arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> list`	arg0 : `DominatorContext<'D, 'E>` arg1 : `Vertex<'D>` Returns: `Vertex<'D> list`