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

PartialDataflowGranularity

class PartialDataflowGranularity(val partialTarget: Declaration?) : Granularity

This dataflow granularity denotes that not the "whole" object is flowing from Dataflow.start to Dataflow.end but only parts of it. Common examples include MemberExpression nodes, where we model a dataflow to the base, but only partially scoped to a particular field.

Constructors

Link copied to clipboard
constructor(partialTarget: Declaration?)

Properties

Link copied to clipboard
val partialTarget: Declaration?

The target that is affected by this partial dataflow.