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)