A control flow graph that is under construction, consisting of:
Value parameters
- breaks
-
unresolved breaks collected along the way together with an integer value which indicates the number of loop/switch levels to break
- caseLabels
-
labels beginning with "case"
- continues
-
unresolved continues collected along the way together with an integer value which indicates the number of loop/switch levels after which to continue
- edges
-
control flow edges between nodes of the code property graph.
- entryNode
-
the control flow graph's first node, that is, the node to which a CFG that appends this CFG should attach itself to.
- fringe
-
nodes of the CFG for which an outgoing edge type is already known but the destination node is not. These nodes are connected when another CFG is appended to this CFG. In addition to these three core building blocks, we store labels and jump statements that have not been resolved and may be resolvable as parent sub trees or sibblings are translated.
- jumpsToLabel
-
unresolved gotos, labeled break and labeld continues collected along the way
- labeledNodes
-
labels contained in the abstract syntax tree from which this CPG was generated
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any