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

Module ConditionalBypassFlowConfig

A taint tracking configuration for untrusted data flowing to sensitive conditions.

Import path

import semmle.code.java.security.ConditionalBypassQuery

Predicates

isAdditionalFlowStep

Holds if data may flow from node1 to node2 in addition to the normal data-flow steps.

isSink

Holds if sink is a relevant data flow sink.

isSource

Holds if source is a relevant data flow source.