Module signature MakeImpl::FullStateConfigSig
An input configuration for data flow using flow state. This signature equals
StateConfigSig
, but requires explicit implementation of all predicates.
Import path
import codeql.dataflow.internal.DataFlowImpl
Predicates
accessPathLimit | Gets the access path limit. |
allowImplicitRead | Holds if an arbitrary number of implicit read steps of content |
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 |
isAdditionalFlowStep | Holds if data may flow from |
isBarrier | Holds if data flow through |
isBarrier | Holds if data flow through |
isBarrierIn | Holds if data flow into |
isBarrierIn | Holds if data flow into |
isBarrierOut | Holds if data flow out of |
isBarrierOut | Holds if data flow out of |
isSink | Holds if |
isSink | Holds if |
isSource | Holds if |
neverSkip | Holds if |
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 |