Use post-process provenance pretty-printing in ql tests

Author: owen-mc

go/ql/test/library-tests/semmle/go/dataflow/DefaultTaintSanitizer/DefaultSanitizer.ql

@@ -4,6 +4,8 @@
  */
 
 import go
+import codeql.dataflow.test.ProvenancePathGraph
+import semmle.go.dataflow.ExternalFlow
 
 module Config implements DataFlow::ConfigSig {
   predicate isSource(DataFlow::Node n) { n instanceof RemoteFlowSource }
@@ -13,7 +15,7 @@ module Config implements DataFlow::ConfigSig {
 
 module Flow = TaintTracking::Global<Config>;
 
-import Flow::PathGraph
+import ShowProvenance<interpretModelForTest/2, Flow::PathNode, Flow::PathGraph>
 
 from Flow::PathNode source, Flow::PathNode sink
 where Flow::flowPath(source, sink)

go/ql/test/library-tests/semmle/go/dataflow/HiddenNodes/test.ql

@@ -2,10 +2,11 @@ import go
 import semmle.go.dataflow.ExternalFlow
 import ModelValidation
 import TestUtilities.InlineFlowTest
+import codeql.dataflow.test.ProvenancePathGraph
 
 module Flow = TaintTracking::Global<DefaultFlowConfig>;
 
-import Flow::PathGraph
+import ShowProvenance<interpretModelForTest/2, Flow::PathNode, Flow::PathGraph>
 
 from Flow::PathNode source, Flow::PathNode sink
 where Flow::flowPath(source, sink)

go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest1.ql

@@ -3,7 +3,9 @@
  */
 
 import Test
-import ThreatModelFlow::PathGraph
+import semmle.go.dataflow.ExternalFlow
+import codeql.dataflow.test.ProvenancePathGraph
+import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
 
 from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
 where ThreatModelFlow::flowPath(source, sink)

go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest2.ql

@@ -4,7 +4,9 @@
  */
 
 import Test
-import ThreatModelFlow::PathGraph
+import semmle.go.dataflow.ExternalFlow
+import codeql.dataflow.test.ProvenancePathGraph
+import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
 
 from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
 where ThreatModelFlow::flowPath(source, sink)

go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest3.ql

@@ -4,7 +4,9 @@
  */
 
 import Test
-import ThreatModelFlow::PathGraph
+import semmle.go.dataflow.ExternalFlow
+import codeql.dataflow.test.ProvenancePathGraph
+import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
 
 from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
 where ThreatModelFlow::flowPath(source, sink)

go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest4.ql

@@ -3,7 +3,9 @@
  */
 
 import Test
-import ThreatModelFlow::PathGraph
+import semmle.go.dataflow.ExternalFlow
+import codeql.dataflow.test.ProvenancePathGraph
+import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
 
 from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
 where ThreatModelFlow::flowPath(source, sink)

go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest5.ql

@@ -4,7 +4,9 @@
  */
 
 import Test
-import ThreatModelFlow::PathGraph
+import semmle.go.dataflow.ExternalFlow
+import codeql.dataflow.test.ProvenancePathGraph
+import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
 
 from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
 where ThreatModelFlow::flowPath(source, sink)

go/ql/test/library-tests/semmle/go/dataflow/ThreatModels/threat-models-flowtest6.ql

@@ -5,7 +5,9 @@
  */
 
 import Test
-import ThreatModelFlow::PathGraph
+import semmle.go.dataflow.ExternalFlow
+import codeql.dataflow.test.ProvenancePathGraph
+import ShowProvenance<interpretModelForTest/2, ThreatModelFlow::PathNode, ThreatModelFlow::PathGraph>
 
 from ThreatModelFlow::PathNode source, ThreatModelFlow::PathNode sink
 where ThreatModelFlow::flowPath(source, sink)

go/ql/test/library-tests/semmle/go/frameworks/Encoding/jsoniter.ql

@@ -2,7 +2,8 @@ import go
 import semmle.go.dataflow.ExternalFlow
 import ModelValidation
 import semmle.go.security.CommandInjection
-import CommandInjection::Flow::PathGraph
+import codeql.dataflow.test.ProvenancePathGraph
+import ShowProvenance<interpretModelForTest/2, CommandInjection::Flow::PathNode, CommandInjection::Flow::PathGraph>
 
 class UntrustedFunction extends Function {
   UntrustedFunction() { this.getName() = ["getUntrustedString", "getUntrustedBytes"] }

go/ql/test/library-tests/semmle/go/frameworks/Gorestful/gorestful.ql

@@ -2,7 +2,8 @@ import go
 import semmle.go.dataflow.ExternalFlow
 import ModelValidation
 import semmle.go.security.CommandInjection
-import CommandInjection::Flow::PathGraph
+import codeql.dataflow.test.ProvenancePathGraph
+import ShowProvenance<interpretModelForTest/2, CommandInjection::Flow::PathNode, CommandInjection::Flow::PathGraph>
 
 from CommandInjection::Flow::PathNode source, CommandInjection::Flow::PathNode sink
 where CommandInjection::Flow::flowPath(source, sink)