CodeQL library for C/C++
Search

Module DataFlowImplCommonPublic

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon

Classes

FeatureEqualSourceSinkCallContext

A flow configuration feature that implies that source-sink pairs have some shared existing call context.

FeatureHasSinkCallContext

A flow configuration feature that implies that sinks have some existing call context.

FeatureHasSourceCallContext

A flow configuration feature that implies that sources have some existing call context.

FlowFeature

A flow configuration feature for use in Configuration::getAFeature().