From 7ba7af15a1d9dfce0e316944027ba8e0a3cb8f74 Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Wed, 8 Jan 2025 14:15:05 +0100 Subject: [PATCH] C#: Update test expected output. --- .../dataflow/implicittostring/implicitToString.cs | 2 +- .../dataflow/implicittostring/implicitToString.expected | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/csharp/ql/test/library-tests/dataflow/implicittostring/implicitToString.cs b/csharp/ql/test/library-tests/dataflow/implicittostring/implicitToString.cs index 0e1406e74ddb..132100bf38a0 100644 --- a/csharp/ql/test/library-tests/dataflow/implicittostring/implicitToString.cs +++ b/csharp/ql/test/library-tests/dataflow/implicittostring/implicitToString.cs @@ -23,7 +23,7 @@ public void M2() { var x1 = new MyClass(); var x2 = "Hello" + x1; - Sink(x2); // MISSING + Sink(x2); } public void M3() diff --git a/csharp/ql/test/library-tests/dataflow/implicittostring/implicitToString.expected b/csharp/ql/test/library-tests/dataflow/implicittostring/implicitToString.expected index 245c2f091f0d..448e08b48452 100644 --- a/csharp/ql/test/library-tests/dataflow/implicittostring/implicitToString.expected +++ b/csharp/ql/test/library-tests/dataflow/implicittostring/implicitToString.expected @@ -1,9 +1,12 @@ models edges | implicitToString.cs:9:20:9:28 | "tainted" : String | implicitToString.cs:18:28:18:40 | call to method ToString : String | provenance | | +| implicitToString.cs:9:20:9:28 | "tainted" : String | implicitToString.cs:25:28:25:29 | call to method ToString : String | provenance | | | implicitToString.cs:9:20:9:28 | "tainted" : String | implicitToString.cs:32:27:32:39 | call to method ToString : String | provenance | | | implicitToString.cs:18:13:18:14 | access to local variable x2 : String | implicitToString.cs:19:14:19:15 | access to local variable x2 | provenance | | | implicitToString.cs:18:28:18:40 | call to method ToString : String | implicitToString.cs:18:13:18:14 | access to local variable x2 : String | provenance | | +| implicitToString.cs:25:13:25:14 | access to local variable x2 : String | implicitToString.cs:26:14:26:15 | access to local variable x2 | provenance | | +| implicitToString.cs:25:28:25:29 | call to method ToString : String | implicitToString.cs:25:13:25:14 | access to local variable x2 : String | provenance | | | implicitToString.cs:32:13:32:14 | access to local variable x2 : String | implicitToString.cs:33:14:33:15 | access to local variable x2 | provenance | | | implicitToString.cs:32:27:32:39 | call to method ToString : String | implicitToString.cs:32:13:32:14 | access to local variable x2 : String | provenance | | nodes @@ -11,10 +14,14 @@ nodes | implicitToString.cs:18:13:18:14 | access to local variable x2 : String | semmle.label | access to local variable x2 : String | | implicitToString.cs:18:28:18:40 | call to method ToString : String | semmle.label | call to method ToString : String | | implicitToString.cs:19:14:19:15 | access to local variable x2 | semmle.label | access to local variable x2 | +| implicitToString.cs:25:13:25:14 | access to local variable x2 : String | semmle.label | access to local variable x2 : String | +| implicitToString.cs:25:28:25:29 | call to method ToString : String | semmle.label | call to method ToString : String | +| implicitToString.cs:26:14:26:15 | access to local variable x2 | semmle.label | access to local variable x2 | | implicitToString.cs:32:13:32:14 | access to local variable x2 : String | semmle.label | access to local variable x2 : String | | implicitToString.cs:32:27:32:39 | call to method ToString : String | semmle.label | call to method ToString : String | | implicitToString.cs:33:14:33:15 | access to local variable x2 | semmle.label | access to local variable x2 | subpaths #select | implicitToString.cs:9:20:9:28 | "tainted" : String | implicitToString.cs:9:20:9:28 | "tainted" : String | implicitToString.cs:19:14:19:15 | access to local variable x2 | $@ | implicitToString.cs:19:14:19:15 | access to local variable x2 | access to local variable x2 | +| implicitToString.cs:9:20:9:28 | "tainted" : String | implicitToString.cs:9:20:9:28 | "tainted" : String | implicitToString.cs:26:14:26:15 | access to local variable x2 | $@ | implicitToString.cs:26:14:26:15 | access to local variable x2 | access to local variable x2 | | implicitToString.cs:9:20:9:28 | "tainted" : String | implicitToString.cs:9:20:9:28 | "tainted" : String | implicitToString.cs:33:14:33:15 | access to local variable x2 | $@ | implicitToString.cs:33:14:33:15 | access to local variable x2 | access to local variable x2 |