test

hvitved · hvitved · commit f5f61894db82 · 2026-04-27T13:59:22.000+02:00
diff --git a/csharp/ql/test/library-tests/dataflow/local/DataFlowStep.expected b/csharp/ql/test/library-tests/dataflow/local/DataFlowStep.expected
@@ -527,6 +527,8 @@
 | LocalDataFlow.cs:381:13:381:13 | access to local variable x | LocalDataFlow.cs:381:13:381:29 | SSA def(x) |
 | LocalDataFlow.cs:381:13:381:29 | SSA def(x) | LocalDataFlow.cs:382:15:382:15 | access to local variable x |
 | LocalDataFlow.cs:381:17:381:29 | "not tainted" | LocalDataFlow.cs:381:13:381:13 | access to local variable x |
+| LocalDataFlow.cs:385:34:385:34 | SSA param(s) | LocalDataFlow.cs:387:15:387:15 | access to parameter s |
+| LocalDataFlow.cs:385:34:385:34 | s | LocalDataFlow.cs:385:34:385:34 | SSA param(s) |
 | SSA.cs:3:14:3:16 | this | SSA.cs:3:14:3:16 | this access |
 | SSA.cs:5:17:5:17 | SSA entry def(this.S) | SSA.cs:67:9:67:14 | access to field S |
 | SSA.cs:5:17:5:17 | this | SSA.cs:67:9:67:12 | this access |
diff --git a/csharp/ql/test/library-tests/dataflow/local/LocalDataFlow.cs b/csharp/ql/test/library-tests/dataflow/local/LocalDataFlow.cs
@@ -381,4 +381,9 @@ void PhiFlow(bool b1, bool b2)
             x = "not tainted";
         Check(x);
     }
+
+    void DefaultParamFlow(string s = "taint source")
+    {
+        Check(s);
+    }
 }
diff --git a/csharp/ql/test/library-tests/dataflow/local/TaintTrackingStep.expected b/csharp/ql/test/library-tests/dataflow/local/TaintTrackingStep.expected
@@ -639,6 +639,8 @@
 | LocalDataFlow.cs:381:13:381:13 | access to local variable x | LocalDataFlow.cs:381:13:381:29 | SSA def(x) |
 | LocalDataFlow.cs:381:13:381:29 | SSA def(x) | LocalDataFlow.cs:382:15:382:15 | access to local variable x |
 | LocalDataFlow.cs:381:17:381:29 | "not tainted" | LocalDataFlow.cs:381:13:381:13 | access to local variable x |
+| LocalDataFlow.cs:385:34:385:34 | SSA param(s) | LocalDataFlow.cs:387:15:387:15 | access to parameter s |
+| LocalDataFlow.cs:385:34:385:34 | s | LocalDataFlow.cs:385:34:385:34 | SSA param(s) |
 | SSA.cs:3:14:3:16 | this | SSA.cs:3:14:3:16 | this access |
 | SSA.cs:5:17:5:17 | SSA entry def(this.S) | SSA.cs:67:9:67:14 | access to field S |
 | SSA.cs:5:17:5:17 | this | SSA.cs:67:9:67:12 | this access |

Original file line number	Diff line number	Diff line change
`@@ -381,4 +381,9 @@ void PhiFlow(bool b1, bool b2)`
`381`	`381`	`x = "not tainted";`
`382`	`382`	`Check(x);`
`383`	`383`	`}`
	`384`	`+`
	`385`	`+ void DefaultParamFlow(string s = "taint source")`
	`386`	`+ {`
	`387`	`+ Check(s);`
	`388`	`+ }`
`384`	`389`	`}`