DomTreeAdapter

io.joern.x2cpg.passes.controlflow.cfgdominator.DomTreeAdapter
trait DomTreeAdapter[Node]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Concise view

Value members

Abstract methods

def immediateDominator(cfgNode: Node): Option[Node]

Returns the immediate dominator of a cfgNode. The returned value can be None if cfgNode was the cfg entry node while calculating the dominator relation or if cfgNode is dead code. In the post dominator case "dead code" means code which does lead to the normal method exit. An example would be a thrown excpetion.

Returns the immediate dominator of a cfgNode. The returned value can be None if cfgNode was the cfg entry node while calculating the dominator relation or if cfgNode is dead code. In the post dominator case "dead code" means code which does lead to the normal method exit. An example would be a thrown excpetion.

Attributes