CfgDominator

io.joern.x2cpg.passes.controlflow.cfgdominator.CfgDominator
class CfgDominator[NodeType](adapter: CfgAdapter[NodeType])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def calculate(cfgEntry: NodeType): LinkedHashMap[NodeType, NodeType]

Calculates the immediate dominators of all CFG nodes reachable from cfgEntry. Since the cfgEntry does not have an immediate dominator, it has no entry in the return map.

Calculates the immediate dominators of all CFG nodes reachable from cfgEntry. Since the cfgEntry does not have an immediate dominator, it has no entry in the return map.

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

Attributes