mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
9 lines
419 B
Plaintext
9 lines
419 B
Plaintext
private import codeql.dataflow.DataFlow as DF
|
|
private import codeql.dataflow.test.ProvenancePathGraph as Graph
|
|
private import semmle.code.csharp.dataflow.internal.ExternalFlow
|
|
|
|
/** Transforms a `PathGraph` by printing the provenance information. */
|
|
module ShowProvenance<Graph::PathNodeSig PathNode, DF::PathGraphSig<PathNode> PathGraph> {
|
|
import Graph::ShowProvenance<interpretModelForTest/2, PathNode, PathGraph>
|
|
}
|