CodeQL library for Go
codeql/go-all 3.0.1-dev (changelog, source)
Search

Module ProvenancePathGraph

Provides a module for renumbering MaD IDs in data flow path explanations in order to produce more stable test output.

In addition to the PathGraph, a query predicate models is provided to list the contents of the referenced MaD rows.

Import path

import codeql.dataflow.test.ProvenancePathGraph

Modules

ShowProvenance

Transforms a PathGraph by printing the provenance information.

TestPostProcessing

Provides logic for creating a @kind test-postprocess query that prints the provenance information.

Predicate signatures

Type signatures