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

Module Make::DataFlowIntegration::WithState

Import path

import codeql.ssa.Ssa

Predicate signatures

guardChecksSig

Holds if the guard g validates the expression e upon evaluating to branch, blocking flow in the given state.

Parameters