cpg-core/de.fraunhofer.aisec.cpg.graph.edges.flows/EvaluationOrder

EvaluationOrder

class EvaluationOrder(start: Node, end: Node, var unreachable: Boolean = false, var branch: Boolean? = null) : Edge<Node>

An edge in our Evaluation Order Graph (EOG). It considers the order in which our AST statements would be "evaluated" (e.g. by a compiler or interpreter). See EvaluationOrderGraphPass for more details.

Constructors

EvaluationOrder

constructor(start: Node, end: Node, unreachable: Boolean = false, branch: Boolean? = null)

Properties

branch

var branch: Boolean?

If we have multiple EOG edges the branch property indicates which EOG edge leads to true branch (expression evaluated to true) or the false branch (e.g. with an if/else condition). Otherwise, this property is null.

dependence

var dependence: DependenceType?

The type of dependence (e.g. control or data or none). This field is intentionally nullable, because not all Edge edges are selected in the PDG. This selection is performed in the ProgramDependenceGraphPass.

end

var end: Node

index

var index: Int?

The index of this node, if it is stored in an de.fraunhofer.aisec.cpg.graph.edges.collections.EdgeList.

labels

open override var labels: Set<String>

name

var name: String?

An optional name.

start

var start: Node