CodeQL library for Java/Kotlin

codeql/java-all 4.1.1 (changelog, source)

Module signature MakeImpl::Impl::MkStage::Stage::LocalFlowBigStepInputSig

Provides the input to LocalFlowBigStep.

Import path

import codeql.dataflow.internal.DataFlowImpl

Predicates