Predicate unsafelySeeded
Holds if predictable seed source is used to initialise a random-number generator
used at use.
Import path
import semmle.code.java.security.RandomQuerypredicate unsafelySeeded(VarRead use, PredictableSeedExpr source)Holds if predictable seed source is used to initialise a random-number generator
used at use.
import semmle.code.java.security.RandomQuerypredicate unsafelySeeded(VarRead use, PredictableSeedExpr source)