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

Module InlineFlowTestMake::TaintTrackingGlobal

Import path

import codeql.dataflow.test.InlineFlowTest

Imports

Global<InlineFlowTest::InlineFlowTestMake::TaintTrackingGlobal::Config>

Constructs a global taint tracking computation.

Aliases

PathGraph

Transforms a PathGraph by printing the provenance information.

PathGraphNoInterpretModel

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

Parameters

ConfigConfigSig