CodeQL library for JavaScript
Search

Member predicate TaintTracking::SharedTaintStep::heuristicStep

Holds if predsucc should be considered a taint-propagating data flow edge contributed by the heuristics library.

Such steps are provided by the semmle.javascript.heuristics libraries and will default to be being empty if those libraries are not imported.

predicate heuristicStep(Node pred, Node succ)