Module InlineFlowTestMake::TaintTrackingGlobal

Import path

import codeql.dataflow.test.InlineFlowTest

Constructs a global taint tracking computation.

PathGraph	Transforms a `PathGraph` by printing the provenance information.
PathGraphNoInterpretModel	Provides the query predicates needed to include a graph in a path-problem query.

Config