CfgDominatorFrontier

io.joern.x2cpg.passes.controlflow.cfgdominator.CfgDominatorFrontier
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.

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

Members list

Concise view

Value members

Concrete methods

def calculate(cfgNodes: Seq[NodeType]): Map[NodeType, Set[NodeType]]