Module InsecureRandomnessConfig
A taint-tracking configuration for Insecure randomness.
Import path
import semmle.code.java.security.InsecureRandomnessQuery
Predicates
isAdditionalFlowStep | Holds if data may flow from |
isBarrierIn | Holds if data flow into |
isBarrierOut | Holds if data flow out of |
isSink | Holds if |
isSource | Holds if |