CodeQL library for C/C++
codeql/cpp-all 0.12.6 (changelog, source)
Search

Module signature Configs::ConfigSig

An input configuration for data flow.

Import path

import codeql.dataflow.DataFlow

Predicates

allowImplicitRead

Holds if an arbitrary number of implicit read steps of content c may be taken at node.

fieldFlowBranchLimit

Gets the virtual dispatch branching limit when calculating field flow. This can be overridden to a smaller value to improve performance (a value of 0 disables field flow), or a larger value to get more results.

getAFeature

Gets a data flow configuration feature to add restrictions to the set of valid flow paths.

includeHiddenNodes

Holds if hidden nodes should be included in the data flow graph.

isAdditionalFlowStep

Holds if data may flow from node1 to node2 in addition to the normal data-flow steps.

isBarrier

Holds if data flow through node is prohibited. This completely removes node from the data flow graph.

isBarrierIn

Holds if data flow into node is prohibited.

isBarrierOut

Holds if data flow out of node is prohibited.

isSink

Holds if sink is a relevant data flow sink.

isSource

Holds if source is a relevant data flow source.

neverSkip

Holds if node should never be skipped over in the PathGraph and in path explanations.

sinkGrouping

Holds if sinks should be grouped in the result of flowPath.

sourceGrouping

Holds if sources should be grouped in the result of flowPath.