io.joern.x2cpg.passes.controlflow.cfgdominator

Members list

Concise view

Type members

Classlikes

trait CfgAdapter[Node]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class CfgDominator[NodeType](adapter: CfgAdapter[NodeType])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
class CfgDominatorFrontier[NodeType](cfgAdapter: CfgAdapter[NodeType], domTreeAdapter: DomTreeAdapter[NodeType])

Calculates the dominator frontier for a set of CFG nodes. The returned multimap associates the frontier nodes to each CFG node.

Calculates the dominator frontier for a set of CFG nodes. The returned multimap associates the frontier nodes to each CFG node.

The used algorithm is from: "A Simple, Fast Dominance Algorithm" from "Keith D. Cooper, Timothy J. Harvey, and Ken Kennedy".

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
class CfgDominatorPass(cpg: Cpg) extends ForkJoinParallelCpgPass[Method]

This pass has no prerequisites.

This pass has no prerequisites.

Attributes

Graph
Supertypes
class ForkJoinParallelCpgPass[Method]
class NewStyleCpgPassBase[Method]
trait CpgPassBase
class Object
trait Matchable
class Any
class CpgCfgAdapter extends CfgAdapter[StoredNode]

Attributes

Graph
Supertypes
trait CfgAdapter[StoredNode]
class Object
trait Matchable
class Any
trait DomTreeAdapter[Node]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ReverseCpgCfgAdapter extends CfgAdapter[StoredNode]

Attributes

Graph
Supertypes
trait CfgAdapter[StoredNode]
class Object
trait Matchable
class Any