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

Module MakeImpl::Impl::MkStage::Stage::Graph::Public

Import path

import codeql.dataflow.internal.DataFlowImpl

Predicates

flowPath

Holds if data can flow from source to sink.

Classes

PathNode

A Node augmented with a call context (except for sinks) and an access path. Only those PathNodes that are reachable from a source, and which can reach a sink, are generated.

Modules

PathGraph

Provides the query predicates needed to include a graph in a path-problem query.