semanticcpg apidocs/io.joern.x2cpg.passes.controlflow.cfgdominator/CfgDominator

CfgDominator

class CfgDominator[NodeType](adapter: CfgAdapter[NodeType])
class Object
trait Matchable
class Any

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