CodeQL library for Java/Kotlin

codeql/java-all 9.1.2 (changelog, source)

Module JavaDataFlow

Import path

import semmle.code.java.dataflow.internal.DataFlowImplSpecific

Imports

Private
Public

Predicates

Gets the node corresponding to e.

Aliases

getSecondLevelScope	Gets the second-level scope containing the node `n`, if any.
isEvaluatingInOverlay	A local predicate that always holds for the overlay variant and never holds for the base variant. This is used to define local predicates that behave differently for the base and overlay variant.
mayBenefitFromCallContext	Holds if the set of viable implementations that can be called by `call` might be improved by knowing the call context. This is the case if the qualifier is a parameter of the enclosing callable of `call`.
validParameterAliasStep
viableImplInCallContext	Gets a viable dispatch target of `call` in the context `ctx`. This is restricted to those `call`s for which a context might make a difference.