C#: Update test expected output.

This commit is contained in:
Michael Nebel
2025-01-08 14:15:05 +01:00
parent 908a3e3563
commit e9beeac60f
2 changed files with 8 additions and 1 deletions

View File

@@ -23,7 +23,7 @@ public class TestClass
{
var x1 = new MyClass();
var x2 = "Hello" + x1;
Sink(x2); // MISSING
Sink(x2);
}
public void M3()

View File

@@ -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 |