CodeQL library for Java/Kotlin
codeql/java-all 0.10.0 (changelog, source)
Search

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 node1 to node2 in addition to the normal data-flow steps.

isBarrierIn

Holds if data flow into node is prohibited.

isBarrierOut

Holds if data flow out of node is prohibited.

isSink

Holds if sink is a relevant data flow sink.

isSource

Holds if source is a relevant data flow source.