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

ContextSensitiveDataflow

class ContextSensitiveDataflow(start: Node, end: Node, var granularity: Granularity = default(), val callingContext: CallingContext) : Dataflow

This edge class defines a flow of data between start and end. The flow must have a callingContext which allows for a context-sensitive dataflow analysis. This edge can also have a certain granularity.

Constructors

constructor(start: Node, end: Node, granularity: Granularity = default(), callingContext: CallingContext)

Properties

callingContext

val callingContext: CallingContext

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

granularity

var granularity: Granularity

The granularity of this dataflow.

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?