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.InsecureRandomnessCustomizationspredicate isAdditionalTaintStep(Node pred, Node succ)