CfgCreationPass

io.joern.x2cpg.passes.controlflow.CfgCreationPass
class CfgCreationPass(cpg: Cpg) extends ConcurrentWriterCpgPass[Method]

A pass that creates control flow graphs from abstract syntax trees.

Control flow graphs can be calculated independently per method. Therefore, we inherit from ConcurrentWriterCpgPass.

Note: the version of OverflowDB that we currently use as a storage backend does not assign ids to edges and this pass only creates edges at the moment. Therefore, we currently do without key pools.

Attributes

Graph
Supertypes
class ConcurrentWriterCpgPass[Method]
class NewStyleCpgPassBase[Method]
trait CpgPassBase
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited types

type DiffGraphBuilder = DiffGraphBuilder

Attributes

Inherited from:
NewStyleCpgPassBase

Value members

Concrete methods

override def generateParts(): Array[Method]

Attributes

Definition Classes
NewStyleCpgPassBase
override def runOnPart(diffGraph: DiffGraphBuilder, method: Method): Unit

Attributes

Definition Classes
NewStyleCpgPassBase

Inherited methods

override def createAndApply(): Unit

Attributes

Definition Classes
NewStyleCpgPassBase -> CpgPassBase
Inherited from:
NewStyleCpgPassBase
override def createApplySerializeAndStore(serializedCpg: SerializedCpg, inverse: Boolean, prefix: String): Unit

WARNING: runOnPart is executed in parallel to committing of graph modifications. The upshot is that it is unsafe to read ANY data from cpg, on pain of bad race conditions

WARNING: runOnPart is executed in parallel to committing of graph modifications. The upshot is that it is unsafe to read ANY data from cpg, on pain of bad race conditions

Only use ConcurrentWriterCpgPass if you are very sure that you avoid races.

E.g. adding a CFG edge to node X races with reading an AST edge of node X.

Attributes

Definition Classes
ConcurrentWriterCpgPass -> CpgPassBase
Inherited from:
ConcurrentWriterCpgPass
def finish(): Unit

Attributes

Inherited from:
NewStyleCpgPassBase
def init(): Unit

Attributes

Inherited from:
NewStyleCpgPassBase
def name: String

Name of the pass. By default it is inferred from the name of the class, override if needed.

Name of the pass. By default it is inferred from the name of the class, override if needed.

Attributes

Inherited from:
CpgPassBase
override def runWithBuilder(externalBuilder: DiffGraphBuilder): Int

Runs the cpg pass, adding changes to the passed builder. Use with caution -- API is unstable. Returns max(nParts, 1), where nParts is either the number of parallel parts, or the number of iterarator elements in case of legacy passes. Includes init() and finish() logic.

Runs the cpg pass, adding changes to the passed builder. Use with caution -- API is unstable. Returns max(nParts, 1), where nParts is either the number of parallel parts, or the number of iterarator elements in case of legacy passes. Includes init() and finish() logic.

Attributes

Definition Classes
NewStyleCpgPassBase -> CpgPassBase
Inherited from:
NewStyleCpgPassBase
def runWithBuilderLogged(builder: DiffGraphBuilder): Int

Wraps runWithBuilder with logging, and swallows raised exceptions. Use with caution -- API is unstable. A return value of -1 indicates failure, otherwise the return value of runWithBuilder is passed through.

Wraps runWithBuilder with logging, and swallows raised exceptions. Use with caution -- API is unstable. A return value of -1 indicates failure, otherwise the return value of runWithBuilder is passed through.

Attributes

Inherited from:
CpgPassBase

Inherited fields

var nDiffT: Int

Attributes

Inherited from:
ConcurrentWriterCpgPass