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

Module JavaDataFlow

Import path

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

Imports

Predicates

exprNode

Gets the node corresponding to e.

Aliases

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.

viableImplInCallContext

Gets a viable dispatch target of call in the context ctx. This is restricted to those calls for which a context might make a difference.