Java: Add PathGraph to test output for default inline flow tests.

aschackmull · aschackmull · commit 3cdc8d5eca90 · 2024-08-15T10:17:31.000+02:00
diff --git a/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.ql b/java/ql/test-kotlin1/library-tests/dataflow/summaries/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.ql b/java/ql/test-kotlin2/library-tests/dataflow/summaries/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/ext/TestModels/test.ql b/java/ql/test/ext/TestModels/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/callctx/test.ql b/java/ql/test/library-tests/dataflow/callctx/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/capture/inlinetest.ql b/java/ql/test/library-tests/dataflow/capture/inlinetest.ql
@@ -1,2 +1,3 @@
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/collections/containerflow.ql b/java/ql/test/library-tests/dataflow/collections/containerflow.ql
@@ -2,3 +2,4 @@ import java
 import semmle.code.java.dataflow.DataFlow
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/fluent-methods/flow.ql b/java/ql/test/library-tests/dataflow/fluent-methods/flow.ql
@@ -3,6 +3,7 @@ import semmle.code.java.dataflow.DataFlow
 import semmle.code.java.dataflow.FlowSteps
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
 
 class Model extends FluentMethod {
   Model() { this.getName() = "modelledFluentMethod" }
diff --git a/java/ql/test/library-tests/dataflow/stream-collect/test.ql b/java/ql/test/library-tests/dataflow/stream-collect/test.ql
@@ -1,2 +1,3 @@
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/stream-read/test.ql b/java/ql/test/library-tests/dataflow/stream-read/test.ql
@@ -1,2 +1,3 @@
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/synth-global/test.ql b/java/ql/test/library-tests/dataflow/synth-global/test.ql
@@ -3,3 +3,4 @@ import semmle.code.java.dataflow.ExternalFlow
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
 import ModelValidation
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/taint-format/test.ql b/java/ql/test/library-tests/dataflow/taint-format/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/taint-gson/dataFlow.ql b/java/ql/test/library-tests/dataflow/taint-gson/dataFlow.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/taint-jackson/dataFlow.ql b/java/ql/test/library-tests/dataflow/taint-jackson/dataFlow.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/dataflow/typeflow-dispatch/test.ql b/java/ql/test/library-tests/dataflow/typeflow-dispatch/test.ql
@@ -1,2 +1,3 @@
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/android/asynctask/test.ql b/java/ql/test/library-tests/frameworks/android/asynctask/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/android/content-provider-summaries/test.ql b/java/ql/test/library-tests/frameworks/android/content-provider-summaries/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/android/flow-steps/test.ql b/java/ql/test/library-tests/frameworks/android/flow-steps/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/android/intent/test.ql b/java/ql/test/library-tests/frameworks/android/intent/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/android/notification/test.ql b/java/ql/test/library-tests/frameworks/android/notification/test.ql
@@ -2,3 +2,4 @@ import java
 import semmle.code.java.frameworks.android.Intent
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/android/uri/test.ql b/java/ql/test/library-tests/frameworks/android/uri/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/android/widget/test.ql b/java/ql/test/library-tests/frameworks/android/widget/test.ql
@@ -2,6 +2,7 @@ import java
 import semmle.code.java.dataflow.FlowSources
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
 
 query predicate valueOf(MethodCall ma) {
   ma.getMethod().hasQualifiedName("java.lang", "String", "valueOf")
diff --git a/java/ql/test/library-tests/frameworks/apache-ant/test.ql b/java/ql/test/library-tests/frameworks/apache-ant/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/apache-collections/test.ql b/java/ql/test/library-tests/frameworks/apache-collections/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/apache-commons-compress/test.ql b/java/ql/test/library-tests/frameworks/apache-commons-compress/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/apache-commons-lang3/flow.ql b/java/ql/test/library-tests/frameworks/apache-commons-lang3/flow.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/gson/test.ql b/java/ql/test/library-tests/frameworks/gson/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/guava/generated/cache/test.ql b/java/ql/test/library-tests/frameworks/guava/generated/cache/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/guava/generated/collect/test.ql b/java/ql/test/library-tests/frameworks/guava/generated/collect/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/hudson/test.ql b/java/ql/test/library-tests/frameworks/hudson/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/jackson/test.ql b/java/ql/test/library-tests/frameworks/jackson/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/javax-json/test.ql b/java/ql/test/library-tests/frameworks/javax-json/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/jdk/java.io/test.ql b/java/ql/test/library-tests/frameworks/jdk/java.io/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/jdk/java.net/test.ql b/java/ql/test/library-tests/frameworks/jdk/java.net/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/jdk/java.nio.file/test.ql b/java/ql/test/library-tests/frameworks/jdk/java.nio.file/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/json-java/test.ql b/java/ql/test/library-tests/frameworks/json-java/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/netty/generated/test.ql b/java/ql/test/library-tests/frameworks/netty/generated/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/play/test.ql b/java/ql/test/library-tests/frameworks/play/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/beans/test.ql b/java/ql/test/library-tests/frameworks/spring/beans/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/cache/test.ql b/java/ql/test/library-tests/frameworks/spring/cache/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/context/flow.ql b/java/ql/test/library-tests/frameworks/spring/context/flow.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/data/test.ql b/java/ql/test/library-tests/frameworks/spring/data/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/http/flow.ql b/java/ql/test/library-tests/frameworks/spring/http/flow.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/ui/test.ql b/java/ql/test/library-tests/frameworks/spring/ui/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/util/test.ql b/java/ql/test/library-tests/frameworks/spring/util/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/validation/test.ql b/java/ql/test/library-tests/frameworks/spring/validation/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/webmultipart/test.ql b/java/ql/test/library-tests/frameworks/spring/webmultipart/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/spring/webutil/test.ql b/java/ql/test/library-tests/frameworks/spring/webutil/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/stapler/test.ql b/java/ql/test/library-tests/frameworks/stapler/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/stream/test.ql b/java/ql/test/library-tests/frameworks/stream/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/frameworks/thymeleaf/test.ql b/java/ql/test/library-tests/frameworks/thymeleaf/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/logging/test.ql b/java/ql/test/library-tests/logging/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/optional/test.ql b/java/ql/test/library-tests/optional/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/paths/test.ql b/java/ql/test/library-tests/paths/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/regex/test.ql b/java/ql/test/library-tests/regex/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph
diff --git a/java/ql/test/library-tests/scanner/test.ql b/java/ql/test/library-tests/scanner/test.ql
@@ -1,3 +1,4 @@
 import java
 import TestUtilities.InlineFlowTest
 import DefaultFlowTest
+import TaintFlow::PathGraph

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
`1`	`1`	`import TestUtilities.InlineFlowTest`
`2`	`2`	`import DefaultFlowTest`
	`3`	`+import TaintFlow::PathGraph`