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

Predicate InsecureRandomness::isAdditionalTaintStep

Holds if the step pred -> succ is an additional taint-step for random values that are not cryptographically secure.

Import path

import semmle.javascript.security.dataflow.InsecureRandomnessCustomizations
predicate isAdditionalTaintStep(Node pred, Node succ)