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

Module WrappedInvocation

Provides classes and predicates for reasoning about calls that may invoke one of their arguments.

Import path

import semmle.code.java.dispatch.WrappedInvocation

Imports

FlowSummary

Provides classes and predicates for defining flow summaries.

VirtualDispatch

Provides predicates for reasoning about runtime call targets through virtual dispatch.

java

Provides all default Java QL imports.

Predicates

getRunnerTarget

Gets a method that can be invoked through a functional interface as an argument to ma.