hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 15:55:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #4417 from hvitved/csharp/named-tuple-tests

Browse Source 
C#: Add test for named tuple types
This commit is contained in:
Tom Hvitved
2020-10-07 13:26:49 +02:00
committed by GitHub
parent 6ddda1fa1d e15758ba7f
commit 88575799e9
31 changed files with 816 additions and 815 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
csharp/ql/test/library-tests/csharp7/CSharp7.cs
View File

@@ -61,9 +61,9 @@ class OutVariables
class Tuples
{
(int, int) F()
(int A, int B) F()
{
return (1, 2);
return (A: 1, B: 2);
}
void Expressions()
@@ -71,7 +71,7 @@ class Tuples
(var x, var y) = F();
var z = F();
(x, y) = F();
x = F().Item1;
x = F().A;
(x, y, z.Item1) = (1, 2, 3);
(x, y) = (x, y) = (1, 2);
(var a, (var b, var c)) = (1, z);
@@ -148,7 +148,8 @@ class LocalFunctions
return f9(1);
}
Action a = () => {
Action a = () =>
{
int f9() => 0;
};
@@ -295,7 +296,7 @@ class ForLoops
{
void Test()
{
for(int x=0; x<10 && x is int y; ++x)
for (int x = 0; x < 10 && x is int y; ++x)
{
Console.WriteLine(y);
}

6
csharp/ql/test/library-tests/csharp7/CaseCondition.expected
View File

@@ -1,3 +1,3 @@
| CSharp7.cs:253:13:253:31 | case ...: | CSharp7.cs:253:26:253:30 | ... < ... |
| CSharp7.cs:255:13:255:41 | case ...: | CSharp7.cs:255:27:255:40 | ... is ... |
| CSharp7.cs:258:13:258:36 | case ...: | CSharp7.cs:258:30:258:35 | ... > ... |
| CSharp7.cs:254:13:254:31 | case ...: | CSharp7.cs:254:26:254:30 | ... < ... |
| CSharp7.cs:256:13:256:41 | case ...: | CSharp7.cs:256:27:256:40 | ... is ... |
| CSharp7.cs:259:13:259:36 | case ...: | CSharp7.cs:259:30:259:35 | ... > ... |

8
csharp/ql/test/library-tests/csharp7/ConstructedLocalFunctions.expected
View File

@@ -1,4 +1,4 @@
| CSharp7.cs:160:9:160:24 | f | f() | f() |
| CSharp7.cs:161:9:161:25 | g | g(U) | g(T) |
| CSharp7.cs:163:9:168:9 | h | h(int, int) | h(T, U) |
| CSharp7.cs:163:9:168:9 | h | h(string, bool) | h(T, U) |
| CSharp7.cs:161:9:161:24 | f | f() | f() |
| CSharp7.cs:162:9:162:25 | g | g(U) | g(T) |
| CSharp7.cs:164:9:169:9 | h | h(int, int) | h(T, U) |
| CSharp7.cs:164:9:169:9 | h | h(string, bool) | h(T, U) |

88
csharp/ql/test/library-tests/csharp7/DefUse.expected
View File

@@ -29,47 +29,47 @@
| CSharp7.cs:141:20:141:20 | x | CSharp7.cs:141:41:141:41 | access to parameter x |
| CSharp7.cs:143:20:143:20 | x | CSharp7.cs:143:29:143:29 | access to parameter x |
| CSharp7.cs:147:24:147:24 | x | CSharp7.cs:147:33:147:33 | access to parameter x |
| CSharp7.cs:161:18:161:18 | t | CSharp7.cs:161:24:161:24 | access to parameter t |
| CSharp7.cs:163:26:163:26 | u | CSharp7.cs:167:22:167:22 | access to parameter u |
| CSharp7.cs:176:16:176:30 | String src = ... | CSharp7.cs:181:23:181:25 | access to local variable src |
| CSharp7.cs:176:16:176:30 | String src = ... | CSharp7.cs:182:23:182:25 | access to local variable src |
| CSharp7.cs:176:16:176:30 | String src = ... | CSharp7.cs:183:23:183:25 | access to local variable src |
| CSharp7.cs:177:25:177:25 | s | CSharp7.cs:177:33:177:33 | access to parameter s |
| CSharp7.cs:178:25:178:25 | s | CSharp7.cs:178:31:178:31 | access to parameter s |
| CSharp7.cs:179:25:179:25 | s | CSharp7.cs:179:37:179:37 | access to parameter s |
| CSharp7.cs:191:13:191:18 | Int32 v1 = ... | CSharp7.cs:192:26:192:27 | access to local variable v1 |
| CSharp7.cs:191:13:191:18 | Int32 v1 = ... | CSharp7.cs:198:21:198:22 | access to local variable v1 |
| CSharp7.cs:193:13:193:31 | Int32[] array = ... | CSharp7.cs:195:14:195:18 | access to local variable array |
| CSharp7.cs:193:13:193:31 | Int32[] array = ... | CSharp7.cs:196:26:196:30 | access to local variable array |
| CSharp7.cs:195:9:195:21 | ... = ... | CSharp7.cs:197:26:197:27 | access to local variable r1 |
| CSharp7.cs:195:9:195:21 | ... = ... | CSharp7.cs:199:33:199:34 | access to local variable r1 |
| CSharp7.cs:195:9:195:21 | ... = ... | CSharp7.cs:200:16:200:17 | access to local variable r1 |
| CSharp7.cs:203:24:203:24 | p | CSharp7.cs:206:20:206:20 | access to parameter p |
| CSharp7.cs:205:28:205:28 | q | CSharp7.cs:205:44:205:44 | access to parameter q |
| CSharp7.cs:233:16:233:23 | Object o = ... | CSharp7.cs:234:13:234:13 | access to local variable o |
| CSharp7.cs:233:16:233:23 | Object o = ... | CSharp7.cs:238:18:238:18 | access to local variable o |
| CSharp7.cs:233:16:233:23 | Object o = ... | CSharp7.cs:242:18:242:18 | access to local variable o |
| CSharp7.cs:233:16:233:23 | Object o = ... | CSharp7.cs:245:18:245:18 | access to local variable o |
| CSharp7.cs:233:16:233:23 | Object o = ... | CSharp7.cs:249:17:249:17 | access to local variable o |
| CSharp7.cs:233:16:233:23 | Object o = ... | CSharp7.cs:255:27:255:27 | access to local variable o |
| CSharp7.cs:234:18:234:23 | Int32 i1 | CSharp7.cs:234:28:234:29 | access to local variable i1 |
| CSharp7.cs:234:18:234:23 | Int32 i1 | CSharp7.cs:236:38:236:39 | access to local variable i1 |
| CSharp7.cs:238:23:238:31 | String s1 | CSharp7.cs:240:41:240:42 | access to local variable s1 |
| CSharp7.cs:255:32:255:40 | String s4 | CSharp7.cs:256:40:256:41 | access to local variable s4 |
| CSharp7.cs:258:18:258:23 | Int32 i2 | CSharp7.cs:258:30:258:31 | access to local variable i2 |
| CSharp7.cs:258:18:258:23 | Int32 i2 | CSharp7.cs:259:47:259:48 | access to local variable i2 |
| CSharp7.cs:261:18:261:23 | Int32 i3 | CSharp7.cs:262:42:262:43 | access to local variable i3 |
| CSharp7.cs:264:18:264:26 | String s2 | CSharp7.cs:265:45:265:46 | access to local variable s2 |
| CSharp7.cs:283:13:283:48 | Dictionary<Int32,String> dict = ... | CSharp7.cs:284:20:284:23 | access to local variable dict |
| CSharp7.cs:284:13:284:62 | IEnumerable<(Int32,String)> list = ... | CSharp7.cs:286:39:286:42 | access to local variable list |
| CSharp7.cs:284:13:284:62 | IEnumerable<(Int32,String)> list = ... | CSharp7.cs:288:36:288:39 | access to local variable list |
| CSharp7.cs:284:13:284:62 | IEnumerable<(Int32,String)> list = ... | CSharp7.cs:290:32:290:35 | access to local variable list |
| CSharp7.cs:284:32:284:35 | item | CSharp7.cs:284:41:284:44 | access to parameter item |
| CSharp7.cs:284:32:284:35 | item | CSharp7.cs:284:51:284:54 | access to parameter item |
| CSharp7.cs:298:17:298:19 | Int32 x = ... | CSharp7.cs:298:22:298:22 | access to local variable x |
| CSharp7.cs:298:17:298:19 | Int32 x = ... | CSharp7.cs:298:30:298:30 | access to local variable x |
| CSharp7.cs:298:17:298:19 | Int32 x = ... | CSharp7.cs:298:44:298:44 | access to local variable x |
| CSharp7.cs:298:35:298:39 | Int32 y | CSharp7.cs:300:31:300:31 | access to local variable y |
| CSharp7.cs:298:42:298:44 | ++... | CSharp7.cs:298:22:298:22 | access to local variable x |
| CSharp7.cs:298:42:298:44 | ++... | CSharp7.cs:298:30:298:30 | access to local variable x |
| CSharp7.cs:298:42:298:44 | ++... | CSharp7.cs:298:44:298:44 | access to local variable x |
| CSharp7.cs:162:18:162:18 | t | CSharp7.cs:162:24:162:24 | access to parameter t |
| CSharp7.cs:164:26:164:26 | u | CSharp7.cs:168:22:168:22 | access to parameter u |
| CSharp7.cs:177:16:177:30 | String src = ... | CSharp7.cs:182:23:182:25 | access to local variable src |
| CSharp7.cs:177:16:177:30 | String src = ... | CSharp7.cs:183:23:183:25 | access to local variable src |
| CSharp7.cs:177:16:177:30 | String src = ... | CSharp7.cs:184:23:184:25 | access to local variable src |
| CSharp7.cs:178:25:178:25 | s | CSharp7.cs:178:33:178:33 | access to parameter s |
| CSharp7.cs:179:25:179:25 | s | CSharp7.cs:179:31:179:31 | access to parameter s |
| CSharp7.cs:180:25:180:25 | s | CSharp7.cs:180:37:180:37 | access to parameter s |
| CSharp7.cs:192:13:192:18 | Int32 v1 = ... | CSharp7.cs:193:26:193:27 | access to local variable v1 |
| CSharp7.cs:192:13:192:18 | Int32 v1 = ... | CSharp7.cs:199:21:199:22 | access to local variable v1 |
| CSharp7.cs:194:13:194:31 | Int32[] array = ... | CSharp7.cs:196:14:196:18 | access to local variable array |
| CSharp7.cs:194:13:194:31 | Int32[] array = ... | CSharp7.cs:197:26:197:30 | access to local variable array |
| CSharp7.cs:196:9:196:21 | ... = ... | CSharp7.cs:198:26:198:27 | access to local variable r1 |
| CSharp7.cs:196:9:196:21 | ... = ... | CSharp7.cs:200:33:200:34 | access to local variable r1 |
| CSharp7.cs:196:9:196:21 | ... = ... | CSharp7.cs:201:16:201:17 | access to local variable r1 |
| CSharp7.cs:204:24:204:24 | p | CSharp7.cs:207:20:207:20 | access to parameter p |
| CSharp7.cs:206:28:206:28 | q | CSharp7.cs:206:44:206:44 | access to parameter q |
| CSharp7.cs:234:16:234:23 | Object o = ... | CSharp7.cs:235:13:235:13 | access to local variable o |
| CSharp7.cs:234:16:234:23 | Object o = ... | CSharp7.cs:239:18:239:18 | access to local variable o |
| CSharp7.cs:234:16:234:23 | Object o = ... | CSharp7.cs:243:18:243:18 | access to local variable o |
| CSharp7.cs:234:16:234:23 | Object o = ... | CSharp7.cs:246:18:246:18 | access to local variable o |
| CSharp7.cs:234:16:234:23 | Object o = ... | CSharp7.cs:250:17:250:17 | access to local variable o |
| CSharp7.cs:234:16:234:23 | Object o = ... | CSharp7.cs:256:27:256:27 | access to local variable o |
| CSharp7.cs:235:18:235:23 | Int32 i1 | CSharp7.cs:235:28:235:29 | access to local variable i1 |
| CSharp7.cs:235:18:235:23 | Int32 i1 | CSharp7.cs:237:38:237:39 | access to local variable i1 |
| CSharp7.cs:239:23:239:31 | String s1 | CSharp7.cs:241:41:241:42 | access to local variable s1 |
| CSharp7.cs:256:32:256:40 | String s4 | CSharp7.cs:257:40:257:41 | access to local variable s4 |
| CSharp7.cs:259:18:259:23 | Int32 i2 | CSharp7.cs:259:30:259:31 | access to local variable i2 |
| CSharp7.cs:259:18:259:23 | Int32 i2 | CSharp7.cs:260:47:260:48 | access to local variable i2 |
| CSharp7.cs:262:18:262:23 | Int32 i3 | CSharp7.cs:263:42:263:43 | access to local variable i3 |
| CSharp7.cs:265:18:265:26 | String s2 | CSharp7.cs:266:45:266:46 | access to local variable s2 |
| CSharp7.cs:284:13:284:48 | Dictionary<Int32,String> dict = ... | CSharp7.cs:285:20:285:23 | access to local variable dict |
| CSharp7.cs:285:13:285:62 | IEnumerable<(Int32,String)> list = ... | CSharp7.cs:287:39:287:42 | access to local variable list |
| CSharp7.cs:285:13:285:62 | IEnumerable<(Int32,String)> list = ... | CSharp7.cs:289:36:289:39 | access to local variable list |
| CSharp7.cs:285:13:285:62 | IEnumerable<(Int32,String)> list = ... | CSharp7.cs:291:32:291:35 | access to local variable list |
| CSharp7.cs:285:32:285:35 | item | CSharp7.cs:285:41:285:44 | access to parameter item |
| CSharp7.cs:285:32:285:35 | item | CSharp7.cs:285:51:285:54 | access to parameter item |
| CSharp7.cs:299:18:299:22 | Int32 x = ... | CSharp7.cs:299:25:299:25 | access to local variable x |
| CSharp7.cs:299:18:299:22 | Int32 x = ... | CSharp7.cs:299:35:299:35 | access to local variable x |
| CSharp7.cs:299:18:299:22 | Int32 x = ... | CSharp7.cs:299:49:299:49 | access to local variable x |
| CSharp7.cs:299:40:299:44 | Int32 y | CSharp7.cs:301:31:301:31 | access to local variable y |
| CSharp7.cs:299:47:299:49 | ++... | CSharp7.cs:299:25:299:25 | access to local variable x |
| CSharp7.cs:299:47:299:49 | ++... | CSharp7.cs:299:35:299:35 | access to local variable x |
| CSharp7.cs:299:47:299:49 | ++... | CSharp7.cs:299:49:299:49 | access to local variable x |

16
csharp/ql/test/library-tests/csharp7/Discards.expected
View File

@@ -1,8 +1,8 @@
| CSharp7.cs:222:9:222:9 | _ | (Int32,Double) |
| CSharp7.cs:222:19:222:19 | _ | Boolean |
| CSharp7.cs:223:10:223:10 | _ | Int32 |
| CSharp7.cs:223:13:223:13 | _ | Double |
| CSharp7.cs:223:24:223:24 | _ | Boolean |
| CSharp7.cs:224:17:224:17 | _ | Double |
| CSharp7.cs:224:28:224:28 | _ | Boolean |
| CSharp7.cs:225:10:225:10 | _ | Int32 |
| CSharp7.cs:223:9:223:9 | _ | (Int32,Double) |
| CSharp7.cs:223:19:223:19 | _ | Boolean |
| CSharp7.cs:224:10:224:10 | _ | Int32 |
| CSharp7.cs:224:13:224:13 | _ | Double |
| CSharp7.cs:224:24:224:24 | _ | Boolean |
| CSharp7.cs:225:17:225:17 | _ | Double |
| CSharp7.cs:225:28:225:28 | _ | Boolean |
| CSharp7.cs:226:10:226:10 | _ | Int32 |

14
csharp/ql/test/library-tests/csharp7/ExpressionBodies.expected
View File

@@ -9,10 +9,10 @@
| CSharp7.cs:141:9:141:51 | f6 | CSharp7.cs:141:26:141:50 | ... ? ... : ... |
| CSharp7.cs:143:9:143:31 | f7 | CSharp7.cs:143:26:143:30 | call to local function f6 |
| CSharp7.cs:147:13:147:35 | f9 | CSharp7.cs:147:30:147:34 | call to local function f7 |
| CSharp7.cs:152:13:152:26 | f9 | CSharp7.cs:152:25:152:25 | 0 |
| CSharp7.cs:160:9:160:24 | f | CSharp7.cs:160:23:160:23 | 1 |
| CSharp7.cs:161:9:161:25 | g | CSharp7.cs:161:24:161:24 | access to parameter t |
| CSharp7.cs:165:13:165:43 | f2 | CSharp7.cs:165:37:165:42 | call to local function f |
| CSharp7.cs:177:9:177:40 | f | CSharp7.cs:177:31:177:39 | ... + ... |
| CSharp7.cs:178:9:178:32 | g | CSharp7.cs:178:31:178:31 | access to parameter s |
| CSharp7.cs:284:32:284:61 | (...) => ... | CSharp7.cs:284:40:284:61 | (..., ...) |
| CSharp7.cs:153:13:153:26 | f9 | CSharp7.cs:153:25:153:25 | 0 |
| CSharp7.cs:161:9:161:24 | f | CSharp7.cs:161:23:161:23 | 1 |
| CSharp7.cs:162:9:162:25 | g | CSharp7.cs:162:24:162:24 | access to parameter t |
| CSharp7.cs:166:13:166:43 | f2 | CSharp7.cs:166:37:166:42 | call to local function f |
| CSharp7.cs:178:9:178:40 | f | CSharp7.cs:178:31:178:39 | ... + ... |
| CSharp7.cs:179:9:179:32 | g | CSharp7.cs:179:31:179:31 | access to parameter s |
| CSharp7.cs:285:32:285:61 | (...) => ... | CSharp7.cs:285:40:285:61 | (..., ...) |

12
csharp/ql/test/library-tests/csharp7/ForEach.expected
View File

@@ -1,6 +1,6 @@
| CSharp7.cs:286:9:286:47 | foreach (... ... in ...) ... | 0 | CSharp7.cs:286:23:286:23 | Int32 a | CSharp7.cs:286:23:286:23 | a | CSharp7.cs:286:39:286:42 | access to local variable list | CSharp7.cs:286:45:286:47 | {...} |
| CSharp7.cs:286:9:286:47 | foreach (... ... in ...) ... | 1 | CSharp7.cs:286:33:286:33 | String b | CSharp7.cs:286:33:286:33 | b | CSharp7.cs:286:39:286:42 | access to local variable list | CSharp7.cs:286:45:286:47 | {...} |
| CSharp7.cs:288:9:288:44 | foreach (... ... in ...) ... | 0 | CSharp7.cs:288:23:288:23 | Int32 a | CSharp7.cs:288:23:288:23 | a | CSharp7.cs:288:36:288:39 | access to local variable list | CSharp7.cs:288:42:288:44 | {...} |
| CSharp7.cs:288:9:288:44 | foreach (... ... in ...) ... | 1 | CSharp7.cs:288:30:288:30 | String b | CSharp7.cs:288:30:288:30 | b | CSharp7.cs:288:36:288:39 | access to local variable list | CSharp7.cs:288:42:288:44 | {...} |
| CSharp7.cs:290:9:290:40 | foreach (... ... in ...) ... | 0 | CSharp7.cs:290:23:290:23 | Int32 a | CSharp7.cs:290:23:290:23 | a | CSharp7.cs:290:32:290:35 | access to local variable list | CSharp7.cs:290:38:290:40 | {...} |
| CSharp7.cs:290:9:290:40 | foreach (... ... in ...) ... | 1 | CSharp7.cs:290:26:290:26 | String b | CSharp7.cs:290:26:290:26 | b | CSharp7.cs:290:32:290:35 | access to local variable list | CSharp7.cs:290:38:290:40 | {...} |
| CSharp7.cs:287:9:287:47 | foreach (... ... in ...) ... | 0 | CSharp7.cs:287:23:287:23 | Int32 a | CSharp7.cs:287:23:287:23 | a | CSharp7.cs:287:39:287:42 | access to local variable list | CSharp7.cs:287:45:287:47 | {...} |
| CSharp7.cs:287:9:287:47 | foreach (... ... in ...) ... | 1 | CSharp7.cs:287:33:287:33 | String b | CSharp7.cs:287:33:287:33 | b | CSharp7.cs:287:39:287:42 | access to local variable list | CSharp7.cs:287:45:287:47 | {...} |
| CSharp7.cs:289:9:289:44 | foreach (... ... in ...) ... | 0 | CSharp7.cs:289:23:289:23 | Int32 a | CSharp7.cs:289:23:289:23 | a | CSharp7.cs:289:36:289:39 | access to local variable list | CSharp7.cs:289:42:289:44 | {...} |
| CSharp7.cs:289:9:289:44 | foreach (... ... in ...) ... | 1 | CSharp7.cs:289:30:289:30 | String b | CSharp7.cs:289:30:289:30 | b | CSharp7.cs:289:36:289:39 | access to local variable list | CSharp7.cs:289:42:289:44 | {...} |
| CSharp7.cs:291:9:291:40 | foreach (... ... in ...) ... | 0 | CSharp7.cs:291:23:291:23 | Int32 a | CSharp7.cs:291:23:291:23 | a | CSharp7.cs:291:32:291:35 | access to local variable list | CSharp7.cs:291:38:291:40 | {...} |
| CSharp7.cs:291:9:291:40 | foreach (... ... in ...) ... | 1 | CSharp7.cs:291:26:291:26 | String b | CSharp7.cs:291:26:291:26 | b | CSharp7.cs:291:32:291:35 | access to local variable list | CSharp7.cs:291:38:291:40 | {...} |

6
csharp/ql/test/library-tests/csharp7/GlobalFlow.expected
View File

@@ -1,5 +1,5 @@
| CSharp7.cs:41:13:41:21 | "tainted" | CSharp7.cs:53:18:53:19 | access to local variable t1 |
| CSharp7.cs:57:11:57:19 | "tainted" | CSharp7.cs:58:18:58:19 | access to local variable t4 |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:176:22:176:30 | "tainted" |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:182:21:182:26 | call to local function g |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:183:21:183:26 | call to local function h |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:177:22:177:30 | "tainted" |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:183:21:183:26 | call to local function g |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:184:21:184:26 | call to local function h |

8
csharp/ql/test/library-tests/csharp7/GlobalTaintTracking.expected
View File

@@ -2,7 +2,7 @@
| CSharp7.cs:57:11:57:19 | "tainted" | CSharp7.cs:58:18:58:19 | access to local variable t4 |
| CSharp7.cs:89:19:89:27 | "tainted" | CSharp7.cs:89:18:89:34 | (..., ...) |
| CSharp7.cs:89:19:89:27 | "tainted" | CSharp7.cs:92:18:92:28 | call to method I |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:176:22:176:30 | "tainted" |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:181:21:181:26 | call to local function f |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:182:21:182:26 | call to local function g |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:183:21:183:26 | call to local function h |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:177:22:177:30 | "tainted" |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:182:21:182:26 | call to local function f |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:183:21:183:26 | call to local function g |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:184:21:184:26 | call to local function h |

146
csharp/ql/test/library-tests/csharp7/IsFlow.expected
View File

@@ -1,73 +1,73 @@
| CSharp7.cs:249:9:275:9 | switch (...) {...} | CSharp7.cs:249:17:249:17 | access to local variable o | semmle.label | successor |
| CSharp7.cs:249:17:249:17 | access to local variable o | CSharp7.cs:251:13:251:23 | case ...: | semmle.label | successor |
| CSharp7.cs:251:13:251:23 | case ...: | CSharp7.cs:251:18:251:22 | "xyz" | semmle.label | successor |
| CSharp7.cs:251:18:251:22 | "xyz" | CSharp7.cs:252:17:252:22 | break; | semmle.label | match |
| CSharp7.cs:251:18:251:22 | "xyz" | CSharp7.cs:253:13:253:31 | case ...: | semmle.label | no-match |
| CSharp7.cs:252:17:252:22 | break; | CSharp7.cs:231:10:231:13 | exit Test | semmle.label | break |
| CSharp7.cs:253:13:253:31 | case ...: | CSharp7.cs:253:18:253:19 | "" | semmle.label | successor |
| CSharp7.cs:253:18:253:19 | "" | CSharp7.cs:253:26:253:26 | 1 | semmle.label | match |
| CSharp7.cs:253:18:253:19 | "" | CSharp7.cs:255:13:255:41 | case ...: | semmle.label | no-match |
| CSharp7.cs:253:26:253:26 | 1 | CSharp7.cs:253:30:253:30 | 2 | semmle.label | successor |
| CSharp7.cs:253:26:253:30 | ... < ... | CSharp7.cs:254:17:254:22 | break; | semmle.label | true |
| CSharp7.cs:253:30:253:30 | 2 | CSharp7.cs:253:26:253:30 | ... < ... | semmle.label | successor |
| CSharp7.cs:254:17:254:22 | break; | CSharp7.cs:231:10:231:13 | exit Test | semmle.label | break |
| CSharp7.cs:255:13:255:41 | case ...: | CSharp7.cs:255:18:255:20 | "x" | semmle.label | successor |
| CSharp7.cs:255:18:255:20 | "x" | CSharp7.cs:255:27:255:27 | access to local variable o | semmle.label | match |
| CSharp7.cs:255:18:255:20 | "x" | CSharp7.cs:258:13:258:36 | case ...: | semmle.label | no-match |
| CSharp7.cs:255:27:255:27 | access to local variable o | CSharp7.cs:255:32:255:40 | String s4 | semmle.label | successor |
| CSharp7.cs:255:27:255:40 | ... is ... | CSharp7.cs:256:17:256:45 | ...; | semmle.label | true |
| CSharp7.cs:255:27:255:40 | ... is ... | CSharp7.cs:258:13:258:36 | case ...: | semmle.label | false |
| CSharp7.cs:255:32:255:40 | String s4 | CSharp7.cs:255:27:255:40 | ... is ... | semmle.label | successor |
| CSharp7.cs:256:17:256:44 | call to method WriteLine | CSharp7.cs:257:17:257:22 | break; | semmle.label | successor |
| CSharp7.cs:256:17:256:45 | ...; | CSharp7.cs:256:37:256:38 | "x " | semmle.label | successor |
| CSharp7.cs:256:35:256:43 | $"..." | CSharp7.cs:256:17:256:44 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:256:37:256:38 | "x " | CSharp7.cs:256:40:256:41 | access to local variable s4 | semmle.label | successor |
| CSharp7.cs:256:40:256:41 | access to local variable s4 | CSharp7.cs:256:35:256:43 | $"..." | semmle.label | successor |
| CSharp7.cs:257:17:257:22 | break; | CSharp7.cs:231:10:231:13 | exit Test | semmle.label | break |
| CSharp7.cs:258:13:258:36 | case ...: | CSharp7.cs:258:18:258:23 | Int32 i2 | semmle.label | successor |
| CSharp7.cs:258:18:258:23 | Int32 i2 | CSharp7.cs:258:30:258:31 | access to local variable i2 | semmle.label | match |
| CSharp7.cs:258:18:258:23 | Int32 i2 | CSharp7.cs:261:13:261:24 | case ...: | semmle.label | no-match |
| CSharp7.cs:258:30:258:31 | access to local variable i2 | CSharp7.cs:258:35:258:35 | 0 | semmle.label | successor |
| CSharp7.cs:258:30:258:35 | ... > ... | CSharp7.cs:259:17:259:52 | ...; | semmle.label | true |
| CSharp7.cs:258:30:258:35 | ... > ... | CSharp7.cs:261:13:261:24 | case ...: | semmle.label | false |
| CSharp7.cs:258:35:258:35 | 0 | CSharp7.cs:258:30:258:35 | ... > ... | semmle.label | successor |
| CSharp7.cs:259:17:259:51 | call to method WriteLine | CSharp7.cs:260:17:260:22 | break; | semmle.label | successor |
| CSharp7.cs:259:17:259:52 | ...; | CSharp7.cs:259:37:259:45 | "positive " | semmle.label | successor |
| CSharp7.cs:259:35:259:50 | $"..." | CSharp7.cs:259:17:259:51 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:259:37:259:45 | "positive " | CSharp7.cs:259:47:259:48 | access to local variable i2 | semmle.label | successor |
| CSharp7.cs:259:47:259:48 | access to local variable i2 | CSharp7.cs:259:35:259:50 | $"..." | semmle.label | successor |
| CSharp7.cs:260:17:260:22 | break; | CSharp7.cs:231:10:231:13 | exit Test | semmle.label | break |
| CSharp7.cs:261:13:261:24 | case ...: | CSharp7.cs:261:18:261:23 | Int32 i3 | semmle.label | successor |
| CSharp7.cs:261:18:261:23 | Int32 i3 | CSharp7.cs:262:17:262:47 | ...; | semmle.label | match |
| CSharp7.cs:261:18:261:23 | Int32 i3 | CSharp7.cs:264:13:264:27 | case ...: | semmle.label | no-match |
| CSharp7.cs:262:17:262:46 | call to method WriteLine | CSharp7.cs:263:17:263:22 | break; | semmle.label | successor |
| CSharp7.cs:262:17:262:47 | ...; | CSharp7.cs:262:37:262:40 | "int " | semmle.label | successor |
| CSharp7.cs:262:35:262:45 | $"..." | CSharp7.cs:262:17:262:46 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:262:37:262:40 | "int " | CSharp7.cs:262:42:262:43 | access to local variable i3 | semmle.label | successor |
| CSharp7.cs:262:42:262:43 | access to local variable i3 | CSharp7.cs:262:35:262:45 | $"..." | semmle.label | successor |
| CSharp7.cs:263:17:263:22 | break; | CSharp7.cs:231:10:231:13 | exit Test | semmle.label | break |
| CSharp7.cs:264:13:264:27 | case ...: | CSharp7.cs:264:18:264:26 | String s2 | semmle.label | successor |
| CSharp7.cs:264:18:264:26 | String s2 | CSharp7.cs:265:17:265:50 | ...; | semmle.label | match |
| CSharp7.cs:264:18:264:26 | String s2 | CSharp7.cs:267:13:267:26 | case ...: | semmle.label | no-match |
| CSharp7.cs:265:17:265:49 | call to method WriteLine | CSharp7.cs:266:17:266:22 | break; | semmle.label | successor |
| CSharp7.cs:265:17:265:50 | ...; | CSharp7.cs:265:37:265:43 | "string " | semmle.label | successor |
| CSharp7.cs:265:35:265:48 | $"..." | CSharp7.cs:265:17:265:49 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:265:37:265:43 | "string " | CSharp7.cs:265:45:265:46 | access to local variable s2 | semmle.label | successor |
| CSharp7.cs:265:45:265:46 | access to local variable s2 | CSharp7.cs:265:35:265:48 | $"..." | semmle.label | successor |
| CSharp7.cs:266:17:266:22 | break; | CSharp7.cs:231:10:231:13 | exit Test | semmle.label | break |
| CSharp7.cs:267:13:267:26 | case ...: | CSharp7.cs:267:18:267:23 | access to type Double | semmle.label | successor |
| CSharp7.cs:267:18:267:23 | access to type Double | CSharp7.cs:268:17:268:44 | ...; | semmle.label | match |
| CSharp7.cs:267:18:267:23 | access to type Double | CSharp7.cs:270:13:270:24 | case ...: | semmle.label | no-match |
| CSharp7.cs:268:17:268:43 | call to method WriteLine | CSharp7.cs:269:17:269:22 | break; | semmle.label | successor |
| CSharp7.cs:268:17:268:44 | ...; | CSharp7.cs:268:35:268:42 | "Double" | semmle.label | successor |
| CSharp7.cs:268:35:268:42 | "Double" | CSharp7.cs:268:17:268:43 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:269:17:269:22 | break; | CSharp7.cs:231:10:231:13 | exit Test | semmle.label | break |
| CSharp7.cs:270:13:270:24 | case ...: | CSharp7.cs:270:18:270:23 | Object v2 | semmle.label | successor |
| CSharp7.cs:270:18:270:23 | Object v2 | CSharp7.cs:271:17:271:22 | break; | semmle.label | match |
| CSharp7.cs:270:18:270:23 | Object v2 | CSharp7.cs:272:13:272:20 | default: | semmle.label | no-match |
| CSharp7.cs:271:17:271:22 | break; | CSharp7.cs:231:10:231:13 | exit Test | semmle.label | break |
| CSharp7.cs:272:13:272:20 | default: | CSharp7.cs:273:17:273:52 | ...; | semmle.label | successor |
| CSharp7.cs:273:17:273:51 | call to method WriteLine | CSharp7.cs:274:17:274:22 | break; | semmle.label | successor |
| CSharp7.cs:273:17:273:52 | ...; | CSharp7.cs:273:35:273:50 | "Something else" | semmle.label | successor |
| CSharp7.cs:273:35:273:50 | "Something else" | CSharp7.cs:273:17:273:51 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:274:17:274:22 | break; | CSharp7.cs:231:10:231:13 | exit Test | semmle.label | break |
| CSharp7.cs:250:9:276:9 | switch (...) {...} | CSharp7.cs:250:17:250:17 | access to local variable o | semmle.label | successor |
| CSharp7.cs:250:17:250:17 | access to local variable o | CSharp7.cs:252:13:252:23 | case ...: | semmle.label | successor |
| CSharp7.cs:252:13:252:23 | case ...: | CSharp7.cs:252:18:252:22 | "xyz" | semmle.label | successor |
| CSharp7.cs:252:18:252:22 | "xyz" | CSharp7.cs:253:17:253:22 | break; | semmle.label | match |
| CSharp7.cs:252:18:252:22 | "xyz" | CSharp7.cs:254:13:254:31 | case ...: | semmle.label | no-match |
| CSharp7.cs:253:17:253:22 | break; | CSharp7.cs:232:10:232:13 | exit Test | semmle.label | break |
| CSharp7.cs:254:13:254:31 | case ...: | CSharp7.cs:254:18:254:19 | "" | semmle.label | successor |
| CSharp7.cs:254:18:254:19 | "" | CSharp7.cs:254:26:254:26 | 1 | semmle.label | match |
| CSharp7.cs:254:18:254:19 | "" | CSharp7.cs:256:13:256:41 | case ...: | semmle.label | no-match |
| CSharp7.cs:254:26:254:26 | 1 | CSharp7.cs:254:30:254:30 | 2 | semmle.label | successor |
| CSharp7.cs:254:26:254:30 | ... < ... | CSharp7.cs:255:17:255:22 | break; | semmle.label | true |
| CSharp7.cs:254:30:254:30 | 2 | CSharp7.cs:254:26:254:30 | ... < ... | semmle.label | successor |
| CSharp7.cs:255:17:255:22 | break; | CSharp7.cs:232:10:232:13 | exit Test | semmle.label | break |
| CSharp7.cs:256:13:256:41 | case ...: | CSharp7.cs:256:18:256:20 | "x" | semmle.label | successor |
| CSharp7.cs:256:18:256:20 | "x" | CSharp7.cs:256:27:256:27 | access to local variable o | semmle.label | match |
| CSharp7.cs:256:18:256:20 | "x" | CSharp7.cs:259:13:259:36 | case ...: | semmle.label | no-match |
| CSharp7.cs:256:27:256:27 | access to local variable o | CSharp7.cs:256:32:256:40 | String s4 | semmle.label | successor |
| CSharp7.cs:256:27:256:40 | ... is ... | CSharp7.cs:257:17:257:45 | ...; | semmle.label | true |
| CSharp7.cs:256:27:256:40 | ... is ... | CSharp7.cs:259:13:259:36 | case ...: | semmle.label | false |
| CSharp7.cs:256:32:256:40 | String s4 | CSharp7.cs:256:27:256:40 | ... is ... | semmle.label | successor |
| CSharp7.cs:257:17:257:44 | call to method WriteLine | CSharp7.cs:258:17:258:22 | break; | semmle.label | successor |
| CSharp7.cs:257:17:257:45 | ...; | CSharp7.cs:257:37:257:38 | "x " | semmle.label | successor |
| CSharp7.cs:257:35:257:43 | $"..." | CSharp7.cs:257:17:257:44 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:257:37:257:38 | "x " | CSharp7.cs:257:40:257:41 | access to local variable s4 | semmle.label | successor |
| CSharp7.cs:257:40:257:41 | access to local variable s4 | CSharp7.cs:257:35:257:43 | $"..." | semmle.label | successor |
| CSharp7.cs:258:17:258:22 | break; | CSharp7.cs:232:10:232:13 | exit Test | semmle.label | break |
| CSharp7.cs:259:13:259:36 | case ...: | CSharp7.cs:259:18:259:23 | Int32 i2 | semmle.label | successor |
| CSharp7.cs:259:18:259:23 | Int32 i2 | CSharp7.cs:259:30:259:31 | access to local variable i2 | semmle.label | match |
| CSharp7.cs:259:18:259:23 | Int32 i2 | CSharp7.cs:262:13:262:24 | case ...: | semmle.label | no-match |
| CSharp7.cs:259:30:259:31 | access to local variable i2 | CSharp7.cs:259:35:259:35 | 0 | semmle.label | successor |
| CSharp7.cs:259:30:259:35 | ... > ... | CSharp7.cs:260:17:260:52 | ...; | semmle.label | true |
| CSharp7.cs:259:30:259:35 | ... > ... | CSharp7.cs:262:13:262:24 | case ...: | semmle.label | false |
| CSharp7.cs:259:35:259:35 | 0 | CSharp7.cs:259:30:259:35 | ... > ... | semmle.label | successor |
| CSharp7.cs:260:17:260:51 | call to method WriteLine | CSharp7.cs:261:17:261:22 | break; | semmle.label | successor |
| CSharp7.cs:260:17:260:52 | ...; | CSharp7.cs:260:37:260:45 | "positive " | semmle.label | successor |
| CSharp7.cs:260:35:260:50 | $"..." | CSharp7.cs:260:17:260:51 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:260:37:260:45 | "positive " | CSharp7.cs:260:47:260:48 | access to local variable i2 | semmle.label | successor |
| CSharp7.cs:260:47:260:48 | access to local variable i2 | CSharp7.cs:260:35:260:50 | $"..." | semmle.label | successor |
| CSharp7.cs:261:17:261:22 | break; | CSharp7.cs:232:10:232:13 | exit Test | semmle.label | break |
| CSharp7.cs:262:13:262:24 | case ...: | CSharp7.cs:262:18:262:23 | Int32 i3 | semmle.label | successor |
| CSharp7.cs:262:18:262:23 | Int32 i3 | CSharp7.cs:263:17:263:47 | ...; | semmle.label | match |
| CSharp7.cs:262:18:262:23 | Int32 i3 | CSharp7.cs:265:13:265:27 | case ...: | semmle.label | no-match |
| CSharp7.cs:263:17:263:46 | call to method WriteLine | CSharp7.cs:264:17:264:22 | break; | semmle.label | successor |
| CSharp7.cs:263:17:263:47 | ...; | CSharp7.cs:263:37:263:40 | "int " | semmle.label | successor |
| CSharp7.cs:263:35:263:45 | $"..." | CSharp7.cs:263:17:263:46 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:263:37:263:40 | "int " | CSharp7.cs:263:42:263:43 | access to local variable i3 | semmle.label | successor |
| CSharp7.cs:263:42:263:43 | access to local variable i3 | CSharp7.cs:263:35:263:45 | $"..." | semmle.label | successor |
| CSharp7.cs:264:17:264:22 | break; | CSharp7.cs:232:10:232:13 | exit Test | semmle.label | break |
| CSharp7.cs:265:13:265:27 | case ...: | CSharp7.cs:265:18:265:26 | String s2 | semmle.label | successor |
| CSharp7.cs:265:18:265:26 | String s2 | CSharp7.cs:266:17:266:50 | ...; | semmle.label | match |
| CSharp7.cs:265:18:265:26 | String s2 | CSharp7.cs:268:13:268:26 | case ...: | semmle.label | no-match |
| CSharp7.cs:266:17:266:49 | call to method WriteLine | CSharp7.cs:267:17:267:22 | break; | semmle.label | successor |
| CSharp7.cs:266:17:266:50 | ...; | CSharp7.cs:266:37:266:43 | "string " | semmle.label | successor |
| CSharp7.cs:266:35:266:48 | $"..." | CSharp7.cs:266:17:266:49 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:266:37:266:43 | "string " | CSharp7.cs:266:45:266:46 | access to local variable s2 | semmle.label | successor |
| CSharp7.cs:266:45:266:46 | access to local variable s2 | CSharp7.cs:266:35:266:48 | $"..." | semmle.label | successor |
| CSharp7.cs:267:17:267:22 | break; | CSharp7.cs:232:10:232:13 | exit Test | semmle.label | break |
| CSharp7.cs:268:13:268:26 | case ...: | CSharp7.cs:268:18:268:23 | access to type Double | semmle.label | successor |
| CSharp7.cs:268:18:268:23 | access to type Double | CSharp7.cs:269:17:269:44 | ...; | semmle.label | match |
| CSharp7.cs:268:18:268:23 | access to type Double | CSharp7.cs:271:13:271:24 | case ...: | semmle.label | no-match |
| CSharp7.cs:269:17:269:43 | call to method WriteLine | CSharp7.cs:270:17:270:22 | break; | semmle.label | successor |
| CSharp7.cs:269:17:269:44 | ...; | CSharp7.cs:269:35:269:42 | "Double" | semmle.label | successor |
| CSharp7.cs:269:35:269:42 | "Double" | CSharp7.cs:269:17:269:43 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:270:17:270:22 | break; | CSharp7.cs:232:10:232:13 | exit Test | semmle.label | break |
| CSharp7.cs:271:13:271:24 | case ...: | CSharp7.cs:271:18:271:23 | Object v2 | semmle.label | successor |
| CSharp7.cs:271:18:271:23 | Object v2 | CSharp7.cs:272:17:272:22 | break; | semmle.label | match |
| CSharp7.cs:271:18:271:23 | Object v2 | CSharp7.cs:273:13:273:20 | default: | semmle.label | no-match |
| CSharp7.cs:272:17:272:22 | break; | CSharp7.cs:232:10:232:13 | exit Test | semmle.label | break |
| CSharp7.cs:273:13:273:20 | default: | CSharp7.cs:274:17:274:52 | ...; | semmle.label | successor |
| CSharp7.cs:274:17:274:51 | call to method WriteLine | CSharp7.cs:275:17:275:22 | break; | semmle.label | successor |
| CSharp7.cs:274:17:274:52 | ...; | CSharp7.cs:274:35:274:50 | "Something else" | semmle.label | successor |
| CSharp7.cs:274:35:274:50 | "Something else" | CSharp7.cs:274:17:274:51 | call to method WriteLine | semmle.label | successor |
| CSharp7.cs:275:17:275:22 | break; | CSharp7.cs:232:10:232:13 | exit Test | semmle.label | break |

10
csharp/ql/test/library-tests/csharp7/IsPatterns.expected
View File

@@ -1,5 +1,5 @@
| CSharp7.cs:234:13:234:23 | ... is ... | Int32 | CSharp7.cs:234:18:234:23 | Int32 i1 | false |
| CSharp7.cs:238:18:238:31 | ... is ... | String | CSharp7.cs:238:23:238:31 | String s1 | false |
| CSharp7.cs:245:18:245:28 | ... is ... | Object | CSharp7.cs:245:23:245:28 | Object v1 | true |
| CSharp7.cs:255:27:255:40 | ... is ... | String | CSharp7.cs:255:32:255:40 | String s4 | false |
| CSharp7.cs:298:30:298:39 | ... is ... | Int32 | CSharp7.cs:298:35:298:39 | Int32 y | false |
| CSharp7.cs:235:13:235:23 | ... is ... | Int32 | CSharp7.cs:235:18:235:23 | Int32 i1 | false |
| CSharp7.cs:239:18:239:31 | ... is ... | String | CSharp7.cs:239:23:239:31 | String s1 | false |
| CSharp7.cs:246:18:246:28 | ... is ... | Object | CSharp7.cs:246:23:246:28 | Object v1 | true |
| CSharp7.cs:256:27:256:40 | ... is ... | String | CSharp7.cs:256:32:256:40 | String s4 | false |
| CSharp7.cs:299:35:299:44 | ... is ... | Int32 | CSharp7.cs:299:40:299:44 | Int32 y | false |

20
csharp/ql/test/library-tests/csharp7/LocalFunctionCallArguments.expected
View File

@@ -2,13 +2,13 @@
| CSharp7.cs:143:26:143:30 | call to local function f6 | 0 | CSharp7.cs:143:29:143:29 | access to parameter x |
| CSharp7.cs:147:30:147:34 | call to local function f7 | 0 | CSharp7.cs:147:33:147:33 | access to parameter x |
| CSharp7.cs:148:20:148:24 | call to local function f9 | 0 | CSharp7.cs:148:23:148:23 | 1 |
| CSharp7.cs:155:16:155:20 | call to local function f1 | 0 | CSharp7.cs:155:19:155:19 | 2 |
| CSharp7.cs:167:20:167:23 | call to local function g | 0 | CSharp7.cs:167:22:167:22 | access to parameter u |
| CSharp7.cs:170:9:170:15 | call to local function h | 0 | CSharp7.cs:170:11:170:11 | 0 |
| CSharp7.cs:170:9:170:15 | call to local function h | 1 | CSharp7.cs:170:14:170:14 | 0 |
| CSharp7.cs:171:9:171:19 | call to local function h | 0 | CSharp7.cs:171:11:171:12 | "" |
| CSharp7.cs:171:9:171:19 | call to local function h | 1 | CSharp7.cs:171:15:171:18 | true |
| CSharp7.cs:177:31:177:34 | call to local function g | 0 | CSharp7.cs:177:33:177:33 | access to parameter s |
| CSharp7.cs:181:21:181:26 | call to local function f | 0 | CSharp7.cs:181:23:181:25 | access to local variable src |
| CSharp7.cs:182:21:182:26 | call to local function g | 0 | CSharp7.cs:182:23:182:25 | access to local variable src |
| CSharp7.cs:183:21:183:26 | call to local function h | 0 | CSharp7.cs:183:23:183:25 | access to local variable src |
| CSharp7.cs:156:16:156:20 | call to local function f1 | 0 | CSharp7.cs:156:19:156:19 | 2 |
| CSharp7.cs:168:20:168:23 | call to local function g | 0 | CSharp7.cs:168:22:168:22 | access to parameter u |
| CSharp7.cs:171:9:171:15 | call to local function h | 0 | CSharp7.cs:171:11:171:11 | 0 |
| CSharp7.cs:171:9:171:15 | call to local function h | 1 | CSharp7.cs:171:14:171:14 | 0 |
| CSharp7.cs:172:9:172:19 | call to local function h | 0 | CSharp7.cs:172:11:172:12 | "" |
| CSharp7.cs:172:9:172:19 | call to local function h | 1 | CSharp7.cs:172:15:172:18 | true |
| CSharp7.cs:178:31:178:34 | call to local function g | 0 | CSharp7.cs:178:33:178:33 | access to parameter s |
| CSharp7.cs:182:21:182:26 | call to local function f | 0 | CSharp7.cs:182:23:182:25 | access to local variable src |
| CSharp7.cs:183:21:183:26 | call to local function g | 0 | CSharp7.cs:183:23:183:25 | access to local variable src |
| CSharp7.cs:184:21:184:26 | call to local function h | 0 | CSharp7.cs:184:23:184:25 | access to local variable src |

20
csharp/ql/test/library-tests/csharp7/LocalFunctionCalls.expected
View File

@@ -2,13 +2,13 @@
| CSharp7.cs:143:26:143:30 | call to local function f6 | CSharp7.cs:141:9:141:51 | f6 | CSharp7.cs:141:9:141:51 | f6 |
| CSharp7.cs:147:30:147:34 | call to local function f7 | CSharp7.cs:143:9:143:31 | f7 | CSharp7.cs:143:9:143:31 | f7 |
| CSharp7.cs:148:20:148:24 | call to local function f9 | CSharp7.cs:147:13:147:35 | f9 | CSharp7.cs:147:13:147:35 | f9 |
| CSharp7.cs:155:16:155:20 | call to local function f1 | CSharp7.cs:131:9:131:39 | f1 | CSharp7.cs:131:9:131:39 | f1 |
| CSharp7.cs:165:37:165:42 | call to local function f | CSharp7.cs:160:9:160:24 | f | CSharp7.cs:160:9:160:24 | f |
| CSharp7.cs:166:13:166:18 | call to local function f | CSharp7.cs:160:9:160:24 | f | CSharp7.cs:160:9:160:24 | f |
| CSharp7.cs:167:20:167:23 | call to local function g | CSharp7.cs:161:9:161:25 | g | CSharp7.cs:161:9:161:25 | g |
| CSharp7.cs:170:9:170:15 | call to local function h | CSharp7.cs:163:9:168:9 | h | CSharp7.cs:163:9:168:9 | h |
| CSharp7.cs:171:9:171:19 | call to local function h | CSharp7.cs:163:9:168:9 | h | CSharp7.cs:163:9:168:9 | h |
| CSharp7.cs:177:31:177:34 | call to local function g | CSharp7.cs:178:9:178:32 | g | CSharp7.cs:178:9:178:32 | g |
| CSharp7.cs:181:21:181:26 | call to local function f | CSharp7.cs:177:9:177:40 | f | CSharp7.cs:177:9:177:40 | f |
| CSharp7.cs:182:21:182:26 | call to local function g | CSharp7.cs:178:9:178:32 | g | CSharp7.cs:178:9:178:32 | g |
| CSharp7.cs:183:21:183:26 | call to local function h | CSharp7.cs:179:9:179:40 | h | CSharp7.cs:179:9:179:40 | h |
| CSharp7.cs:156:16:156:20 | call to local function f1 | CSharp7.cs:131:9:131:39 | f1 | CSharp7.cs:131:9:131:39 | f1 |
| CSharp7.cs:166:37:166:42 | call to local function f | CSharp7.cs:161:9:161:24 | f | CSharp7.cs:161:9:161:24 | f |
| CSharp7.cs:167:13:167:18 | call to local function f | CSharp7.cs:161:9:161:24 | f | CSharp7.cs:161:9:161:24 | f |
| CSharp7.cs:168:20:168:23 | call to local function g | CSharp7.cs:162:9:162:25 | g | CSharp7.cs:162:9:162:25 | g |
| CSharp7.cs:171:9:171:15 | call to local function h | CSharp7.cs:164:9:169:9 | h | CSharp7.cs:164:9:169:9 | h |
| CSharp7.cs:172:9:172:19 | call to local function h | CSharp7.cs:164:9:169:9 | h | CSharp7.cs:164:9:169:9 | h |
| CSharp7.cs:178:31:178:34 | call to local function g | CSharp7.cs:179:9:179:32 | g | CSharp7.cs:179:9:179:32 | g |
| CSharp7.cs:182:21:182:26 | call to local function f | CSharp7.cs:178:9:178:40 | f | CSharp7.cs:178:9:178:40 | f |
| CSharp7.cs:183:21:183:26 | call to local function g | CSharp7.cs:179:9:179:32 | g | CSharp7.cs:179:9:179:32 | g |
| CSharp7.cs:184:21:184:26 | call to local function h | CSharp7.cs:180:9:180:40 | h | CSharp7.cs:180:9:180:40 | h |

28
csharp/ql/test/library-tests/csharp7/LocalFunctionParameters.expected
View File

@@ -4,17 +4,17 @@
| CSharp7.cs:141:9:141:51 | f6 | 0 | CSharp7.cs:141:20:141:20 | x | Int32 |
| CSharp7.cs:143:9:143:31 | f7 | 0 | CSharp7.cs:143:20:143:20 | x | Int32 |
| CSharp7.cs:147:13:147:35 | f9 | 0 | CSharp7.cs:147:24:147:24 | x | Int32 |
| CSharp7.cs:161:9:161:25 | g | 0 | CSharp7.cs:161:18:161:18 | t | T |
| CSharp7.cs:161:9:161:25 | g | 0 | CSharp7.cs:161:18:161:18 | t | U |
| CSharp7.cs:163:9:168:9 | h | 0 | CSharp7.cs:163:21:163:21 | t | Int32 |
| CSharp7.cs:163:9:168:9 | h | 0 | CSharp7.cs:163:21:163:21 | t | String |
| CSharp7.cs:163:9:168:9 | h | 0 | CSharp7.cs:163:21:163:21 | t | T |
| CSharp7.cs:163:9:168:9 | h | 1 | CSharp7.cs:163:26:163:26 | u | Boolean |
| CSharp7.cs:163:9:168:9 | h | 1 | CSharp7.cs:163:26:163:26 | u | Int32 |
| CSharp7.cs:163:9:168:9 | h | 1 | CSharp7.cs:163:26:163:26 | u | U |
| CSharp7.cs:165:13:165:43 | f2 | 0 | CSharp7.cs:165:25:165:25 | s | S |
| CSharp7.cs:165:13:165:43 | f2 | 1 | CSharp7.cs:165:30:165:31 | _t | T |
| CSharp7.cs:177:9:177:40 | f | 0 | CSharp7.cs:177:25:177:25 | s | String |
| CSharp7.cs:178:9:178:32 | g | 0 | CSharp7.cs:178:25:178:25 | s | String |
| CSharp7.cs:179:9:179:40 | h | 0 | CSharp7.cs:179:25:179:25 | s | String |
| CSharp7.cs:205:9:205:47 | F3 | 0 | CSharp7.cs:205:28:205:28 | q | Int32 |
| CSharp7.cs:162:9:162:25 | g | 0 | CSharp7.cs:162:18:162:18 | t | T |
| CSharp7.cs:162:9:162:25 | g | 0 | CSharp7.cs:162:18:162:18 | t | U |
| CSharp7.cs:164:9:169:9 | h | 0 | CSharp7.cs:164:21:164:21 | t | Int32 |
| CSharp7.cs:164:9:169:9 | h | 0 | CSharp7.cs:164:21:164:21 | t | String |
| CSharp7.cs:164:9:169:9 | h | 0 | CSharp7.cs:164:21:164:21 | t | T |
| CSharp7.cs:164:9:169:9 | h | 1 | CSharp7.cs:164:26:164:26 | u | Boolean |
| CSharp7.cs:164:9:169:9 | h | 1 | CSharp7.cs:164:26:164:26 | u | Int32 |
| CSharp7.cs:164:9:169:9 | h | 1 | CSharp7.cs:164:26:164:26 | u | U |
| CSharp7.cs:166:13:166:43 | f2 | 0 | CSharp7.cs:166:25:166:25 | s | S |
| CSharp7.cs:166:13:166:43 | f2 | 1 | CSharp7.cs:166:30:166:31 | _t | T |
| CSharp7.cs:178:9:178:40 | f | 0 | CSharp7.cs:178:25:178:25 | s | String |
| CSharp7.cs:179:9:179:32 | g | 0 | CSharp7.cs:179:25:179:25 | s | String |
| CSharp7.cs:180:9:180:40 | h | 0 | CSharp7.cs:180:25:180:25 | s | String |
| CSharp7.cs:206:9:206:47 | F3 | 0 | CSharp7.cs:206:28:206:28 | q | Int32 |

18
csharp/ql/test/library-tests/csharp7/LocalFunctionStmts.expected
View File

@@ -5,12 +5,12 @@
| CSharp7.cs:143:9:143:31 | f7(...) | CSharp7.cs:143:9:143:31 | f7 |
| CSharp7.cs:145:9:149:9 | f8(...) | CSharp7.cs:145:9:149:9 | f8 |
| CSharp7.cs:147:13:147:35 | f9(...) | CSharp7.cs:147:13:147:35 | f9 |
| CSharp7.cs:152:13:152:26 | f9(...) | CSharp7.cs:152:13:152:26 | f9 |
| CSharp7.cs:160:9:160:24 | f(...) | CSharp7.cs:160:9:160:24 | f |
| CSharp7.cs:161:9:161:25 | g(...) | CSharp7.cs:161:9:161:25 | g |
| CSharp7.cs:163:9:168:9 | h(...) | CSharp7.cs:163:9:168:9 | h |
| CSharp7.cs:165:13:165:43 | f2(...) | CSharp7.cs:165:13:165:43 | f2 |
| CSharp7.cs:177:9:177:40 | f(...) | CSharp7.cs:177:9:177:40 | f |
| CSharp7.cs:178:9:178:32 | g(...) | CSharp7.cs:178:9:178:32 | g |
| CSharp7.cs:179:9:179:40 | h(...) | CSharp7.cs:179:9:179:40 | h |
| CSharp7.cs:205:9:205:47 | F3(...) | CSharp7.cs:205:9:205:47 | F3 |
| CSharp7.cs:153:13:153:26 | f9(...) | CSharp7.cs:153:13:153:26 | f9 |
| CSharp7.cs:161:9:161:24 | f(...) | CSharp7.cs:161:9:161:24 | f |
| CSharp7.cs:162:9:162:25 | g(...) | CSharp7.cs:162:9:162:25 | g |
| CSharp7.cs:164:9:169:9 | h(...) | CSharp7.cs:164:9:169:9 | h |
| CSharp7.cs:166:13:166:43 | f2(...) | CSharp7.cs:166:13:166:43 | f2 |
| CSharp7.cs:178:9:178:40 | f(...) | CSharp7.cs:178:9:178:40 | f |
| CSharp7.cs:179:9:179:32 | g(...) | CSharp7.cs:179:9:179:32 | g |
| CSharp7.cs:180:9:180:40 | h(...) | CSharp7.cs:180:9:180:40 | h |
| CSharp7.cs:206:9:206:47 | F3(...) | CSharp7.cs:206:9:206:47 | F3 |

38
csharp/ql/test/library-tests/csharp7/LocalFunctions.expected
View File

@@ -1,20 +1,20 @@
| CSharp7.cs:131:9:131:39 | f1 | f1 | Int32 | CSharp7.cs:130:5:156:5 | {...} | CSharp7.cs:131:9:131:39 | f1(...) | f1(int) |
| CSharp7.cs:133:9:133:42 | f2 | f2 | T | CSharp7.cs:130:5:156:5 | {...} | CSharp7.cs:133:9:133:42 | f2(...) | f2(T, U) |
| CSharp7.cs:137:9:137:22 | f3 | f3 | Int32 | CSharp7.cs:130:5:156:5 | {...} | CSharp7.cs:137:9:137:22 | f3(...) | f3() |
| CSharp7.cs:141:9:141:51 | f6 | f6 | Int32 | CSharp7.cs:130:5:156:5 | {...} | CSharp7.cs:141:9:141:51 | f6(...) | f6(int) |
| CSharp7.cs:143:9:143:31 | f7 | f7 | Int32 | CSharp7.cs:130:5:156:5 | {...} | CSharp7.cs:143:9:143:31 | f7(...) | f7(int) |
| CSharp7.cs:145:9:149:9 | f8 | f8 | Int32 | CSharp7.cs:130:5:156:5 | {...} | CSharp7.cs:145:9:149:9 | f8(...) | f8() |
| CSharp7.cs:131:9:131:39 | f1 | f1 | Int32 | CSharp7.cs:130:5:157:5 | {...} | CSharp7.cs:131:9:131:39 | f1(...) | f1(int) |
| CSharp7.cs:133:9:133:42 | f2 | f2 | T | CSharp7.cs:130:5:157:5 | {...} | CSharp7.cs:133:9:133:42 | f2(...) | f2(T, U) |
| CSharp7.cs:137:9:137:22 | f3 | f3 | Int32 | CSharp7.cs:130:5:157:5 | {...} | CSharp7.cs:137:9:137:22 | f3(...) | f3() |
| CSharp7.cs:141:9:141:51 | f6 | f6 | Int32 | CSharp7.cs:130:5:157:5 | {...} | CSharp7.cs:141:9:141:51 | f6(...) | f6(int) |
| CSharp7.cs:143:9:143:31 | f7 | f7 | Int32 | CSharp7.cs:130:5:157:5 | {...} | CSharp7.cs:143:9:143:31 | f7(...) | f7(int) |
| CSharp7.cs:145:9:149:9 | f8 | f8 | Int32 | CSharp7.cs:130:5:157:5 | {...} | CSharp7.cs:145:9:149:9 | f8(...) | f8() |
| CSharp7.cs:147:13:147:35 | f9 | f9 | Int32 | CSharp7.cs:146:9:149:9 | {...} | CSharp7.cs:147:13:147:35 | f9(...) | f9(int) |
| CSharp7.cs:152:13:152:26 | f9 | f9 | Int32 | CSharp7.cs:151:26:153:9 | {...} | CSharp7.cs:152:13:152:26 | f9(...) | f9() |
| CSharp7.cs:160:9:160:24 | f | f | Int32 | CSharp7.cs:159:5:172:5 | {...} | CSharp7.cs:160:9:160:24 | f(...) | f() |
| CSharp7.cs:160:9:160:24 | f | f | Int32 | CSharp7.cs:159:5:172:5 | {...} | CSharp7.cs:160:9:160:24 | f(...) | f() |
| CSharp7.cs:161:9:161:25 | g | g | T | CSharp7.cs:159:5:172:5 | {...} | CSharp7.cs:161:9:161:25 | g(...) | g(T) |
| CSharp7.cs:161:9:161:25 | g | g | U | CSharp7.cs:159:5:172:5 | {...} | CSharp7.cs:161:9:161:25 | g(...) | g(U) |
| CSharp7.cs:163:9:168:9 | h | h | Boolean | CSharp7.cs:159:5:172:5 | {...} | CSharp7.cs:163:9:168:9 | h(...) | h(string, bool) |
| CSharp7.cs:163:9:168:9 | h | h | Int32 | CSharp7.cs:159:5:172:5 | {...} | CSharp7.cs:163:9:168:9 | h(...) | h(int, int) |
| CSharp7.cs:163:9:168:9 | h | h | U | CSharp7.cs:159:5:172:5 | {...} | CSharp7.cs:163:9:168:9 | h(...) | h(T, U) |
| CSharp7.cs:165:13:165:43 | f2 | f2 | Int32 | CSharp7.cs:164:9:168:9 | {...} | CSharp7.cs:165:13:165:43 | f2(...) | f2(S, T) |
| CSharp7.cs:177:9:177:40 | f | f | String | CSharp7.cs:175:5:184:5 | {...} | CSharp7.cs:177:9:177:40 | f(...) | f(string) |
| CSharp7.cs:178:9:178:32 | g | g | String | CSharp7.cs:175:5:184:5 | {...} | CSharp7.cs:178:9:178:32 | g(...) | g(string) |
| CSharp7.cs:179:9:179:40 | h | h | String | CSharp7.cs:175:5:184:5 | {...} | CSharp7.cs:179:9:179:40 | h(...) | h(string) |
| CSharp7.cs:205:9:205:47 | F3 | F3 | Int32 | CSharp7.cs:204:5:207:5 | {...} | CSharp7.cs:205:9:205:47 | F3(...) | F3(ref int) |
| CSharp7.cs:153:13:153:26 | f9 | f9 | Int32 | CSharp7.cs:152:9:154:9 | {...} | CSharp7.cs:153:13:153:26 | f9(...) | f9() |
| CSharp7.cs:161:9:161:24 | f | f | Int32 | CSharp7.cs:160:5:173:5 | {...} | CSharp7.cs:161:9:161:24 | f(...) | f() |
| CSharp7.cs:161:9:161:24 | f | f | Int32 | CSharp7.cs:160:5:173:5 | {...} | CSharp7.cs:161:9:161:24 | f(...) | f() |
| CSharp7.cs:162:9:162:25 | g | g | T | CSharp7.cs:160:5:173:5 | {...} | CSharp7.cs:162:9:162:25 | g(...) | g(T) |
| CSharp7.cs:162:9:162:25 | g | g | U | CSharp7.cs:160:5:173:5 | {...} | CSharp7.cs:162:9:162:25 | g(...) | g(U) |
| CSharp7.cs:164:9:169:9 | h | h | Boolean | CSharp7.cs:160:5:173:5 | {...} | CSharp7.cs:164:9:169:9 | h(...) | h(string, bool) |
| CSharp7.cs:164:9:169:9 | h | h | Int32 | CSharp7.cs:160:5:173:5 | {...} | CSharp7.cs:164:9:169:9 | h(...) | h(int, int) |
| CSharp7.cs:164:9:169:9 | h | h | U | CSharp7.cs:160:5:173:5 | {...} | CSharp7.cs:164:9:169:9 | h(...) | h(T, U) |
| CSharp7.cs:166:13:166:43 | f2 | f2 | Int32 | CSharp7.cs:165:9:169:9 | {...} | CSharp7.cs:166:13:166:43 | f2(...) | f2(S, T) |
| CSharp7.cs:178:9:178:40 | f | f | String | CSharp7.cs:176:5:185:5 | {...} | CSharp7.cs:178:9:178:40 | f(...) | f(string) |
| CSharp7.cs:179:9:179:32 | g | g | String | CSharp7.cs:176:5:185:5 | {...} | CSharp7.cs:179:9:179:32 | g(...) | g(string) |
| CSharp7.cs:180:9:180:40 | h | h | String | CSharp7.cs:176:5:185:5 | {...} | CSharp7.cs:180:9:180:40 | h(...) | h(string) |
| CSharp7.cs:206:9:206:47 | F3 | F3 | Int32 | CSharp7.cs:205:5:208:5 | {...} | CSharp7.cs:206:9:206:47 | F3(...) | F3(ref int) |

234
csharp/ql/test/library-tests/csharp7/LocalTaintFlow.expected
View File

@@ -29,8 +29,8 @@
| CSharp7.cs:54:9:54:17 | this access | CSharp7.cs:57:9:57:32 | this access |
| CSharp7.cs:54:15:54:16 | SSA def(t1) | CSharp7.cs:55:14:55:15 | access to local variable t1 |
| CSharp7.cs:57:30:57:31 | SSA def(t4) | CSharp7.cs:58:18:58:19 | access to local variable t4 |
| CSharp7.cs:66:17:66:17 | 1 | CSharp7.cs:66:16:66:21 | (..., ...) |
| CSharp7.cs:66:20:66:20 | 2 | CSharp7.cs:66:16:66:21 | (..., ...) |
| CSharp7.cs:66:20:66:20 | 1 | CSharp7.cs:66:16:66:27 | (..., ...) |
| CSharp7.cs:66:26:66:26 | 2 | CSharp7.cs:66:16:66:27 | (..., ...) |
| CSharp7.cs:69:10:69:20 | this | CSharp7.cs:71:26:71:28 | this access |
| CSharp7.cs:71:26:71:28 | [post] this access | CSharp7.cs:72:17:72:19 | this access |
| CSharp7.cs:71:26:71:28 | this access | CSharp7.cs:72:17:72:19 | this access |
@@ -40,7 +40,7 @@
| CSharp7.cs:72:17:72:19 | this access | CSharp7.cs:73:18:73:20 | this access |
| CSharp7.cs:73:18:73:20 | [post] this access | CSharp7.cs:74:13:74:15 | this access |
| CSharp7.cs:73:18:73:20 | this access | CSharp7.cs:74:13:74:15 | this access |
| CSharp7.cs:74:13:74:15 | call to method F | CSharp7.cs:74:13:74:21 | access to field Item1 |
| CSharp7.cs:74:13:74:15 | call to method F | CSharp7.cs:74:13:74:17 | access to field A |
| CSharp7.cs:75:16:75:16 | [post] access to local variable z | CSharp7.cs:77:39:77:39 | access to local variable z |
| CSharp7.cs:75:16:75:16 | access to local variable z | CSharp7.cs:77:39:77:39 | access to local variable z |
| CSharp7.cs:75:28:75:28 | 1 | CSharp7.cs:75:27:75:35 | (..., ...) |
@@ -116,7 +116,7 @@
| CSharp7.cs:131:32:131:32 | access to parameter x | CSharp7.cs:131:32:131:36 | ... + ... |
| CSharp7.cs:131:36:131:36 | 1 | CSharp7.cs:131:32:131:36 | ... + ... |
| CSharp7.cs:133:22:133:22 | t | CSharp7.cs:133:39:133:39 | access to parameter t |
| CSharp7.cs:135:24:135:25 | this access | CSharp7.cs:155:16:155:17 | this access |
| CSharp7.cs:135:24:135:25 | this access | CSharp7.cs:156:16:156:17 | this access |
| CSharp7.cs:139:29:139:29 | x | CSharp7.cs:139:34:139:34 | access to parameter x |
| CSharp7.cs:139:34:139:34 | access to parameter x | CSharp7.cs:139:34:139:38 | ... + ... |
| CSharp7.cs:139:38:139:38 | 1 | CSharp7.cs:139:34:139:38 | ... + ... |
@@ -133,119 +133,119 @@
| CSharp7.cs:145:9:149:9 | this | CSharp7.cs:148:20:148:21 | this access |
| CSharp7.cs:147:13:147:35 | this | CSharp7.cs:147:30:147:31 | this access |
| CSharp7.cs:147:24:147:24 | x | CSharp7.cs:147:33:147:33 | access to parameter x |
| CSharp7.cs:158:10:158:17 | this | CSharp7.cs:170:9:170:9 | this access |
| CSharp7.cs:161:18:161:18 | t | CSharp7.cs:161:24:161:24 | access to parameter t |
| CSharp7.cs:163:9:168:9 | this | CSharp7.cs:166:13:166:16 | this access |
| CSharp7.cs:163:26:163:26 | u | CSharp7.cs:167:22:167:22 | access to parameter u |
| CSharp7.cs:165:13:165:43 | this | CSharp7.cs:165:37:165:40 | this access |
| CSharp7.cs:166:13:166:16 | this access | CSharp7.cs:167:20:167:20 | this access |
| CSharp7.cs:170:9:170:9 | this access | CSharp7.cs:171:9:171:9 | this access |
| CSharp7.cs:174:10:174:19 | this | CSharp7.cs:181:21:181:21 | this access |
| CSharp7.cs:176:16:176:30 | SSA def(src) | CSharp7.cs:181:23:181:25 | access to local variable src |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:176:16:176:30 | SSA def(src) |
| CSharp7.cs:177:9:177:40 | this | CSharp7.cs:177:31:177:31 | this access |
| CSharp7.cs:177:25:177:25 | s | CSharp7.cs:177:33:177:33 | access to parameter s |
| CSharp7.cs:177:31:177:34 | call to local function g | CSharp7.cs:177:31:177:39 | ... + ... |
| CSharp7.cs:177:38:177:39 | "" | CSharp7.cs:177:31:177:39 | ... + ... |
| CSharp7.cs:178:25:178:25 | s | CSharp7.cs:178:31:178:31 | access to parameter s |
| CSharp7.cs:179:25:179:25 | s | CSharp7.cs:179:37:179:37 | access to parameter s |
| CSharp7.cs:181:21:181:21 | this access | CSharp7.cs:182:21:182:21 | this access |
| CSharp7.cs:181:23:181:25 | [post] access to local variable src | CSharp7.cs:182:23:182:25 | access to local variable src |
| CSharp7.cs:181:23:181:25 | access to local variable src | CSharp7.cs:182:23:182:25 | access to local variable src |
| CSharp7.cs:159:10:159:17 | this | CSharp7.cs:171:9:171:9 | this access |
| CSharp7.cs:162:18:162:18 | t | CSharp7.cs:162:24:162:24 | access to parameter t |
| CSharp7.cs:164:9:169:9 | this | CSharp7.cs:167:13:167:16 | this access |
| CSharp7.cs:164:26:164:26 | u | CSharp7.cs:168:22:168:22 | access to parameter u |
| CSharp7.cs:166:13:166:43 | this | CSharp7.cs:166:37:166:40 | this access |
| CSharp7.cs:167:13:167:16 | this access | CSharp7.cs:168:20:168:20 | this access |
| CSharp7.cs:171:9:171:9 | this access | CSharp7.cs:172:9:172:9 | this access |
| CSharp7.cs:175:10:175:19 | this | CSharp7.cs:182:21:182:21 | this access |
| CSharp7.cs:177:16:177:30 | SSA def(src) | CSharp7.cs:182:23:182:25 | access to local variable src |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:177:16:177:30 | SSA def(src) |
| CSharp7.cs:178:9:178:40 | this | CSharp7.cs:178:31:178:31 | this access |
| CSharp7.cs:178:25:178:25 | s | CSharp7.cs:178:33:178:33 | access to parameter s |
| CSharp7.cs:178:31:178:34 | call to local function g | CSharp7.cs:178:31:178:39 | ... + ... |
| CSharp7.cs:178:38:178:39 | "" | CSharp7.cs:178:31:178:39 | ... + ... |
| CSharp7.cs:179:25:179:25 | s | CSharp7.cs:179:31:179:31 | access to parameter s |
| CSharp7.cs:180:25:180:25 | s | CSharp7.cs:180:37:180:37 | access to parameter s |
| CSharp7.cs:182:21:182:21 | this access | CSharp7.cs:183:21:183:21 | this access |
| CSharp7.cs:182:23:182:25 | [post] access to local variable src | CSharp7.cs:183:23:183:25 | access to local variable src |
| CSharp7.cs:182:23:182:25 | access to local variable src | CSharp7.cs:183:23:183:25 | access to local variable src |
| CSharp7.cs:189:10:189:11 | this | CSharp7.cs:198:14:198:23 | this access |
| CSharp7.cs:191:13:191:18 | SSA def(v1) | CSharp7.cs:192:26:192:27 | access to local variable v1 |
| CSharp7.cs:191:18:191:18 | 2 | CSharp7.cs:191:13:191:18 | SSA def(v1) |
| CSharp7.cs:192:22:192:27 | ref ... | CSharp7.cs:192:17:192:27 | SSA def(r1) |
| CSharp7.cs:192:26:192:27 | access to local variable v1 | CSharp7.cs:198:21:198:22 | access to local variable v1 |
| CSharp7.cs:193:13:193:31 | SSA def(array) | CSharp7.cs:195:14:195:18 | access to local variable array |
| CSharp7.cs:193:21:193:31 | array creation of type Int32[] | CSharp7.cs:193:13:193:31 | SSA def(array) |
| CSharp7.cs:194:14:194:14 | 3 | CSharp7.cs:194:9:194:14 | SSA def(r1) |
| CSharp7.cs:195:9:195:21 | SSA def(r1) | CSharp7.cs:197:26:197:27 | access to local variable r1 |
| CSharp7.cs:195:14:195:18 | access to local variable array | CSharp7.cs:195:14:195:21 | access to array element |
| CSharp7.cs:195:14:195:18 | access to local variable array | CSharp7.cs:196:26:196:30 | access to local variable array |
| CSharp7.cs:195:14:195:21 | access to array element | CSharp7.cs:195:9:195:21 | SSA def(r1) |
| CSharp7.cs:196:26:196:30 | access to local variable array | CSharp7.cs:196:26:196:33 | access to array element |
| CSharp7.cs:197:26:197:27 | access to local variable r1 | CSharp7.cs:199:33:199:34 | access to local variable r1 |
| CSharp7.cs:198:14:198:23 | [post] this access | CSharp7.cs:199:26:199:35 | this access |
| CSharp7.cs:198:14:198:23 | this access | CSharp7.cs:199:26:199:35 | this access |
| CSharp7.cs:199:26:199:35 | [post] this access | CSharp7.cs:200:9:200:18 | this access |
| CSharp7.cs:199:26:199:35 | this access | CSharp7.cs:200:9:200:18 | this access |
| CSharp7.cs:199:33:199:34 | access to local variable r1 | CSharp7.cs:200:16:200:17 | access to local variable r1 |
| CSharp7.cs:203:24:203:24 | p | CSharp7.cs:206:20:206:20 | access to parameter p |
| CSharp7.cs:205:28:205:28 | q | CSharp7.cs:205:44:205:44 | access to parameter q |
| CSharp7.cs:216:13:216:17 | false | CSharp7.cs:216:9:216:17 | SSA def(x) |
| CSharp7.cs:217:17:217:17 | 0 | CSharp7.cs:217:16:217:23 | (..., ...) |
| CSharp7.cs:217:20:217:22 | 0 | CSharp7.cs:217:16:217:23 | (..., ...) |
| CSharp7.cs:220:10:220:13 | this | CSharp7.cs:222:13:222:20 | this access |
| CSharp7.cs:222:13:222:20 | [post] this access | CSharp7.cs:223:18:223:25 | this access |
| CSharp7.cs:222:13:222:20 | this access | CSharp7.cs:223:18:223:25 | this access |
| CSharp7.cs:223:18:223:25 | [post] this access | CSharp7.cs:224:22:224:29 | this access |
| CSharp7.cs:223:18:223:25 | this access | CSharp7.cs:224:22:224:29 | this access |
| CSharp7.cs:224:22:224:29 | [post] this access | CSharp7.cs:225:22:225:33 | this access |
| CSharp7.cs:224:22:224:29 | this access | CSharp7.cs:225:22:225:33 | this access |
| CSharp7.cs:233:16:233:23 | SSA def(o) | CSharp7.cs:234:13:234:13 | access to local variable o |
| CSharp7.cs:233:20:233:23 | null | CSharp7.cs:233:16:233:23 | SSA def(o) |
| CSharp7.cs:234:13:234:13 | access to local variable o | CSharp7.cs:234:18:234:23 | SSA def(i1) |
| CSharp7.cs:234:13:234:13 | access to local variable o | CSharp7.cs:238:18:238:18 | access to local variable o |
| CSharp7.cs:234:13:234:13 | access to local variable o | CSharp7.cs:249:17:249:17 | access to local variable o |
| CSharp7.cs:234:13:234:23 | ... is ... | CSharp7.cs:234:13:234:33 | ... && ... |
| CSharp7.cs:234:18:234:23 | SSA def(i1) | CSharp7.cs:234:28:234:29 | access to local variable i1 |
| CSharp7.cs:234:28:234:29 | access to local variable i1 | CSharp7.cs:234:28:234:33 | ... > ... |
| CSharp7.cs:234:28:234:29 | access to local variable i1 | CSharp7.cs:236:38:236:39 | access to local variable i1 |
| CSharp7.cs:234:28:234:33 | ... > ... | CSharp7.cs:234:13:234:33 | ... && ... |
| CSharp7.cs:236:33:236:36 | "int " | CSharp7.cs:236:31:236:41 | $"..." |
| CSharp7.cs:236:38:236:39 | access to local variable i1 | CSharp7.cs:236:31:236:41 | $"..." |
| CSharp7.cs:238:18:238:18 | access to local variable o | CSharp7.cs:238:23:238:31 | SSA def(s1) |
| CSharp7.cs:238:18:238:18 | access to local variable o | CSharp7.cs:242:18:242:18 | access to local variable o |
| CSharp7.cs:238:18:238:18 | access to local variable o | CSharp7.cs:249:17:249:17 | access to local variable o |
| CSharp7.cs:238:23:238:31 | SSA def(s1) | CSharp7.cs:240:41:240:42 | access to local variable s1 |
| CSharp7.cs:240:33:240:39 | "string " | CSharp7.cs:240:31:240:44 | $"..." |
| CSharp7.cs:240:41:240:42 | access to local variable s1 | CSharp7.cs:240:31:240:44 | $"..." |
| CSharp7.cs:242:18:242:18 | access to local variable o | CSharp7.cs:245:18:245:18 | access to local variable o |
| CSharp7.cs:242:18:242:18 | access to local variable o | CSharp7.cs:249:17:249:17 | access to local variable o |
| CSharp7.cs:245:18:245:18 | access to local variable o | CSharp7.cs:249:17:249:17 | access to local variable o |
| CSharp7.cs:249:17:249:17 | access to local variable o | CSharp7.cs:255:27:255:27 | access to local variable o |
| CSharp7.cs:249:17:249:17 | access to local variable o | CSharp7.cs:258:18:258:23 | SSA def(i2) |
| CSharp7.cs:249:17:249:17 | access to local variable o | CSharp7.cs:261:18:261:23 | SSA def(i3) |
| CSharp7.cs:249:17:249:17 | access to local variable o | CSharp7.cs:264:18:264:26 | SSA def(s2) |
| CSharp7.cs:253:26:253:26 | 1 | CSharp7.cs:253:26:253:30 | ... < ... |
| CSharp7.cs:253:30:253:30 | 2 | CSharp7.cs:253:26:253:30 | ... < ... |
| CSharp7.cs:255:27:255:27 | access to local variable o | CSharp7.cs:255:32:255:40 | SSA def(s4) |
| CSharp7.cs:255:32:255:40 | SSA def(s4) | CSharp7.cs:256:40:256:41 | access to local variable s4 |
| CSharp7.cs:256:37:256:38 | "x " | CSharp7.cs:256:35:256:43 | $"..." |
| CSharp7.cs:256:40:256:41 | access to local variable s4 | CSharp7.cs:256:35:256:43 | $"..." |
| CSharp7.cs:258:18:258:23 | SSA def(i2) | CSharp7.cs:258:30:258:31 | access to local variable i2 |
| CSharp7.cs:258:30:258:31 | access to local variable i2 | CSharp7.cs:258:30:258:35 | ... > ... |
| CSharp7.cs:258:30:258:31 | access to local variable i2 | CSharp7.cs:259:47:259:48 | access to local variable i2 |
| CSharp7.cs:259:37:259:45 | "positive " | CSharp7.cs:259:35:259:50 | $"..." |
| CSharp7.cs:259:47:259:48 | access to local variable i2 | CSharp7.cs:259:35:259:50 | $"..." |
| CSharp7.cs:261:18:261:23 | SSA def(i3) | CSharp7.cs:262:42:262:43 | access to local variable i3 |
| CSharp7.cs:262:37:262:40 | "int " | CSharp7.cs:262:35:262:45 | $"..." |
| CSharp7.cs:262:42:262:43 | access to local variable i3 | CSharp7.cs:262:35:262:45 | $"..." |
| CSharp7.cs:264:18:264:26 | SSA def(s2) | CSharp7.cs:265:45:265:46 | access to local variable s2 |
| CSharp7.cs:265:37:265:43 | "string " | CSharp7.cs:265:35:265:48 | $"..." |
| CSharp7.cs:265:45:265:46 | access to local variable s2 | CSharp7.cs:265:35:265:48 | $"..." |
| CSharp7.cs:283:13:283:48 | SSA def(dict) | CSharp7.cs:284:20:284:23 | access to local variable dict |
| CSharp7.cs:283:20:283:48 | object creation of type Dictionary<Int32,String> | CSharp7.cs:283:13:283:48 | SSA def(dict) |
| CSharp7.cs:284:13:284:62 | SSA def(list) | CSharp7.cs:286:39:286:42 | access to local variable list |
| CSharp7.cs:284:20:284:62 | call to method Select | CSharp7.cs:284:13:284:62 | SSA def(list) |
| CSharp7.cs:284:32:284:35 | item | CSharp7.cs:284:41:284:44 | access to parameter item |
| CSharp7.cs:284:41:284:44 | access to parameter item | CSharp7.cs:284:51:284:54 | access to parameter item |
| CSharp7.cs:284:41:284:48 | access to property Key | CSharp7.cs:284:40:284:61 | (..., ...) |
| CSharp7.cs:284:51:284:60 | access to property Value | CSharp7.cs:284:40:284:61 | (..., ...) |
| CSharp7.cs:286:39:286:42 | access to local variable list | CSharp7.cs:288:36:288:39 | access to local variable list |
| CSharp7.cs:288:36:288:39 | access to local variable list | CSharp7.cs:290:32:290:35 | access to local variable list |
| CSharp7.cs:298:17:298:19 | SSA def(x) | CSharp7.cs:298:22:298:39 | SSA phi(x) |
| CSharp7.cs:298:19:298:19 | 0 | CSharp7.cs:298:17:298:19 | SSA def(x) |
| CSharp7.cs:298:22:298:22 | access to local variable x | CSharp7.cs:298:22:298:25 | ... < ... |
| CSharp7.cs:298:22:298:22 | access to local variable x | CSharp7.cs:298:30:298:30 | access to local variable x |
| CSharp7.cs:298:22:298:25 | ... < ... | CSharp7.cs:298:22:298:39 | ... && ... |
| CSharp7.cs:298:22:298:39 | SSA phi(x) | CSharp7.cs:298:22:298:22 | access to local variable x |
| CSharp7.cs:298:30:298:30 | access to local variable x | CSharp7.cs:298:35:298:39 | SSA def(y) |
| CSharp7.cs:298:30:298:30 | access to local variable x | CSharp7.cs:298:44:298:44 | access to local variable x |
| CSharp7.cs:298:30:298:39 | ... is ... | CSharp7.cs:298:22:298:39 | ... && ... |
| CSharp7.cs:298:35:298:39 | SSA def(y) | CSharp7.cs:300:31:300:31 | access to local variable y |
| CSharp7.cs:298:42:298:44 | SSA def(x) | CSharp7.cs:298:22:298:39 | SSA phi(x) |
| CSharp7.cs:183:21:183:21 | this access | CSharp7.cs:184:21:184:21 | this access |
| CSharp7.cs:183:23:183:25 | [post] access to local variable src | CSharp7.cs:184:23:184:25 | access to local variable src |
| CSharp7.cs:183:23:183:25 | access to local variable src | CSharp7.cs:184:23:184:25 | access to local variable src |
| CSharp7.cs:190:10:190:11 | this | CSharp7.cs:199:14:199:23 | this access |
| CSharp7.cs:192:13:192:18 | SSA def(v1) | CSharp7.cs:193:26:193:27 | access to local variable v1 |
| CSharp7.cs:192:18:192:18 | 2 | CSharp7.cs:192:13:192:18 | SSA def(v1) |
| CSharp7.cs:193:22:193:27 | ref ... | CSharp7.cs:193:17:193:27 | SSA def(r1) |
| CSharp7.cs:193:26:193:27 | access to local variable v1 | CSharp7.cs:199:21:199:22 | access to local variable v1 |
| CSharp7.cs:194:13:194:31 | SSA def(array) | CSharp7.cs:196:14:196:18 | access to local variable array |
| CSharp7.cs:194:21:194:31 | array creation of type Int32[] | CSharp7.cs:194:13:194:31 | SSA def(array) |
| CSharp7.cs:195:14:195:14 | 3 | CSharp7.cs:195:9:195:14 | SSA def(r1) |
| CSharp7.cs:196:9:196:21 | SSA def(r1) | CSharp7.cs:198:26:198:27 | access to local variable r1 |
| CSharp7.cs:196:14:196:18 | access to local variable array | CSharp7.cs:196:14:196:21 | access to array element |
| CSharp7.cs:196:14:196:18 | access to local variable array | CSharp7.cs:197:26:197:30 | access to local variable array |
| CSharp7.cs:196:14:196:21 | access to array element | CSharp7.cs:196:9:196:21 | SSA def(r1) |
| CSharp7.cs:197:26:197:30 | access to local variable array | CSharp7.cs:197:26:197:33 | access to array element |
| CSharp7.cs:198:26:198:27 | access to local variable r1 | CSharp7.cs:200:33:200:34 | access to local variable r1 |
| CSharp7.cs:199:14:199:23 | [post] this access | CSharp7.cs:200:26:200:35 | this access |
| CSharp7.cs:199:14:199:23 | this access | CSharp7.cs:200:26:200:35 | this access |
| CSharp7.cs:200:26:200:35 | [post] this access | CSharp7.cs:201:9:201:18 | this access |
| CSharp7.cs:200:26:200:35 | this access | CSharp7.cs:201:9:201:18 | this access |
| CSharp7.cs:200:33:200:34 | access to local variable r1 | CSharp7.cs:201:16:201:17 | access to local variable r1 |
| CSharp7.cs:204:24:204:24 | p | CSharp7.cs:207:20:207:20 | access to parameter p |
| CSharp7.cs:206:28:206:28 | q | CSharp7.cs:206:44:206:44 | access to parameter q |
| CSharp7.cs:217:13:217:17 | false | CSharp7.cs:217:9:217:17 | SSA def(x) |
| CSharp7.cs:218:17:218:17 | 0 | CSharp7.cs:218:16:218:23 | (..., ...) |
| CSharp7.cs:218:20:218:22 | 0 | CSharp7.cs:218:16:218:23 | (..., ...) |
| CSharp7.cs:221:10:221:13 | this | CSharp7.cs:223:13:223:20 | this access |
| CSharp7.cs:223:13:223:20 | [post] this access | CSharp7.cs:224:18:224:25 | this access |
| CSharp7.cs:223:13:223:20 | this access | CSharp7.cs:224:18:224:25 | this access |
| CSharp7.cs:224:18:224:25 | [post] this access | CSharp7.cs:225:22:225:29 | this access |
| CSharp7.cs:224:18:224:25 | this access | CSharp7.cs:225:22:225:29 | this access |
| CSharp7.cs:225:22:225:29 | [post] this access | CSharp7.cs:226:22:226:33 | this access |
| CSharp7.cs:225:22:225:29 | this access | CSharp7.cs:226:22:226:33 | this access |
| CSharp7.cs:234:16:234:23 | SSA def(o) | CSharp7.cs:235:13:235:13 | access to local variable o |
| CSharp7.cs:234:20:234:23 | null | CSharp7.cs:234:16:234:23 | SSA def(o) |
| CSharp7.cs:235:13:235:13 | access to local variable o | CSharp7.cs:235:18:235:23 | SSA def(i1) |
| CSharp7.cs:235:13:235:13 | access to local variable o | CSharp7.cs:239:18:239:18 | access to local variable o |
| CSharp7.cs:235:13:235:13 | access to local variable o | CSharp7.cs:250:17:250:17 | access to local variable o |
| CSharp7.cs:235:13:235:23 | ... is ... | CSharp7.cs:235:13:235:33 | ... && ... |
| CSharp7.cs:235:18:235:23 | SSA def(i1) | CSharp7.cs:235:28:235:29 | access to local variable i1 |
| CSharp7.cs:235:28:235:29 | access to local variable i1 | CSharp7.cs:235:28:235:33 | ... > ... |
| CSharp7.cs:235:28:235:29 | access to local variable i1 | CSharp7.cs:237:38:237:39 | access to local variable i1 |
| CSharp7.cs:235:28:235:33 | ... > ... | CSharp7.cs:235:13:235:33 | ... && ... |
| CSharp7.cs:237:33:237:36 | "int " | CSharp7.cs:237:31:237:41 | $"..." |
| CSharp7.cs:237:38:237:39 | access to local variable i1 | CSharp7.cs:237:31:237:41 | $"..." |
| CSharp7.cs:239:18:239:18 | access to local variable o | CSharp7.cs:239:23:239:31 | SSA def(s1) |
| CSharp7.cs:239:18:239:18 | access to local variable o | CSharp7.cs:243:18:243:18 | access to local variable o |
| CSharp7.cs:239:18:239:18 | access to local variable o | CSharp7.cs:250:17:250:17 | access to local variable o |
| CSharp7.cs:239:23:239:31 | SSA def(s1) | CSharp7.cs:241:41:241:42 | access to local variable s1 |
| CSharp7.cs:241:33:241:39 | "string " | CSharp7.cs:241:31:241:44 | $"..." |
| CSharp7.cs:241:41:241:42 | access to local variable s1 | CSharp7.cs:241:31:241:44 | $"..." |
| CSharp7.cs:243:18:243:18 | access to local variable o | CSharp7.cs:246:18:246:18 | access to local variable o |
| CSharp7.cs:243:18:243:18 | access to local variable o | CSharp7.cs:250:17:250:17 | access to local variable o |
| CSharp7.cs:246:18:246:18 | access to local variable o | CSharp7.cs:250:17:250:17 | access to local variable o |
| CSharp7.cs:250:17:250:17 | access to local variable o | CSharp7.cs:256:27:256:27 | access to local variable o |
| CSharp7.cs:250:17:250:17 | access to local variable o | CSharp7.cs:259:18:259:23 | SSA def(i2) |
| CSharp7.cs:250:17:250:17 | access to local variable o | CSharp7.cs:262:18:262:23 | SSA def(i3) |
| CSharp7.cs:250:17:250:17 | access to local variable o | CSharp7.cs:265:18:265:26 | SSA def(s2) |
| CSharp7.cs:254:26:254:26 | 1 | CSharp7.cs:254:26:254:30 | ... < ... |
| CSharp7.cs:254:30:254:30 | 2 | CSharp7.cs:254:26:254:30 | ... < ... |
| CSharp7.cs:256:27:256:27 | access to local variable o | CSharp7.cs:256:32:256:40 | SSA def(s4) |
| CSharp7.cs:256:32:256:40 | SSA def(s4) | CSharp7.cs:257:40:257:41 | access to local variable s4 |
| CSharp7.cs:257:37:257:38 | "x " | CSharp7.cs:257:35:257:43 | $"..." |
| CSharp7.cs:257:40:257:41 | access to local variable s4 | CSharp7.cs:257:35:257:43 | $"..." |
| CSharp7.cs:259:18:259:23 | SSA def(i2) | CSharp7.cs:259:30:259:31 | access to local variable i2 |
| CSharp7.cs:259:30:259:31 | access to local variable i2 | CSharp7.cs:259:30:259:35 | ... > ... |
| CSharp7.cs:259:30:259:31 | access to local variable i2 | CSharp7.cs:260:47:260:48 | access to local variable i2 |
| CSharp7.cs:260:37:260:45 | "positive " | CSharp7.cs:260:35:260:50 | $"..." |
| CSharp7.cs:260:47:260:48 | access to local variable i2 | CSharp7.cs:260:35:260:50 | $"..." |
| CSharp7.cs:262:18:262:23 | SSA def(i3) | CSharp7.cs:263:42:263:43 | access to local variable i3 |
| CSharp7.cs:263:37:263:40 | "int " | CSharp7.cs:263:35:263:45 | $"..." |
| CSharp7.cs:263:42:263:43 | access to local variable i3 | CSharp7.cs:263:35:263:45 | $"..." |
| CSharp7.cs:265:18:265:26 | SSA def(s2) | CSharp7.cs:266:45:266:46 | access to local variable s2 |
| CSharp7.cs:266:37:266:43 | "string " | CSharp7.cs:266:35:266:48 | $"..." |
| CSharp7.cs:266:45:266:46 | access to local variable s2 | CSharp7.cs:266:35:266:48 | $"..." |
| CSharp7.cs:284:13:284:48 | SSA def(dict) | CSharp7.cs:285:20:285:23 | access to local variable dict |
| CSharp7.cs:284:20:284:48 | object creation of type Dictionary<Int32,String> | CSharp7.cs:284:13:284:48 | SSA def(dict) |
| CSharp7.cs:285:13:285:62 | SSA def(list) | CSharp7.cs:287:39:287:42 | access to local variable list |
| CSharp7.cs:285:20:285:62 | call to method Select | CSharp7.cs:285:13:285:62 | SSA def(list) |
| CSharp7.cs:285:32:285:35 | item | CSharp7.cs:285:41:285:44 | access to parameter item |
| CSharp7.cs:285:41:285:44 | access to parameter item | CSharp7.cs:285:51:285:54 | access to parameter item |
| CSharp7.cs:285:41:285:48 | access to property Key | CSharp7.cs:285:40:285:61 | (..., ...) |
| CSharp7.cs:285:51:285:60 | access to property Value | CSharp7.cs:285:40:285:61 | (..., ...) |
| CSharp7.cs:287:39:287:42 | access to local variable list | CSharp7.cs:289:36:289:39 | access to local variable list |
| CSharp7.cs:289:36:289:39 | access to local variable list | CSharp7.cs:291:32:291:35 | access to local variable list |
| CSharp7.cs:299:18:299:22 | SSA def(x) | CSharp7.cs:299:25:299:44 | SSA phi(x) |
| CSharp7.cs:299:22:299:22 | 0 | CSharp7.cs:299:18:299:22 | SSA def(x) |
| CSharp7.cs:299:25:299:25 | access to local variable x | CSharp7.cs:299:25:299:30 | ... < ... |
| CSharp7.cs:299:25:299:25 | access to local variable x | CSharp7.cs:299:35:299:35 | access to local variable x |
| CSharp7.cs:299:25:299:30 | ... < ... | CSharp7.cs:299:25:299:44 | ... && ... |
| CSharp7.cs:299:25:299:44 | SSA phi(x) | CSharp7.cs:299:25:299:25 | access to local variable x |
| CSharp7.cs:299:35:299:35 | access to local variable x | CSharp7.cs:299:40:299:44 | SSA def(y) |
| CSharp7.cs:299:35:299:35 | access to local variable x | CSharp7.cs:299:49:299:49 | access to local variable x |
| CSharp7.cs:299:35:299:44 | ... is ... | CSharp7.cs:299:25:299:44 | ... && ... |
| CSharp7.cs:299:40:299:44 | SSA def(y) | CSharp7.cs:301:31:301:31 | access to local variable y |
| CSharp7.cs:299:47:299:49 | SSA def(x) | CSharp7.cs:299:25:299:44 | SSA phi(x) |

64
csharp/ql/test/library-tests/csharp7/LocalVariables.expected
View File

@@ -36,35 +36,35 @@
| CSharp7.cs:135:19:135:20 | f4 | Func<Int32> |
| CSharp7.cs:139:24:139:25 | f5 | Func<Int32, Int32> |
| CSharp7.cs:151:16:151:16 | a | Action |
| CSharp7.cs:176:16:176:18 | src | string |
| CSharp7.cs:181:13:181:17 | sink1 | string |
| CSharp7.cs:182:13:182:17 | sink2 | string |
| CSharp7.cs:183:13:183:17 | sink3 | string |
| CSharp7.cs:191:13:191:14 | v1 | int |
| CSharp7.cs:192:17:192:18 | r1 | int |
| CSharp7.cs:193:13:193:17 | array | Int32[] |
| CSharp7.cs:196:17:196:18 | r2 | int |
| CSharp7.cs:197:17:197:18 | r3 | int |
| CSharp7.cs:199:17:199:18 | r4 | int |
| CSharp7.cs:224:14:224:14 | x | int |
| CSharp7.cs:225:17:225:17 | y | double |
| CSharp7.cs:225:32:225:32 | z | bool |
| CSharp7.cs:233:16:233:16 | o | object |
| CSharp7.cs:234:22:234:23 | i1 | int |
| CSharp7.cs:238:30:238:31 | s1 | string |
| CSharp7.cs:245:27:245:28 | v1 | object |
| CSharp7.cs:255:39:255:40 | s4 | string |
| CSharp7.cs:258:22:258:23 | i2 | int |
| CSharp7.cs:261:22:261:23 | i3 | int |
| CSharp7.cs:264:25:264:26 | s2 | string |
| CSharp7.cs:270:22:270:23 | v2 | object |
| CSharp7.cs:283:13:283:16 | dict | Dictionary<Int32, String> |
| CSharp7.cs:284:13:284:16 | list | IEnumerable<(Int32,String)> |
| CSharp7.cs:286:23:286:23 | a | int |
| CSharp7.cs:286:33:286:33 | b | string |
| CSharp7.cs:288:23:288:23 | a | int |
| CSharp7.cs:288:30:288:30 | b | string |
| CSharp7.cs:290:23:290:23 | a | int |
| CSharp7.cs:290:26:290:26 | b | string |
| CSharp7.cs:298:17:298:17 | x | int |
| CSharp7.cs:298:39:298:39 | y | int |
| CSharp7.cs:177:16:177:18 | src | string |
| CSharp7.cs:182:13:182:17 | sink1 | string |
| CSharp7.cs:183:13:183:17 | sink2 | string |
| CSharp7.cs:184:13:184:17 | sink3 | string |
| CSharp7.cs:192:13:192:14 | v1 | int |
| CSharp7.cs:193:17:193:18 | r1 | int |
| CSharp7.cs:194:13:194:17 | array | Int32[] |
| CSharp7.cs:197:17:197:18 | r2 | int |
| CSharp7.cs:198:17:198:18 | r3 | int |
| CSharp7.cs:200:17:200:18 | r4 | int |
| CSharp7.cs:225:14:225:14 | x | int |
| CSharp7.cs:226:17:226:17 | y | double |
| CSharp7.cs:226:32:226:32 | z | bool |
| CSharp7.cs:234:16:234:16 | o | object |
| CSharp7.cs:235:22:235:23 | i1 | int |
| CSharp7.cs:239:30:239:31 | s1 | string |
| CSharp7.cs:246:27:246:28 | v1 | object |
| CSharp7.cs:256:39:256:40 | s4 | string |
| CSharp7.cs:259:22:259:23 | i2 | int |
| CSharp7.cs:262:22:262:23 | i3 | int |
| CSharp7.cs:265:25:265:26 | s2 | string |
| CSharp7.cs:271:22:271:23 | v2 | object |
| CSharp7.cs:284:13:284:16 | dict | Dictionary<Int32, String> |
| CSharp7.cs:285:13:285:16 | list | IEnumerable<(Int32,String)> |
| CSharp7.cs:287:23:287:23 | a | int |
| CSharp7.cs:287:33:287:33 | b | string |
| CSharp7.cs:289:23:289:23 | a | int |
| CSharp7.cs:289:30:289:30 | b | string |
| CSharp7.cs:291:23:291:23 | a | int |
| CSharp7.cs:291:26:291:26 | b | string |
| CSharp7.cs:299:18:299:18 | x | int |
| CSharp7.cs:299:44:299:44 | y | int |

722
csharp/ql/test/library-tests/csharp7/PrintAst.expected
View File

@@ -131,7 +131,7 @@ CSharp7.cs:
# 73| 1: [LocalVariableAccess] access to local variable y
# 74| 3: [ExprStmt] ...;
# 74| 0: [AssignExpr] ... = ...
# 74| 0: [FieldAccess] access to field Item1
# 74| 0: [FieldAccess] access to field A
# 74| -1: [MethodCall] call to method F
# 74| 1: [LocalVariableAccess] access to local variable x
# 75| 4: [ExprStmt] ...;
@@ -403,391 +403,391 @@ CSharp7.cs:
# 151| 8: [LocalVariableDeclStmt] ... ...;
# 151| 0: [LocalVariableDeclAndInitExpr] Action a = ...
# 151| 0: [LambdaExpr] (...) => ...
# 151| 4: [BlockStmt] {...}
# 152| 0: [LocalFunctionStmt] f9(...)
# 152| 0: [LocalFunction] f9
# 152| 4: [IntLiteral] 0
# 152| 4: [BlockStmt] {...}
# 153| 0: [LocalFunctionStmt] f9(...)
# 153| 0: [LocalFunction] f9
# 153| 4: [IntLiteral] 0
# 151| 1: [LocalVariableAccess] access to local variable a
# 155| 9: [ReturnStmt] return ...;
# 155| 0: [LocalFunctionCall] call to local function f1
# 155| -1: [LocalFunctionAccess] access to local function f1
# 155| 0: [IntLiteral] 2
# 158| 6: [Method] Generics
# 159| 4: [BlockStmt] {...}
# 160| 0: [LocalFunctionStmt] f(...)
# 160| 0: [LocalFunction] f
#-----| 1: (Type parameters)
# 160| 0: [TypeParameter] T
# 160| 4: [IntLiteral] 1
# 161| 1: [LocalFunctionStmt] g(...)
# 161| 0: [LocalFunction] g
# 156| 9: [ReturnStmt] return ...;
# 156| 0: [LocalFunctionCall] call to local function f1
# 156| -1: [LocalFunctionAccess] access to local function f1
# 156| 0: [IntLiteral] 2
# 159| 6: [Method] Generics
# 160| 4: [BlockStmt] {...}
# 161| 0: [LocalFunctionStmt] f(...)
# 161| 0: [LocalFunction] f
#-----| 1: (Type parameters)
# 161| 0: [TypeParameter] T
#-----| 2: (Parameters)
# 161| 0: [Parameter] t
# 161| 4: [ParameterAccess] access to parameter t
# 163| 2: [LocalFunctionStmt] h(...)
# 163| 0: [LocalFunction] h
# 161| 4: [IntLiteral] 1
# 162| 1: [LocalFunctionStmt] g(...)
# 162| 0: [LocalFunction] g
#-----| 1: (Type parameters)
# 163| 0: [TypeParameter] T
# 163| 1: [TypeParameter] U
# 162| 0: [TypeParameter] T
#-----| 2: (Parameters)
# 163| 0: [Parameter] t
# 163| 1: [Parameter] u
# 164| 4: [BlockStmt] {...}
# 165| 0: [LocalFunctionStmt] f2(...)
# 165| 0: [LocalFunction] f2
# 162| 0: [Parameter] t
# 162| 4: [ParameterAccess] access to parameter t
# 164| 2: [LocalFunctionStmt] h(...)
# 164| 0: [LocalFunction] h
#-----| 1: (Type parameters)
# 164| 0: [TypeParameter] T
# 164| 1: [TypeParameter] U
#-----| 2: (Parameters)
# 164| 0: [Parameter] t
# 164| 1: [Parameter] u
# 165| 4: [BlockStmt] {...}
# 166| 0: [LocalFunctionStmt] f2(...)
# 166| 0: [LocalFunction] f2
#-----| 1: (Type parameters)
# 165| 0: [TypeParameter] S
# 166| 0: [TypeParameter] S
#-----| 2: (Parameters)
# 165| 0: [Parameter] s
# 165| 1: [Parameter] _t
# 165| 4: [LocalFunctionCall] call to local function f
# 165| -1: [LocalFunctionAccess] access to local function f
# 166| 1: [ExprStmt] ...;
# 166| 0: [LocalFunctionCall] call to local function f
# 166| -1: [LocalFunctionAccess] access to local function f
# 167| 2: [ReturnStmt] return ...;
# 167| 0: [LocalFunctionCall] call to local function g
# 167| -1: [LocalFunctionAccess] access to local function g
# 167| 0: [ParameterAccess] access to parameter u
# 170| 3: [ExprStmt] ...;
# 170| 0: [LocalFunctionCall] call to local function h
# 170| -1: [LocalFunctionAccess] access to local function h
# 170| 0: [IntLiteral] 0
# 170| 1: [IntLiteral] 0
# 171| 4: [ExprStmt] ...;
# 166| 0: [Parameter] s
# 166| 1: [Parameter] _t
# 166| 4: [LocalFunctionCall] call to local function f
# 166| -1: [LocalFunctionAccess] access to local function f
# 167| 1: [ExprStmt] ...;
# 167| 0: [LocalFunctionCall] call to local function f
# 167| -1: [LocalFunctionAccess] access to local function f
# 168| 2: [ReturnStmt] return ...;
# 168| 0: [LocalFunctionCall] call to local function g
# 168| -1: [LocalFunctionAccess] access to local function g
# 168| 0: [ParameterAccess] access to parameter u
# 171| 3: [ExprStmt] ...;
# 171| 0: [LocalFunctionCall] call to local function h
# 171| -1: [LocalFunctionAccess] access to local function h
# 171| 0: [StringLiteral] ""
# 171| 1: [BoolLiteral] true
# 174| 7: [Method] GlobalFlow
# 175| 4: [BlockStmt] {...}
# 176| 0: [LocalVariableDeclStmt] ... ...;
# 176| 0: [LocalVariableDeclAndInitExpr] String src = ...
# 176| 0: [StringLiteral] "tainted"
# 176| 1: [LocalVariableAccess] access to local variable src
# 177| 1: [LocalFunctionStmt] f(...)
# 177| 0: [LocalFunction] f
#-----| 2: (Parameters)
# 177| 0: [Parameter] s
# 177| 4: [AddExpr] ... + ...
# 177| 0: [LocalFunctionCall] call to local function g
# 177| -1: [LocalFunctionAccess] access to local function g
# 177| 0: [ParameterAccess] access to parameter s
# 177| 1: [StringLiteral] ""
# 178| 2: [LocalFunctionStmt] g(...)
# 178| 0: [LocalFunction] g
# 171| 0: [IntLiteral] 0
# 171| 1: [IntLiteral] 0
# 172| 4: [ExprStmt] ...;
# 172| 0: [LocalFunctionCall] call to local function h
# 172| -1: [LocalFunctionAccess] access to local function h
# 172| 0: [StringLiteral] ""
# 172| 1: [BoolLiteral] true
# 175| 7: [Method] GlobalFlow
# 176| 4: [BlockStmt] {...}
# 177| 0: [LocalVariableDeclStmt] ... ...;
# 177| 0: [LocalVariableDeclAndInitExpr] String src = ...
# 177| 0: [StringLiteral] "tainted"
# 177| 1: [LocalVariableAccess] access to local variable src
# 178| 1: [LocalFunctionStmt] f(...)
# 178| 0: [LocalFunction] f
#-----| 2: (Parameters)
# 178| 0: [Parameter] s
# 178| 4: [ParameterAccess] access to parameter s
# 179| 3: [LocalFunctionStmt] h(...)
# 179| 0: [LocalFunction] h
# 178| 4: [AddExpr] ... + ...
# 178| 0: [LocalFunctionCall] call to local function g
# 178| -1: [LocalFunctionAccess] access to local function g
# 178| 0: [ParameterAccess] access to parameter s
# 178| 1: [StringLiteral] ""
# 179| 2: [LocalFunctionStmt] g(...)
# 179| 0: [LocalFunction] g
#-----| 2: (Parameters)
# 179| 0: [Parameter] s
# 179| 4: [BlockStmt] {...}
# 179| 0: [ReturnStmt] return ...;
# 179| 0: [ParameterAccess] access to parameter s
# 181| 4: [LocalVariableDeclStmt] ... ...;
# 181| 0: [LocalVariableDeclAndInitExpr] String sink1 = ...
# 181| 0: [LocalFunctionCall] call to local function f
# 181| -1: [LocalFunctionAccess] access to local function f
# 181| 0: [LocalVariableAccess] access to local variable src
# 181| 1: [LocalVariableAccess] access to local variable sink1
# 182| 5: [LocalVariableDeclStmt] ... ...;
# 182| 0: [LocalVariableDeclAndInitExpr] String sink2 = ...
# 182| 0: [LocalFunctionCall] call to local function g
# 182| -1: [LocalFunctionAccess] access to local function g
# 182| 0: [LocalVariableAccess] access to local variable src
# 182| 1: [LocalVariableAccess] access to local variable sink2
# 183| 6: [LocalVariableDeclStmt] ... ...;
# 183| 0: [LocalVariableDeclAndInitExpr] String sink3 = ...
# 183| 0: [LocalFunctionCall] call to local function h
# 183| -1: [LocalFunctionAccess] access to local function h
# 183| 0: [LocalVariableAccess] access to local variable src
# 183| 1: [LocalVariableAccess] access to local variable sink3
# 187| [Class] Refs
# 189| 5: [Method] F1
# 190| 4: [BlockStmt] {...}
# 191| 0: [LocalVariableDeclStmt] ... ...;
# 191| 0: [LocalVariableDeclAndInitExpr] Int32 v1 = ...
# 191| 0: [IntLiteral] 2
# 191| 1: [LocalVariableAccess] access to local variable v1
# 192| 1: [LocalVariableDeclStmt] ... ...;
# 192| 0: [LocalVariableDeclAndInitExpr] Int32 r1 = ...
# 192| 0: [RefExpr] ref ...
# 192| 0: [LocalVariableAccess] access to local variable v1
# 192| 1: [LocalVariableAccess] access to local variable r1
# 193| 2: [LocalVariableDeclStmt] ... ...;
# 193| 0: [LocalVariableDeclAndInitExpr] Int32[] array = ...
# 193| 0: [ArrayCreation] array creation of type Int32[]
# 193| 0: [IntLiteral] 10
# 193| 1: [LocalVariableAccess] access to local variable array
# 194| 3: [ExprStmt] ...;
# 194| 0: [AssignExpr] ... = ...
# 194| 0: [IntLiteral] 3
# 194| 1: [LocalVariableAccess] access to local variable r1
# 195| 4: [ExprStmt] ...;
# 195| 0: [AssignExpr] ... = ...
# 195| 0: [ArrayAccess] access to array element
# 195| -1: [LocalVariableAccess] access to local variable array
# 195| 0: [IntLiteral] 1
# 195| 1: [LocalVariableAccess] access to local variable r1
# 196| 5: [LocalVariableDeclStmt] ... ...;
# 196| 0: [LocalVariableDeclAndInitExpr] Int32 r2 = ...
# 196| 0: [RefExpr] ref ...
# 196| 0: [ArrayAccess] access to array element
# 196| -1: [LocalVariableAccess] access to local variable array
# 196| 0: [IntLiteral] 3
# 196| 1: [LocalVariableAccess] access to local variable r2
# 197| 6: [LocalVariableDeclStmt] ... ...;
# 197| 0: [LocalVariableDeclAndInitExpr] Int32 r3 = ...
# 197| 0: [RefExpr] ref ...
# 197| 0: [LocalVariableAccess] access to local variable r1
# 197| 1: [LocalVariableAccess] access to local variable r3
# 198| 7: [ExprStmt] ...;
# 198| 0: [AssignExpr] ... = ...
# 198| 0: [MethodCall] call to method F2
# 198| 0: [LocalVariableAccess] access to local variable v1
# 198| 1: [LocalVariableAccess] access to local variable v1
# 199| 8: [LocalVariableDeclStmt] ... ...;
# 199| 0: [LocalVariableDeclAndInitExpr] Int32 r4 = ...
# 199| 0: [RefExpr] ref ...
# 199| 0: [MethodCall] call to method F2
# 199| 0: [LocalVariableAccess] access to local variable r1
# 199| 1: [LocalVariableAccess] access to local variable r4
# 200| 9: [ExprStmt] ...;
# 200| 0: [AssignExpr] ... = ...
# 200| 0: [IntLiteral] 3
# 200| 1: [MethodCall] call to method F2
# 200| 0: [LocalVariableAccess] access to local variable r1
# 203| 6: [Method] F2
#-----| 2: (Parameters)
# 203| 0: [Parameter] p
# 204| 4: [BlockStmt] {...}
# 205| 0: [LocalFunctionStmt] F3(...)
# 205| 0: [LocalFunction] F3
# 179| 4: [ParameterAccess] access to parameter s
# 180| 3: [LocalFunctionStmt] h(...)
# 180| 0: [LocalFunction] h
#-----| 2: (Parameters)
# 205| 0: [Parameter] q
# 205| 4: [BlockStmt] {...}
# 205| 0: [ReturnStmt] return ...;
# 205| 0: [RefExpr] ref ...
# 205| 0: [ParameterAccess] access to parameter q
# 206| 1: [ReturnStmt] return ...;
# 206| 0: [RefExpr] ref ...
# 206| 0: [ParameterAccess] access to parameter p
# 209| 7: [DelegateType] RefFn
# 180| 0: [Parameter] s
# 180| 4: [BlockStmt] {...}
# 180| 0: [ReturnStmt] return ...;
# 180| 0: [ParameterAccess] access to parameter s
# 182| 4: [LocalVariableDeclStmt] ... ...;
# 182| 0: [LocalVariableDeclAndInitExpr] String sink1 = ...
# 182| 0: [LocalFunctionCall] call to local function f
# 182| -1: [LocalFunctionAccess] access to local function f
# 182| 0: [LocalVariableAccess] access to local variable src
# 182| 1: [LocalVariableAccess] access to local variable sink1
# 183| 5: [LocalVariableDeclStmt] ... ...;
# 183| 0: [LocalVariableDeclAndInitExpr] String sink2 = ...
# 183| 0: [LocalFunctionCall] call to local function g
# 183| -1: [LocalFunctionAccess] access to local function g
# 183| 0: [LocalVariableAccess] access to local variable src
# 183| 1: [LocalVariableAccess] access to local variable sink2
# 184| 6: [LocalVariableDeclStmt] ... ...;
# 184| 0: [LocalVariableDeclAndInitExpr] String sink3 = ...
# 184| 0: [LocalFunctionCall] call to local function h
# 184| -1: [LocalFunctionAccess] access to local function h
# 184| 0: [LocalVariableAccess] access to local variable src
# 184| 1: [LocalVariableAccess] access to local variable sink3
# 188| [Class] Refs
# 190| 5: [Method] F1
# 191| 4: [BlockStmt] {...}
# 192| 0: [LocalVariableDeclStmt] ... ...;
# 192| 0: [LocalVariableDeclAndInitExpr] Int32 v1 = ...
# 192| 0: [IntLiteral] 2
# 192| 1: [LocalVariableAccess] access to local variable v1
# 193| 1: [LocalVariableDeclStmt] ... ...;
# 193| 0: [LocalVariableDeclAndInitExpr] Int32 r1 = ...
# 193| 0: [RefExpr] ref ...
# 193| 0: [LocalVariableAccess] access to local variable v1
# 193| 1: [LocalVariableAccess] access to local variable r1
# 194| 2: [LocalVariableDeclStmt] ... ...;
# 194| 0: [LocalVariableDeclAndInitExpr] Int32[] array = ...
# 194| 0: [ArrayCreation] array creation of type Int32[]
# 194| 0: [IntLiteral] 10
# 194| 1: [LocalVariableAccess] access to local variable array
# 195| 3: [ExprStmt] ...;
# 195| 0: [AssignExpr] ... = ...
# 195| 0: [IntLiteral] 3
# 195| 1: [LocalVariableAccess] access to local variable r1
# 196| 4: [ExprStmt] ...;
# 196| 0: [AssignExpr] ... = ...
# 196| 0: [ArrayAccess] access to array element
# 196| -1: [LocalVariableAccess] access to local variable array
# 196| 0: [IntLiteral] 1
# 196| 1: [LocalVariableAccess] access to local variable r1
# 197| 5: [LocalVariableDeclStmt] ... ...;
# 197| 0: [LocalVariableDeclAndInitExpr] Int32 r2 = ...
# 197| 0: [RefExpr] ref ...
# 197| 0: [ArrayAccess] access to array element
# 197| -1: [LocalVariableAccess] access to local variable array
# 197| 0: [IntLiteral] 3
# 197| 1: [LocalVariableAccess] access to local variable r2
# 198| 6: [LocalVariableDeclStmt] ... ...;
# 198| 0: [LocalVariableDeclAndInitExpr] Int32 r3 = ...
# 198| 0: [RefExpr] ref ...
# 198| 0: [LocalVariableAccess] access to local variable r1
# 198| 1: [LocalVariableAccess] access to local variable r3
# 199| 7: [ExprStmt] ...;
# 199| 0: [AssignExpr] ... = ...
# 199| 0: [MethodCall] call to method F2
# 199| 0: [LocalVariableAccess] access to local variable v1
# 199| 1: [LocalVariableAccess] access to local variable v1
# 200| 8: [LocalVariableDeclStmt] ... ...;
# 200| 0: [LocalVariableDeclAndInitExpr] Int32 r4 = ...
# 200| 0: [RefExpr] ref ...
# 200| 0: [MethodCall] call to method F2
# 200| 0: [LocalVariableAccess] access to local variable r1
# 200| 1: [LocalVariableAccess] access to local variable r4
# 201| 9: [ExprStmt] ...;
# 201| 0: [AssignExpr] ... = ...
# 201| 0: [IntLiteral] 3
# 201| 1: [MethodCall] call to method F2
# 201| 0: [LocalVariableAccess] access to local variable r1
# 204| 6: [Method] F2
#-----| 2: (Parameters)
# 209| 0: [Parameter] p
# 212| [Class] Discards
# 214| 5: [Method] f
# 204| 0: [Parameter] p
# 205| 4: [BlockStmt] {...}
# 206| 0: [LocalFunctionStmt] F3(...)
# 206| 0: [LocalFunction] F3
#-----| 2: (Parameters)
# 206| 0: [Parameter] q
# 206| 4: [BlockStmt] {...}
# 206| 0: [ReturnStmt] return ...;
# 206| 0: [RefExpr] ref ...
# 206| 0: [ParameterAccess] access to parameter q
# 207| 1: [ReturnStmt] return ...;
# 207| 0: [RefExpr] ref ...
# 207| 0: [ParameterAccess] access to parameter p
# 210| 7: [DelegateType] RefFn
#-----| 2: (Parameters)
# 214| 0: [Parameter] x
# 215| 4: [BlockStmt] {...}
# 216| 0: [ExprStmt] ...;
# 216| 0: [AssignExpr] ... = ...
# 216| 0: [BoolLiteral] false
# 216| 1: [ParameterAccess] access to parameter x
# 217| 1: [ReturnStmt] return ...;
# 217| 0: [TupleExpr] (..., ...)
# 217| 0: [IntLiteral] 0
# 217| 1: [DoubleLiteral] 0
# 220| 6: [Method] Test
# 221| 4: [BlockStmt] {...}
# 222| 0: [ExprStmt] ...;
# 222| 0: [AssignExpr] ... = ...
# 222| 0: [MethodCall] call to method f
# 222| 0: [DiscardExpr] _
# 222| 1: [DiscardExpr] _
# 223| 1: [ExprStmt] ...;
# 210| 0: [Parameter] p
# 213| [Class] Discards
# 215| 5: [Method] f
#-----| 2: (Parameters)
# 215| 0: [Parameter] x
# 216| 4: [BlockStmt] {...}
# 217| 0: [ExprStmt] ...;
# 217| 0: [AssignExpr] ... = ...
# 217| 0: [BoolLiteral] false
# 217| 1: [ParameterAccess] access to parameter x
# 218| 1: [ReturnStmt] return ...;
# 218| 0: [TupleExpr] (..., ...)
# 218| 0: [IntLiteral] 0
# 218| 1: [DoubleLiteral] 0
# 221| 6: [Method] Test
# 222| 4: [BlockStmt] {...}
# 223| 0: [ExprStmt] ...;
# 223| 0: [AssignExpr] ... = ...
# 223| 0: [MethodCall] call to method f
# 223| 0: [DiscardExpr] _
# 223| 1: [TupleExpr] (..., ...)
# 223| 0: [DiscardExpr] _
# 223| 1: [DiscardExpr] _
# 224| 2: [ExprStmt] ...;
# 223| 1: [DiscardExpr] _
# 224| 1: [ExprStmt] ...;
# 224| 0: [AssignExpr] ... = ...
# 224| 0: [MethodCall] call to method f
# 224| 0: [DiscardExpr] _
# 224| 1: [TupleExpr] (..., ...)
# 224| 0: [LocalVariableDeclExpr] Int32 x
# 224| 0: [DiscardExpr] _
# 224| 1: [DiscardExpr] _
# 225| 3: [ExprStmt] ...;
# 225| 2: [ExprStmt] ...;
# 225| 0: [AssignExpr] ... = ...
# 225| 0: [MethodCall] call to method f
# 225| 0: [LocalVariableAccess,LocalVariableDeclExpr] Boolean z
# 225| 1: [TupleExpr] (..., ...)
# 225| 0: [DiscardExpr] _
# 225| 1: [LocalVariableDeclExpr] Double y
# 229| [Class] Patterns
# 231| 5: [Method] Test
# 232| 4: [BlockStmt] {...}
# 233| 0: [LocalVariableDeclStmt] ... ...;
# 233| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 233| 0: [NullLiteral] null
# 233| 1: [LocalVariableAccess] access to local variable o
# 234| 1: [IfStmt] if (...) ...
# 234| 0: [LogicalAndExpr] ... && ...
# 234| 0: [IsExpr] ... is ...
# 234| 0: [LocalVariableAccess] access to local variable o
# 234| 1: [VariablePatternExpr] Int32 i1
# 234| 1: [GTExpr] ... > ...
# 234| 0: [LocalVariableAccess] access to local variable i1
# 234| 1: [IntLiteral] 0
# 235| 1: [BlockStmt] {...}
# 236| 0: [ExprStmt] ...;
# 236| 0: [MethodCall] call to method WriteLine
# 236| -1: [TypeAccess] access to type Console
# 236| 0: [InterpolatedStringExpr] $"..."
# 236| 0: [StringLiteral] "int "
# 236| 1: [LocalVariableAccess] access to local variable i1
# 238| 2: [IfStmt] if (...) ...
# 238| 0: [IsExpr] ... is ...
# 238| 0: [LocalVariableAccess] access to local variable o
# 238| 1: [VariablePatternExpr] String s1
# 239| 1: [BlockStmt] {...}
# 240| 0: [ExprStmt] ...;
# 240| 0: [MethodCall] call to method WriteLine
# 240| -1: [TypeAccess] access to type Console
# 240| 0: [InterpolatedStringExpr] $"..."
# 240| 0: [StringLiteral] "string "
# 240| 1: [LocalVariableAccess] access to local variable s1
# 242| 2: [IfStmt] if (...) ...
# 242| 0: [IsExpr] ... is ...
# 242| 0: [LocalVariableAccess] access to local variable o
# 242| 1: [TypeAccessPatternExpr] access to type Double
# 243| 1: [BlockStmt] {...}
# 245| 2: [IfStmt] if (...) ...
# 245| 0: [IsExpr] ... is ...
# 245| 0: [LocalVariableAccess] access to local variable o
# 245| 1: [VariablePatternExpr] Object v1
# 246| 1: [BlockStmt] {...}
# 249| 2: [SwitchStmt] switch (...) {...}
# 249| 0: [LocalVariableAccess] access to local variable o
# 251| 0: [ConstCase] case ...:
# 251| 0: [ConstantPatternExpr,StringLiteral] "xyz"
# 252| 1: [BreakStmt] break;
# 253| 2: [ConstCase] case ...:
# 253| 0: [ConstantPatternExpr,StringLiteral] ""
# 253| 1: [LTExpr] ... < ...
# 253| 0: [IntLiteral] 1
# 253| 1: [IntLiteral] 2
# 254| 3: [BreakStmt] break;
# 255| 4: [ConstCase] case ...:
# 255| 0: [ConstantPatternExpr,StringLiteral] "x"
# 255| 1: [IsExpr] ... is ...
# 255| 0: [LocalVariableAccess] access to local variable o
# 255| 1: [VariablePatternExpr] String s4
# 256| 5: [ExprStmt] ...;
# 256| 0: [MethodCall] call to method WriteLine
# 256| -1: [TypeAccess] access to type Console
# 256| 0: [InterpolatedStringExpr] $"..."
# 256| 0: [StringLiteral] "x "
# 256| 1: [LocalVariableAccess] access to local variable s4
# 257| 6: [BreakStmt] break;
# 258| 7: [CaseStmt] case ...:
# 258| 0: [VariablePatternExpr] Int32 i2
# 258| 1: [GTExpr] ... > ...
# 258| 0: [LocalVariableAccess] access to local variable i2
# 258| 1: [IntLiteral] 0
# 259| 8: [ExprStmt] ...;
# 259| 0: [MethodCall] call to method WriteLine
# 259| -1: [TypeAccess] access to type Console
# 259| 0: [InterpolatedStringExpr] $"..."
# 259| 0: [StringLiteral] "positive "
# 259| 1: [LocalVariableAccess] access to local variable i2
# 260| 9: [BreakStmt] break;
# 261| 10: [CaseStmt] case ...:
# 261| 0: [VariablePatternExpr] Int32 i3
# 262| 11: [ExprStmt] ...;
# 262| 0: [MethodCall] call to method WriteLine
# 262| -1: [TypeAccess] access to type Console
# 262| 0: [InterpolatedStringExpr] $"..."
# 262| 0: [StringLiteral] "int "
# 262| 1: [LocalVariableAccess] access to local variable i3
# 263| 12: [BreakStmt] break;
# 264| 13: [CaseStmt] case ...:
# 264| 0: [VariablePatternExpr] String s2
# 265| 14: [ExprStmt] ...;
# 265| 0: [MethodCall] call to method WriteLine
# 265| -1: [TypeAccess] access to type Console
# 265| 0: [InterpolatedStringExpr] $"..."
# 265| 0: [StringLiteral] "string "
# 265| 1: [LocalVariableAccess] access to local variable s2
# 266| 15: [BreakStmt] break;
# 267| 16: [CaseStmt] case ...:
# 267| 0: [TypeAccessPatternExpr] access to type Double
# 268| 17: [ExprStmt] ...;
# 268| 0: [MethodCall] call to method WriteLine
# 268| -1: [TypeAccess] access to type Console
# 268| 0: [StringLiteral] "Double"
# 269| 18: [BreakStmt] break;
# 270| 19: [CaseStmt] case ...:
# 270| 0: [VariablePatternExpr] Object v2
# 271| 20: [BreakStmt] break;
# 272| 21: [DefaultCase] default:
# 273| 22: [ExprStmt] ...;
# 273| 0: [MethodCall] call to method WriteLine
# 273| -1: [TypeAccess] access to type Console
# 273| 0: [StringLiteral] "Something else"
# 274| 23: [BreakStmt] break;
# 279| [Class] ForeachStatements
# 281| 5: [Method] Test
# 282| 4: [BlockStmt] {...}
# 283| 0: [LocalVariableDeclStmt] ... ...;
# 283| 0: [LocalVariableDeclAndInitExpr] Dictionary<Int32,String> dict = ...
# 283| 0: [ObjectCreation] object creation of type Dictionary<Int32,String>
# 283| 1: [LocalVariableAccess] access to local variable dict
# 284| 1: [LocalVariableDeclStmt] ... ...;
# 284| 0: [LocalVariableDeclAndInitExpr] IEnumerable<(Int32,String)> list = ...
# 284| 0: [MethodCall] call to method Select
# 284| -1: [LocalVariableAccess] access to local variable dict
# 284| 0: [LambdaExpr] (...) => ...
# 225| 1: [TupleExpr] (..., ...)
# 225| 0: [LocalVariableDeclExpr] Int32 x
# 225| 1: [DiscardExpr] _
# 226| 3: [ExprStmt] ...;
# 226| 0: [AssignExpr] ... = ...
# 226| 0: [MethodCall] call to method f
# 226| 0: [LocalVariableAccess,LocalVariableDeclExpr] Boolean z
# 226| 1: [TupleExpr] (..., ...)
# 226| 0: [DiscardExpr] _
# 226| 1: [LocalVariableDeclExpr] Double y
# 230| [Class] Patterns
# 232| 5: [Method] Test
# 233| 4: [BlockStmt] {...}
# 234| 0: [LocalVariableDeclStmt] ... ...;
# 234| 0: [LocalVariableDeclAndInitExpr] Object o = ...
# 234| 0: [NullLiteral] null
# 234| 1: [LocalVariableAccess] access to local variable o
# 235| 1: [IfStmt] if (...) ...
# 235| 0: [LogicalAndExpr] ... && ...
# 235| 0: [IsExpr] ... is ...
# 235| 0: [LocalVariableAccess] access to local variable o
# 235| 1: [VariablePatternExpr] Int32 i1
# 235| 1: [GTExpr] ... > ...
# 235| 0: [LocalVariableAccess] access to local variable i1
# 235| 1: [IntLiteral] 0
# 236| 1: [BlockStmt] {...}
# 237| 0: [ExprStmt] ...;
# 237| 0: [MethodCall] call to method WriteLine
# 237| -1: [TypeAccess] access to type Console
# 237| 0: [InterpolatedStringExpr] $"..."
# 237| 0: [StringLiteral] "int "
# 237| 1: [LocalVariableAccess] access to local variable i1
# 239| 2: [IfStmt] if (...) ...
# 239| 0: [IsExpr] ... is ...
# 239| 0: [LocalVariableAccess] access to local variable o
# 239| 1: [VariablePatternExpr] String s1
# 240| 1: [BlockStmt] {...}
# 241| 0: [ExprStmt] ...;
# 241| 0: [MethodCall] call to method WriteLine
# 241| -1: [TypeAccess] access to type Console
# 241| 0: [InterpolatedStringExpr] $"..."
# 241| 0: [StringLiteral] "string "
# 241| 1: [LocalVariableAccess] access to local variable s1
# 243| 2: [IfStmt] if (...) ...
# 243| 0: [IsExpr] ... is ...
# 243| 0: [LocalVariableAccess] access to local variable o
# 243| 1: [TypeAccessPatternExpr] access to type Double
# 244| 1: [BlockStmt] {...}
# 246| 2: [IfStmt] if (...) ...
# 246| 0: [IsExpr] ... is ...
# 246| 0: [LocalVariableAccess] access to local variable o
# 246| 1: [VariablePatternExpr] Object v1
# 247| 1: [BlockStmt] {...}
# 250| 2: [SwitchStmt] switch (...) {...}
# 250| 0: [LocalVariableAccess] access to local variable o
# 252| 0: [ConstCase] case ...:
# 252| 0: [ConstantPatternExpr,StringLiteral] "xyz"
# 253| 1: [BreakStmt] break;
# 254| 2: [ConstCase] case ...:
# 254| 0: [ConstantPatternExpr,StringLiteral] ""
# 254| 1: [LTExpr] ... < ...
# 254| 0: [IntLiteral] 1
# 254| 1: [IntLiteral] 2
# 255| 3: [BreakStmt] break;
# 256| 4: [ConstCase] case ...:
# 256| 0: [ConstantPatternExpr,StringLiteral] "x"
# 256| 1: [IsExpr] ... is ...
# 256| 0: [LocalVariableAccess] access to local variable o
# 256| 1: [VariablePatternExpr] String s4
# 257| 5: [ExprStmt] ...;
# 257| 0: [MethodCall] call to method WriteLine
# 257| -1: [TypeAccess] access to type Console
# 257| 0: [InterpolatedStringExpr] $"..."
# 257| 0: [StringLiteral] "x "
# 257| 1: [LocalVariableAccess] access to local variable s4
# 258| 6: [BreakStmt] break;
# 259| 7: [CaseStmt] case ...:
# 259| 0: [VariablePatternExpr] Int32 i2
# 259| 1: [GTExpr] ... > ...
# 259| 0: [LocalVariableAccess] access to local variable i2
# 259| 1: [IntLiteral] 0
# 260| 8: [ExprStmt] ...;
# 260| 0: [MethodCall] call to method WriteLine
# 260| -1: [TypeAccess] access to type Console
# 260| 0: [InterpolatedStringExpr] $"..."
# 260| 0: [StringLiteral] "positive "
# 260| 1: [LocalVariableAccess] access to local variable i2
# 261| 9: [BreakStmt] break;
# 262| 10: [CaseStmt] case ...:
# 262| 0: [VariablePatternExpr] Int32 i3
# 263| 11: [ExprStmt] ...;
# 263| 0: [MethodCall] call to method WriteLine
# 263| -1: [TypeAccess] access to type Console
# 263| 0: [InterpolatedStringExpr] $"..."
# 263| 0: [StringLiteral] "int "
# 263| 1: [LocalVariableAccess] access to local variable i3
# 264| 12: [BreakStmt] break;
# 265| 13: [CaseStmt] case ...:
# 265| 0: [VariablePatternExpr] String s2
# 266| 14: [ExprStmt] ...;
# 266| 0: [MethodCall] call to method WriteLine
# 266| -1: [TypeAccess] access to type Console
# 266| 0: [InterpolatedStringExpr] $"..."
# 266| 0: [StringLiteral] "string "
# 266| 1: [LocalVariableAccess] access to local variable s2
# 267| 15: [BreakStmt] break;
# 268| 16: [CaseStmt] case ...:
# 268| 0: [TypeAccessPatternExpr] access to type Double
# 269| 17: [ExprStmt] ...;
# 269| 0: [MethodCall] call to method WriteLine
# 269| -1: [TypeAccess] access to type Console
# 269| 0: [StringLiteral] "Double"
# 270| 18: [BreakStmt] break;
# 271| 19: [CaseStmt] case ...:
# 271| 0: [VariablePatternExpr] Object v2
# 272| 20: [BreakStmt] break;
# 273| 21: [DefaultCase] default:
# 274| 22: [ExprStmt] ...;
# 274| 0: [MethodCall] call to method WriteLine
# 274| -1: [TypeAccess] access to type Console
# 274| 0: [StringLiteral] "Something else"
# 275| 23: [BreakStmt] break;
# 280| [Class] ForeachStatements
# 282| 5: [Method] Test
# 283| 4: [BlockStmt] {...}
# 284| 0: [LocalVariableDeclStmt] ... ...;
# 284| 0: [LocalVariableDeclAndInitExpr] Dictionary<Int32,String> dict = ...
# 284| 0: [ObjectCreation] object creation of type Dictionary<Int32,String>
# 284| 1: [LocalVariableAccess] access to local variable dict
# 285| 1: [LocalVariableDeclStmt] ... ...;
# 285| 0: [LocalVariableDeclAndInitExpr] IEnumerable<(Int32,String)> list = ...
# 285| 0: [MethodCall] call to method Select
# 285| -1: [LocalVariableAccess] access to local variable dict
# 285| 0: [LambdaExpr] (...) => ...
#-----| 2: (Parameters)
# 284| 0: [Parameter] item
# 284| 4: [TupleExpr] (..., ...)
# 284| 0: [PropertyCall] access to property Key
# 284| -1: [ParameterAccess] access to parameter item
# 284| 1: [PropertyCall] access to property Value
# 284| -1: [ParameterAccess] access to parameter item
# 284| 1: [LocalVariableAccess] access to local variable list
# 286| 2: [ForeachStmt] foreach (... ... in ...) ...
# 286| 0: [TupleExpr] (..., ...)
# 286| 0: [LocalVariableDeclExpr] Int32 a
# 286| 1: [LocalVariableDeclExpr] String b
# 286| 1: [LocalVariableAccess] access to local variable list
# 286| 2: [BlockStmt] {...}
# 288| 3: [ForeachStmt] foreach (... ... in ...) ...
# 288| 0: [TupleExpr] (..., ...)
# 288| 0: [LocalVariableDeclExpr] Int32 a
# 288| 1: [LocalVariableDeclExpr] String b
# 288| 1: [LocalVariableAccess] access to local variable list
# 288| 2: [BlockStmt] {...}
# 290| 4: [ForeachStmt] foreach (... ... in ...) ...
# 290| 0: [TupleExpr] (..., ...)
# 290| 0: [LocalVariableDeclExpr] Int32 a
# 290| 1: [LocalVariableDeclExpr] String b
# 290| 1: [LocalVariableAccess] access to local variable list
# 290| 2: [BlockStmt] {...}
# 294| [Class] ForLoops
# 296| 5: [Method] Test
# 297| 4: [BlockStmt] {...}
# 298| 0: [ForStmt] for (...;...;...) ...
# 298| -1: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 298| 0: [IntLiteral] 0
# 298| 1: [LocalVariableAccess] access to local variable x
# 298| 0: [LogicalAndExpr] ... && ...
# 298| 0: [LTExpr] ... < ...
# 298| 0: [LocalVariableAccess] access to local variable x
# 298| 1: [IntLiteral] 10
# 298| 1: [IsExpr] ... is ...
# 298| 0: [LocalVariableAccess] access to local variable x
# 298| 1: [VariablePatternExpr] Int32 y
# 298| 1: [PreIncrExpr] ++...
# 298| 0: [LocalVariableAccess] access to local variable x
# 299| 2: [BlockStmt] {...}
# 300| 0: [ExprStmt] ...;
# 300| 0: [MethodCall] call to method WriteLine
# 300| -1: [TypeAccess] access to type Console
# 300| 0: [LocalVariableAccess] access to local variable y
# 285| 0: [Parameter] item
# 285| 4: [TupleExpr] (..., ...)
# 285| 0: [PropertyCall] access to property Key
# 285| -1: [ParameterAccess] access to parameter item
# 285| 1: [PropertyCall] access to property Value
# 285| -1: [ParameterAccess] access to parameter item
# 285| 1: [LocalVariableAccess] access to local variable list
# 287| 2: [ForeachStmt] foreach (... ... in ...) ...
# 287| 0: [TupleExpr] (..., ...)
# 287| 0: [LocalVariableDeclExpr] Int32 a
# 287| 1: [LocalVariableDeclExpr] String b
# 287| 1: [LocalVariableAccess] access to local variable list
# 287| 2: [BlockStmt] {...}
# 289| 3: [ForeachStmt] foreach (... ... in ...) ...
# 289| 0: [TupleExpr] (..., ...)
# 289| 0: [LocalVariableDeclExpr] Int32 a
# 289| 1: [LocalVariableDeclExpr] String b
# 289| 1: [LocalVariableAccess] access to local variable list
# 289| 2: [BlockStmt] {...}
# 291| 4: [ForeachStmt] foreach (... ... in ...) ...
# 291| 0: [TupleExpr] (..., ...)
# 291| 0: [LocalVariableDeclExpr] Int32 a
# 291| 1: [LocalVariableDeclExpr] String b
# 291| 1: [LocalVariableAccess] access to local variable list
# 291| 2: [BlockStmt] {...}
# 295| [Class] ForLoops
# 297| 5: [Method] Test
# 298| 4: [BlockStmt] {...}
# 299| 0: [ForStmt] for (...;...;...) ...
# 299| -1: [LocalVariableDeclAndInitExpr] Int32 x = ...
# 299| 0: [IntLiteral] 0
# 299| 1: [LocalVariableAccess] access to local variable x
# 299| 0: [LogicalAndExpr] ... && ...
# 299| 0: [LTExpr] ... < ...
# 299| 0: [LocalVariableAccess] access to local variable x
# 299| 1: [IntLiteral] 10
# 299| 1: [IsExpr] ... is ...
# 299| 0: [LocalVariableAccess] access to local variable x
# 299| 1: [VariablePatternExpr] Int32 y
# 299| 1: [PreIncrExpr] ++...
# 299| 0: [LocalVariableAccess] access to local variable x
# 300| 2: [BlockStmt] {...}
# 301| 0: [ExprStmt] ...;
# 301| 0: [MethodCall] call to method WriteLine
# 301| -1: [TypeAccess] access to type Console
# 301| 0: [LocalVariableAccess] access to local variable y

2
csharp/ql/test/library-tests/csharp7/RefDelegates.expected
View File

@@ -1 +1 @@
| CSharp7.cs:209:22:209:26 | RefFn |
| CSharp7.cs:210:22:210:26 | RefFn |

12
csharp/ql/test/library-tests/csharp7/RefExprs.expected
View File

@@ -1,6 +1,6 @@
| CSharp7.cs:192:22:192:27 | ref ... | CSharp7.cs:192:26:192:27 | access to local variable v1 | Int32 |
| CSharp7.cs:196:22:196:33 | ref ... | CSharp7.cs:196:26:196:33 | access to array element | Int32 |
| CSharp7.cs:197:22:197:27 | ref ... | CSharp7.cs:197:26:197:27 | access to local variable r1 | Int32 |
| CSharp7.cs:199:22:199:35 | ref ... | CSharp7.cs:199:26:199:35 | call to method F2 | Int32 |
| CSharp7.cs:205:40:205:44 | ref ... | CSharp7.cs:205:44:205:44 | access to parameter q | Int32 |
| CSharp7.cs:206:16:206:20 | ref ... | CSharp7.cs:206:20:206:20 | access to parameter p | Int32 |
| CSharp7.cs:193:22:193:27 | ref ... | CSharp7.cs:193:26:193:27 | access to local variable v1 | Int32 |
| CSharp7.cs:197:22:197:33 | ref ... | CSharp7.cs:197:26:197:33 | access to array element | Int32 |
| CSharp7.cs:198:22:198:27 | ref ... | CSharp7.cs:198:26:198:27 | access to local variable r1 | Int32 |
| CSharp7.cs:200:22:200:35 | ref ... | CSharp7.cs:200:26:200:35 | call to method F2 | Int32 |
| CSharp7.cs:206:40:206:44 | ref ... | CSharp7.cs:206:44:206:44 | access to parameter q | Int32 |
| CSharp7.cs:207:16:207:20 | ref ... | CSharp7.cs:207:20:207:20 | access to parameter p | Int32 |

4
csharp/ql/test/library-tests/csharp7/RefFunctions.expected
View File

@@ -1,2 +1,2 @@
| CSharp7.cs:203:13:203:14 | F2 |
| CSharp7.cs:205:9:205:47 | F3 |
| CSharp7.cs:204:13:204:14 | F2 |
| CSharp7.cs:206:9:206:47 | F3 |

8
csharp/ql/test/library-tests/csharp7/RefVariables.expected
View File

@@ -1,4 +1,4 @@
| CSharp7.cs:192:17:192:18 | r1 |
| CSharp7.cs:196:17:196:18 | r2 |
| CSharp7.cs:197:17:197:18 | r3 |
| CSharp7.cs:199:17:199:18 | r4 |
| CSharp7.cs:193:17:193:18 | r1 |
| CSharp7.cs:197:17:197:18 | r2 |
| CSharp7.cs:198:17:198:18 | r3 |
| CSharp7.cs:200:17:200:18 | r4 |

22
csharp/ql/test/library-tests/csharp7/TaintReaches.expected
View File

@@ -25,14 +25,14 @@
| CSharp7.cs:114:50:114:58 | "DefUse2" | CSharp7.cs:114:38:114:67 | ... = ... |
| CSharp7.cs:114:50:114:58 | "DefUse2" | CSharp7.cs:114:49:114:67 | (..., ...) |
| CSharp7.cs:123:28:123:36 | "DefUse3" | CSharp7.cs:123:22:123:36 | ... = ... |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:176:16:176:30 | SSA def(src) |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:181:23:181:25 | access to local variable src |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:182:23:182:25 | access to local variable src |
| CSharp7.cs:176:22:176:30 | "tainted" | CSharp7.cs:183:23:183:25 | access to local variable src |
| CSharp7.cs:177:38:177:39 | "" | CSharp7.cs:177:31:177:39 | ... + ... |
| CSharp7.cs:236:33:236:36 | "int " | CSharp7.cs:236:31:236:41 | $"..." |
| CSharp7.cs:240:33:240:39 | "string " | CSharp7.cs:240:31:240:44 | $"..." |
| CSharp7.cs:256:37:256:38 | "x " | CSharp7.cs:256:35:256:43 | $"..." |
| CSharp7.cs:259:37:259:45 | "positive " | CSharp7.cs:259:35:259:50 | $"..." |
| CSharp7.cs:262:37:262:40 | "int " | CSharp7.cs:262:35:262:45 | $"..." |
| CSharp7.cs:265:37:265:43 | "string " | CSharp7.cs:265:35:265:48 | $"..." |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:177:16:177:30 | SSA def(src) |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:182:23:182:25 | access to local variable src |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:183:23:183:25 | access to local variable src |
| CSharp7.cs:177:22:177:30 | "tainted" | CSharp7.cs:184:23:184:25 | access to local variable src |
| CSharp7.cs:178:38:178:39 | "" | CSharp7.cs:178:31:178:39 | ... + ... |
| CSharp7.cs:237:33:237:36 | "int " | CSharp7.cs:237:31:237:41 | $"..." |
| CSharp7.cs:241:33:241:39 | "string " | CSharp7.cs:241:31:241:44 | $"..." |
| CSharp7.cs:257:37:257:38 | "x " | CSharp7.cs:257:35:257:43 | $"..." |
| CSharp7.cs:260:37:260:45 | "positive " | CSharp7.cs:260:35:260:50 | $"..." |
| CSharp7.cs:263:37:263:40 | "int " | CSharp7.cs:263:35:263:45 | $"..." |
| CSharp7.cs:266:37:266:43 | "string " | CSharp7.cs:266:35:266:48 | $"..." |

16
csharp/ql/test/library-tests/csharp7/TupleAccess.expected
View File

@@ -1,4 +1,4 @@
| CSharp7.cs:66:16:66:21 | (..., ...) | read |
| CSharp7.cs:66:16:66:27 | (..., ...) | read |
| CSharp7.cs:71:9:71:22 | (..., ...) | write |
| CSharp7.cs:73:9:73:14 | (..., ...) | write |
| CSharp7.cs:75:9:75:23 | (..., ...) | write |
@@ -35,11 +35,11 @@
| CSharp7.cs:114:38:114:45 | (..., ...) | write |
| CSharp7.cs:114:49:114:67 | (..., ...) | read |
| CSharp7.cs:114:61:114:66 | (..., ...) | read |
| CSharp7.cs:217:16:217:23 | (..., ...) | read |
| CSharp7.cs:223:9:223:14 | (..., ...) | write |
| CSharp7.cs:224:9:224:18 | (..., ...) | write |
| CSharp7.cs:218:16:218:23 | (..., ...) | read |
| CSharp7.cs:224:9:224:14 | (..., ...) | write |
| CSharp7.cs:225:9:225:18 | (..., ...) | write |
| CSharp7.cs:284:40:284:61 | (..., ...) | read |
| CSharp7.cs:286:18:286:34 | (..., ...) | write |
| CSharp7.cs:288:18:288:31 | (..., ...) | write |
| CSharp7.cs:290:18:290:27 | (..., ...) | write |
| CSharp7.cs:226:9:226:18 | (..., ...) | write |
| CSharp7.cs:285:40:285:61 | (..., ...) | read |
| CSharp7.cs:287:18:287:34 | (..., ...) | write |
| CSharp7.cs:289:18:289:31 | (..., ...) | write |
| CSharp7.cs:291:18:291:27 | (..., ...) | write |

36
csharp/ql/test/library-tests/csharp7/TupleExpr.expected
View File

@@ -1,5 +1,5 @@
| CSharp7.cs:66:16:66:21 | (..., ...) | 0 | CSharp7.cs:66:17:66:17 | 1 |
| CSharp7.cs:66:16:66:21 | (..., ...) | 1 | CSharp7.cs:66:20:66:20 | 2 |
| CSharp7.cs:66:16:66:27 | (..., ...) | 0 | CSharp7.cs:66:20:66:20 | 1 |
| CSharp7.cs:66:16:66:27 | (..., ...) | 1 | CSharp7.cs:66:26:66:26 | 2 |
| CSharp7.cs:71:9:71:22 | (..., ...) | 0 | CSharp7.cs:71:14:71:14 | Int32 x |
| CSharp7.cs:71:9:71:22 | (..., ...) | 1 | CSharp7.cs:71:21:71:21 | Int32 y |
| CSharp7.cs:73:9:73:14 | (..., ...) | 0 | CSharp7.cs:73:10:73:10 | access to local variable x |
@@ -74,19 +74,19 @@
| CSharp7.cs:114:49:114:67 | (..., ...) | 1 | CSharp7.cs:114:61:114:66 | (..., ...) |
| CSharp7.cs:114:61:114:66 | (..., ...) | 0 | CSharp7.cs:114:62:114:62 | 0 |
| CSharp7.cs:114:61:114:66 | (..., ...) | 1 | CSharp7.cs:114:65:114:65 | 1 |
| CSharp7.cs:217:16:217:23 | (..., ...) | 0 | CSharp7.cs:217:17:217:17 | 0 |
| CSharp7.cs:217:16:217:23 | (..., ...) | 1 | CSharp7.cs:217:20:217:22 | 0 |
| CSharp7.cs:223:9:223:14 | (..., ...) | 0 | CSharp7.cs:223:10:223:10 | _ |
| CSharp7.cs:223:9:223:14 | (..., ...) | 1 | CSharp7.cs:223:13:223:13 | _ |
| CSharp7.cs:224:9:224:18 | (..., ...) | 0 | CSharp7.cs:224:14:224:14 | Int32 x |
| CSharp7.cs:224:9:224:18 | (..., ...) | 1 | CSharp7.cs:224:17:224:17 | _ |
| CSharp7.cs:225:9:225:18 | (..., ...) | 0 | CSharp7.cs:225:10:225:10 | _ |
| CSharp7.cs:225:9:225:18 | (..., ...) | 1 | CSharp7.cs:225:17:225:17 | Double y |
| CSharp7.cs:284:40:284:61 | (..., ...) | 0 | CSharp7.cs:284:41:284:48 | access to property Key |
| CSharp7.cs:284:40:284:61 | (..., ...) | 1 | CSharp7.cs:284:51:284:60 | access to property Value |
| CSharp7.cs:286:18:286:34 | (..., ...) | 0 | CSharp7.cs:286:23:286:23 | Int32 a |
| CSharp7.cs:286:18:286:34 | (..., ...) | 1 | CSharp7.cs:286:33:286:33 | String b |
| CSharp7.cs:288:18:288:31 | (..., ...) | 0 | CSharp7.cs:288:23:288:23 | Int32 a |
| CSharp7.cs:288:18:288:31 | (..., ...) | 1 | CSharp7.cs:288:30:288:30 | String b |
| CSharp7.cs:290:18:290:27 | (..., ...) | 0 | CSharp7.cs:290:23:290:23 | Int32 a |
| CSharp7.cs:290:18:290:27 | (..., ...) | 1 | CSharp7.cs:290:26:290:26 | String b |
| CSharp7.cs:218:16:218:23 | (..., ...) | 0 | CSharp7.cs:218:17:218:17 | 0 |
| CSharp7.cs:218:16:218:23 | (..., ...) | 1 | CSharp7.cs:218:20:218:22 | 0 |
| CSharp7.cs:224:9:224:14 | (..., ...) | 0 | CSharp7.cs:224:10:224:10 | _ |
| CSharp7.cs:224:9:224:14 | (..., ...) | 1 | CSharp7.cs:224:13:224:13 | _ |
| CSharp7.cs:225:9:225:18 | (..., ...) | 0 | CSharp7.cs:225:14:225:14 | Int32 x |
| CSharp7.cs:225:9:225:18 | (..., ...) | 1 | CSharp7.cs:225:17:225:17 | _ |
| CSharp7.cs:226:9:226:18 | (..., ...) | 0 | CSharp7.cs:226:10:226:10 | _ |
| CSharp7.cs:226:9:226:18 | (..., ...) | 1 | CSharp7.cs:226:17:226:17 | Double y |
| CSharp7.cs:285:40:285:61 | (..., ...) | 0 | CSharp7.cs:285:41:285:48 | access to property Key |
| CSharp7.cs:285:40:285:61 | (..., ...) | 1 | CSharp7.cs:285:51:285:60 | access to property Value |
| CSharp7.cs:287:18:287:34 | (..., ...) | 0 | CSharp7.cs:287:23:287:23 | Int32 a |
| CSharp7.cs:287:18:287:34 | (..., ...) | 1 | CSharp7.cs:287:33:287:33 | String b |
| CSharp7.cs:289:18:289:31 | (..., ...) | 0 | CSharp7.cs:289:23:289:23 | Int32 a |
| CSharp7.cs:289:18:289:31 | (..., ...) | 1 | CSharp7.cs:289:30:289:30 | String b |
| CSharp7.cs:291:18:291:27 | (..., ...) | 0 | CSharp7.cs:291:23:291:23 | Int32 a |
| CSharp7.cs:291:18:291:27 | (..., ...) | 1 | CSharp7.cs:291:26:291:26 | String b |

24
csharp/ql/test/library-tests/csharp7/TupleTypes.expected
View File

@@ -6,19 +6,19 @@
| (Int32,(Int32,Int32)) | (int, (int, int)) | ValueTuple<Int32, (Int32,Int32)> | 2 | 1 | CSharp7.cs:78:27:78:32 | Item2 |
| (Int32,(String,Int32)) | (int, (string, int)) | ValueTuple<Int32, (String,Int32)> | 2 | 0 | CSharp7.cs:98:19:98:19 | Item1 |
| (Int32,(String,Int32)) | (int, (string, int)) | ValueTuple<Int32, (String,Int32)> | 2 | 1 | CSharp7.cs:98:22:98:42 | Item2 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 0 | CSharp7.cs:214:6:214:8 | Item1 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 0 | CSharp7.cs:224:10:224:14 | x |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 0 | CSharp7.cs:225:10:225:10 | Item1 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 1 | CSharp7.cs:214:11:214:16 | Item2 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 1 | CSharp7.cs:224:17:224:17 | Item2 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 1 | CSharp7.cs:225:13:225:17 | y |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 0 | CSharp7.cs:64:6:64:8 | Item1 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 0 | CSharp7.cs:215:6:215:8 | Item1 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 0 | CSharp7.cs:225:10:225:14 | x |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 0 | CSharp7.cs:226:10:226:10 | Item1 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 1 | CSharp7.cs:215:11:215:16 | Item2 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 1 | CSharp7.cs:225:17:225:17 | Item2 |
| (Int32,Double) | (int, double) | ValueTuple<Int32, Double> | 2 | 1 | CSharp7.cs:226:13:226:17 | y |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 0 | CSharp7.cs:64:10:64:10 | A |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 0 | CSharp7.cs:71:10:71:14 | x |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 0 | CSharp7.cs:77:18:77:22 | b |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 0 | CSharp7.cs:78:28:78:28 | c |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 0 | CSharp7.cs:112:15:112:16 | m4 |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 0 | CSharp7.cs:114:19:114:24 | m8 |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 1 | CSharp7.cs:64:11:64:13 | Item2 |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 1 | CSharp7.cs:64:17:64:17 | B |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 1 | CSharp7.cs:71:17:71:21 | y |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 1 | CSharp7.cs:77:25:77:29 | c |
| (Int32,Int32) | (int, int) | ValueTuple<Int32, Int32> | 2 | 1 | CSharp7.cs:78:31:78:31 | a |
@@ -27,10 +27,10 @@
| (Int32,Int32,Int32) | (int, int, int) | ValueTuple<Int32, Int32, Int32> | 3 | 0 | CSharp7.cs:75:10:75:10 | x |
| (Int32,Int32,Int32) | (int, int, int) | ValueTuple<Int32, Int32, Int32> | 3 | 1 | CSharp7.cs:75:13:75:13 | y |
| (Int32,Int32,Int32) | (int, int, int) | ValueTuple<Int32, Int32, Int32> | 3 | 2 | CSharp7.cs:75:16:75:22 | Item3 |
| (Int32,String) | (int, string) | ValueTuple<Int32, String> | 2 | 0 | CSharp7.cs:284:41:284:48 | Key |
| (Int32,String) | (int, string) | ValueTuple<Int32, String> | 2 | 0 | CSharp7.cs:286:19:286:23 | a |
| (Int32,String) | (int, string) | ValueTuple<Int32, String> | 2 | 1 | CSharp7.cs:284:51:284:60 | Value |
| (Int32,String) | (int, string) | ValueTuple<Int32, String> | 2 | 1 | CSharp7.cs:286:26:286:33 | b |
| (Int32,String) | (int, string) | ValueTuple<Int32, String> | 2 | 0 | CSharp7.cs:285:41:285:48 | Key |
| (Int32,String) | (int, string) | ValueTuple<Int32, String> | 2 | 0 | CSharp7.cs:287:19:287:23 | a |
| (Int32,String) | (int, string) | ValueTuple<Int32, String> | 2 | 1 | CSharp7.cs:285:51:285:60 | Value |
| (Int32,String) | (int, string) | ValueTuple<Int32, String> | 2 | 1 | CSharp7.cs:287:26:287:33 | b |
| (String,(Int32,Int32)) | (string, (int, int)) | ValueTuple<String, (Int32,Int32)> | 2 | 0 | CSharp7.cs:109:10:109:15 | m1 |
| (String,(Int32,Int32)) | (string, (int, int)) | ValueTuple<String, (Int32,Int32)> | 2 | 0 | CSharp7.cs:112:10:112:11 | m3 |
| (String,(Int32,Int32)) | (string, (int, int)) | ValueTuple<String, (Int32,Int32)> | 2 | 0 | CSharp7.cs:114:10:114:15 | m7 |

18
csharp/ql/test/library-tests/csharp7/TypeCase1.expected
View File

@@ -1,9 +1,9 @@
| CSharp7.cs:251:13:251:23 | case ...: |
| CSharp7.cs:253:13:253:31 | case ...: |
| CSharp7.cs:255:13:255:41 | case ...: |
| CSharp7.cs:258:13:258:36 | case ...: |
| CSharp7.cs:261:13:261:24 | case ...: |
| CSharp7.cs:264:13:264:27 | case ...: |
| CSharp7.cs:267:13:267:26 | case ...: |
| CSharp7.cs:270:13:270:24 | case ...: |
| CSharp7.cs:272:13:272:20 | default: |
| CSharp7.cs:252:13:252:23 | case ...: |
| CSharp7.cs:254:13:254:31 | case ...: |
| CSharp7.cs:256:13:256:41 | case ...: |
| CSharp7.cs:259:13:259:36 | case ...: |
| CSharp7.cs:262:13:262:24 | case ...: |
| CSharp7.cs:265:13:265:27 | case ...: |
| CSharp7.cs:268:13:268:26 | case ...: |
| CSharp7.cs:271:13:271:24 | case ...: |
| CSharp7.cs:273:13:273:20 | default: |

8
csharp/ql/test/library-tests/csharp7/TypeCase2.expected
View File

@@ -1,4 +1,4 @@
| CSharp7.cs:258:13:258:36 | case ...: | CSharp7.cs:258:18:258:23 | Int32 i2 | Int32 | false |
| CSharp7.cs:261:13:261:24 | case ...: | CSharp7.cs:261:18:261:23 | Int32 i3 | Int32 | false |
| CSharp7.cs:264:13:264:27 | case ...: | CSharp7.cs:264:18:264:26 | String s2 | String | false |
| CSharp7.cs:270:13:270:24 | case ...: | CSharp7.cs:270:18:270:23 | Object v2 | Object | true |
| CSharp7.cs:259:13:259:36 | case ...: | CSharp7.cs:259:18:259:23 | Int32 i2 | Int32 | false |
| CSharp7.cs:262:13:262:24 | case ...: | CSharp7.cs:262:18:262:23 | Int32 i3 | Int32 | false |
| CSharp7.cs:265:13:265:27 | case ...: | CSharp7.cs:265:18:265:26 | String s2 | String | false |
| CSharp7.cs:271:13:271:24 | case ...: | CSharp7.cs:271:18:271:23 | Object v2 | Object | true |

2
csharp/ql/test/library-tests/csharp7/TypeCase3.expected
View File

@@ -1 +1 @@
| CSharp7.cs:258:13:258:36 | case ...: | CSharp7.cs:258:30:258:35 | ... > ... |
| CSharp7.cs:259:13:259:36 | case ...: | CSharp7.cs:259:30:259:35 | ... > ... |

10
csharp/ql/test/library-tests/csharp7/UnboundLocalFunctions.expected
View File

@@ -1,7 +1,7 @@
| CSharp7.cs:133:9:133:42 | f2 | 0 | CSharp7.cs:133:14:133:14 | T |
| CSharp7.cs:133:9:133:42 | f2 | 1 | CSharp7.cs:133:17:133:17 | U |
| CSharp7.cs:160:9:160:24 | f | 0 | CSharp7.cs:160:15:160:15 | T |
| CSharp7.cs:161:9:161:25 | g | 0 | CSharp7.cs:161:13:161:13 | T |
| CSharp7.cs:163:9:168:9 | h | 0 | CSharp7.cs:163:13:163:13 | T |
| CSharp7.cs:163:9:168:9 | h | 1 | CSharp7.cs:163:16:163:16 | U |
| CSharp7.cs:165:13:165:43 | f2 | 0 | CSharp7.cs:165:20:165:20 | S |
| CSharp7.cs:161:9:161:24 | f | 0 | CSharp7.cs:161:15:161:15 | T |
| CSharp7.cs:162:9:162:25 | g | 0 | CSharp7.cs:162:13:162:13 | T |
| CSharp7.cs:164:9:169:9 | h | 0 | CSharp7.cs:164:13:164:13 | T |
| CSharp7.cs:164:9:169:9 | h | 1 | CSharp7.cs:164:16:164:16 | U |
| CSharp7.cs:166:13:166:43 | f2 | 0 | CSharp7.cs:166:20:166:20 | S |