A flow configuration feature that implies that source-sink pairs have some shared existing call context.
Import path
import semmle.code.cpp.dataflow.DataFlow
A flow configuration feature that implies that source-sink pairs have some shared existing call context.
import semmle.code.cpp.dataflow.DataFlow