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

ControlDependence

class ControlDependence(start: Node, end: Node, var branches: Set<Boolean> = setOf()) : Edge<Node>

An edge in a Control Dependence Graph (CDG). Denotes that the start node exercises control dependence on the end node. See ControlDependenceGraphPass.

Constructors

ControlDependence

constructor(start: Node, end: Node, branches: Set<Boolean> = setOf())

Properties

branches

var branches: Set<Boolean>

A set of EvaluationOrder.branch values.

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