CpgPostDomTreeAdapter

io.joern.x2cpg.passes.controlflow.codepencegraph.CpgPostDomTreeAdapter
class CpgPostDomTreeAdapter extends DomTreeAdapter[StoredNode]

Attributes

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

Members list

Value members

Concrete methods

override def immediateDominator(cfgNode: StoredNode): Option[StoredNode]

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

Definition Classes