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

Module DataFlowImpl5

DEPRECATED: Use Global and GlobalWithState instead.

Provides a Configuration class backwards-compatible interface to the data flow library.

Import path

import semmle.code.java.dataflow.internal.DataFlowImpl5

Imports

DataFlowImplCommonPublic
FlowStateString

DEPRECATED: Generally, a custom FlowState type should be used instead, but string can of course still be used without referring to this module.

Public

Classes

Configuration

DEPRECATED: Use Global and GlobalWithState instead.

PathNode

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

Aliases

PathGraph

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

flowsTo