Module TaintFlowMakeCore::AddTaintDefaults

Import path

import codeql.dataflow.TaintTracking

Imports

An input configuration for data flow using flow state. This signature equals StateConfigSig, but requires explicit implementation of all predicates.

Predicates

allowImplicitRead	Holds if an arbitrary number of implicit read steps of content `c` may be taken at `node`.
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.

Parameters

Config

FullStateConfigSig