io.joern.x2cpg.passes.controlflow.cfgdominator
Members list
Type members
Classlikes
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class CpgCfgAdapterclass ReverseCpgCfgAdapter
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
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.
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
- Supertypes
-
class Objecttrait Matchableclass Any
class CfgDominatorPass(cpg: Cpg) extends ForkJoinParallelCpgPass[Method]
This pass has no prerequisites.
This pass has no prerequisites.
Attributes
- Supertypes
-
class ForkJoinParallelCpgPass[Method]class NewStyleCpgPassBase[Method]trait CpgPassBaseclass Objecttrait Matchableclass AnyShow all
class CpgCfgAdapter extends CfgAdapter[StoredNode]
Attributes
- Supertypes
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class CpgPostDomTreeAdapter
class ReverseCpgCfgAdapter extends CfgAdapter[StoredNode]
Attributes
- Supertypes
In this article