Module signature Configs::ConfigSig

An input configuration for data flow.

Import path

import codeql.dataflow.DataFlow

accessPathLimit	Gets the access path limit.
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.
observeDiffInformedIncrementalMode	Holds if sources and sinks should be filtered to only include those that may lead to a flow path with either a source or a sink in the location range given by `AlertFiltering`. This only has an effect when running in diff-informed incremental mode.