CodeQL library for JavaScript
codeql/javascript-all 0.3.0-dev (changelog, source)
Search

Member predicate TaintTracking::Configuration::isAdditionalFlowStep

INTERNAL: This predicate should not normally be used outside the data flow library.

Holds if src -> trg should be considered as a flow edge in addition to standard data flow edges, with valuePreserving indicating whether the step preserves values or just taintedness.

predicate isAdditionalFlowStep(Node pred, Node succ, boolean valuePreserving)