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

C#: Update qltest output.

Browse Source
This commit is contained in:
Calum Grant
2019-12-06 12:28:43 +00:00
parent 5e6b7be5b8
commit 4b0a149704
9 changed files with 289 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
csharp/ql/test/library-tests/controlflow/guards/AbstractValue.expected
View File

@@ -119,6 +119,14 @@ abstractValue
| non-null | Collections.cs:67:19:67:21 | "a" |
| non-null | Collections.cs:68:19:68:21 | "b" |
| non-null | Collections.cs:74:40:74:41 | "" |
| non-null | Collections.cs:75:26:75:32 | this access |
| non-null | Collections.cs:76:24:76:30 | this access |
| non-null | Collections.cs:77:24:77:30 | this access |
| non-null | Collections.cs:78:24:78:30 | this access |
| non-null | Collections.cs:79:24:79:30 | this access |
| non-null | Collections.cs:80:24:80:30 | this access |
| non-null | Collections.cs:81:24:81:30 | this access |
| non-null | Collections.cs:82:24:82:30 | this access |
| non-null | Collections.cs:87:17:87:31 | array creation of type String[] |
| non-null | Collections.cs:88:22:88:23 | array creation of type String[] |
| non-null | Collections.cs:89:9:89:32 | ... = ... |

22
csharp/ql/test/library-tests/conversion/operator/Operator.expected
View File

@@ -1,7 +1,7 @@
| ArraySegment<T> | Memory<T> |
| ArraySegment<T> | ReadOnlyMemory<T> |
| ArraySegment<T> | ReadOnlySpan<T> |
| ArraySegment<T> | Span<T> |
| ArraySegment<T> | Memory<> |
| ArraySegment<T> | ReadOnlyMemory<> |
| ArraySegment<T> | ReadOnlySpan<> |
| ArraySegment<T> | Span<> |
| Byte | Decimal |
| Char | Decimal |
| Char | StandardFormat |
@@ -12,17 +12,17 @@
| Int32 | Index |
| Int32 | MetadataToken |
| Int64 | Decimal |
| Memory<T> | ReadOnlyMemory<T> |
| Memory<> | ReadOnlyMemory<T> |
| MetadataToken | Int32 |
| SByte | Decimal |
| Span<T> | ReadOnlySpan<T> |
| Span<> | ReadOnlySpan<T> |
| String | ReadOnlySpan<Char> |
| T | Nullable<> |
| T[] | ArraySegment<T> |
| T[] | Memory<T> |
| T[] | ReadOnlyMemory<T> |
| T[] | ReadOnlySpan<T> |
| T[] | Span<T> |
| T[] | ArraySegment<> |
| T[] | Memory<> |
| T[] | ReadOnlyMemory<> |
| T[] | ReadOnlySpan<> |
| T[] | Span<> |
| UInt16 | Decimal |
| UInt32 | Decimal |
| UInt64 | Decimal |

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

@@ -116,16 +116,19 @@
| CSharp7.cs:118:9:118:10 | access to local variable m2 | CSharp7.cs:119:19:119:20 | access to local variable m2 |
| CSharp7.cs:119:19:119:20 | access to local variable m2 | CSharp7.cs:119:19:119:26 | access to field Item1 |
| CSharp7.cs:123:28:123:36 | "DefUse3" | CSharp7.cs:123:22:123:36 | ... = ... |
| CSharp7.cs:129:9:129:12 | this | CSharp7.cs:135:24:135:25 | this access |
| CSharp7.cs:131:20:131:20 | x | CSharp7.cs:131:20:131:20 | x |
| CSharp7.cs:131:20:131:20 | x | CSharp7.cs:131:32:131:32 | access to parameter x |
| 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:22:133:22 | t |
| 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:139:29:139:29 | x | CSharp7.cs:139:29:139:29 | x |
| 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 | ... + ... |
| CSharp7.cs:141:9:141:51 | this | CSharp7.cs:141:38:141:39 | this access |
| CSharp7.cs:141:20:141:20 | x | CSharp7.cs:141:20:141:20 | x |
| CSharp7.cs:141:20:141:20 | x | CSharp7.cs:141:26:141:26 | access to parameter x |
| CSharp7.cs:141:26:141:26 | access to parameter x | CSharp7.cs:141:26:141:30 | ... > ... |
@@ -135,16 +138,26 @@
| CSharp7.cs:141:34:141:46 | ... + ... | CSharp7.cs:141:26:141:50 | ... ? ... : ... |
| CSharp7.cs:141:38:141:46 | call to local function f7 | CSharp7.cs:141:34:141:46 | ... + ... |
| CSharp7.cs:141:50:141:50 | 0 | CSharp7.cs:141:26:141:50 | ... ? ... : ... |
| CSharp7.cs:143:9:143:31 | this | CSharp7.cs:143:26:143:27 | this access |
| CSharp7.cs:143:20:143:20 | x | CSharp7.cs:143:20:143:20 | x |
| CSharp7.cs:143:20:143:20 | x | CSharp7.cs:143:29:143:29 | access to parameter x |
| 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:24:147:24 | x |
| 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:18:161:18 | t |
| 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:163:26:163:26 | u |
| 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:25:177:25 | s |
| 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 | ... + ... |
@@ -153,8 +166,10 @@
| 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:25:179:25 | 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: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 |

96
csharp/ql/test/library-tests/dataflow/global/DataFlowEdges.expected
View File

@@ -1,3 +1,11 @@
| Capture.cs:7:10:7:11 | this | Capture.cs:14:9:14:18 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:14:9:14:18 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:25:9:25:18 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:25:9:25:18 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:49:9:49:27 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:49:9:49:27 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:61:9:61:19 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:61:9:61:19 | this access |
| Capture.cs:7:20:7:26 | tainted | Capture.cs:14:9:14:20 | [implicit argument] tainted |
| Capture.cs:7:20:7:26 | tainted | Capture.cs:14:9:14:20 | [implicit argument] tainted |
| Capture.cs:7:20:7:26 | tainted | Capture.cs:25:9:25:20 | [implicit argument] tainted |
@@ -30,6 +38,12 @@
| Capture.cs:11:26:11:32 | access to parameter tainted | Capture.cs:12:19:12:24 | access to local variable sink27 |
| Capture.cs:11:26:11:32 | access to parameter tainted | Capture.cs:12:19:12:24 | access to local variable sink27 |
| Capture.cs:11:26:11:32 | access to parameter tainted | Capture.cs:12:19:12:24 | access to local variable sink27 |
| Capture.cs:14:9:14:18 | this access | Capture.cs:25:9:25:18 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:25:9:25:18 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:49:9:49:27 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:49:9:49:27 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:14:9:14:20 | [implicit argument] tainted | Capture.cs:9:9:13:9 | SSA capture def(tainted) |
| Capture.cs:14:9:14:20 | [implicit argument] tainted | Capture.cs:9:9:13:9 | SSA capture def(tainted) |
| Capture.cs:18:13:22:13 | SSA capture def(tainted) | Capture.cs:20:21:20:36 | SSA def(sink28) |
@@ -56,6 +70,10 @@
| Capture.cs:20:30:20:36 | access to parameter tainted | Capture.cs:21:23:21:28 | access to local variable sink28 |
| Capture.cs:20:30:20:36 | access to parameter tainted | Capture.cs:21:23:21:28 | access to local variable sink28 |
| Capture.cs:20:30:20:36 | access to parameter tainted | Capture.cs:21:23:21:28 | access to local variable sink28 |
| Capture.cs:25:9:25:18 | this access | Capture.cs:49:9:49:27 | this access |
| Capture.cs:25:9:25:18 | this access | Capture.cs:49:9:49:27 | this access |
| Capture.cs:25:9:25:18 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:25:9:25:18 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:25:9:25:20 | [implicit argument] tainted | Capture.cs:18:13:22:13 | SSA capture def(tainted) |
| Capture.cs:25:9:25:20 | [implicit argument] tainted | Capture.cs:18:13:22:13 | SSA capture def(tainted) |
| Capture.cs:27:30:32:9 | SSA def(captureIn3) | Capture.cs:33:30:33:39 | access to local variable captureIn3 |
@@ -120,6 +138,8 @@
| Capture.cs:45:32:45:38 | access to parameter tainted | Capture.cs:45:21:45:38 | SSA def(nonSink0) |
| Capture.cs:45:32:45:38 | access to parameter tainted | Capture.cs:46:23:46:30 | access to local variable nonSink0 |
| Capture.cs:45:32:45:38 | access to parameter tainted | Capture.cs:46:23:46:30 | access to local variable nonSink0 |
| Capture.cs:49:9:49:27 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:49:9:49:27 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:50:33:50:40 | nonSink0 | Capture.cs:52:13:59:14 | [implicit argument] nonSink0 |
| Capture.cs:50:33:50:40 | nonSink0 | Capture.cs:52:13:59:14 | [implicit argument] nonSink0 |
| Capture.cs:50:33:50:40 | nonSink0 | Capture.cs:52:13:59:14 | [implicit argument] nonSink0 |
@@ -152,12 +172,26 @@
| Capture.cs:61:21:61:33 | "not tainted" | Capture.cs:50:33:50:40 | nonSink0 |
| Capture.cs:61:36:61:42 | access to parameter tainted | Capture.cs:50:50:50:55 | sink39 |
| Capture.cs:61:36:61:42 | access to parameter tainted | Capture.cs:50:50:50:55 | sink39 |
| Capture.cs:64:10:64:12 | this | Capture.cs:71:9:71:19 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:71:9:71:19 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:83:9:83:19 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:83:9:83:19 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:109:9:109:28 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:109:9:109:28 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:121:9:121:33 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:121:9:121:33 | this access |
| Capture.cs:66:25:66:26 | "" | Capture.cs:66:16:66:26 | SSA def(sink30) |
| Capture.cs:66:25:66:26 | "" | Capture.cs:66:16:66:26 | SSA def(sink30) |
| Capture.cs:69:13:69:35 | SSA def(sink30) | Capture.cs:71:9:71:21 | SSA call def(sink30) |
| Capture.cs:69:13:69:35 | SSA def(sink30) | Capture.cs:71:9:71:21 | SSA call def(sink30) |
| Capture.cs:69:22:69:35 | "taint source" | Capture.cs:69:13:69:35 | SSA def(sink30) |
| Capture.cs:69:22:69:35 | "taint source" | Capture.cs:69:13:69:35 | SSA def(sink30) |
| Capture.cs:71:9:71:19 | this access | Capture.cs:83:9:83:19 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:83:9:83:19 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:109:9:109:28 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:109:9:109:28 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:71:9:71:21 | SSA call def(sink30) | Capture.cs:72:15:72:20 | access to local variable sink30 |
| Capture.cs:71:9:71:21 | SSA call def(sink30) | Capture.cs:72:15:72:20 | access to local variable sink30 |
| Capture.cs:74:25:74:26 | "" | Capture.cs:74:16:74:26 | SSA def(sink31) |
@@ -166,6 +200,10 @@
| Capture.cs:79:17:79:39 | SSA def(sink31) | Capture.cs:83:9:83:21 | SSA call def(sink31) |
| Capture.cs:79:26:79:39 | "taint source" | Capture.cs:79:17:79:39 | SSA def(sink31) |
| Capture.cs:79:26:79:39 | "taint source" | Capture.cs:79:17:79:39 | SSA def(sink31) |
| Capture.cs:83:9:83:19 | this access | Capture.cs:109:9:109:28 | this access |
| Capture.cs:83:9:83:19 | this access | Capture.cs:109:9:109:28 | this access |
| Capture.cs:83:9:83:19 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:83:9:83:19 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:83:9:83:21 | SSA call def(sink31) | Capture.cs:84:15:84:20 | access to local variable sink31 |
| Capture.cs:83:9:83:21 | SSA call def(sink31) | Capture.cs:84:15:84:20 | access to local variable sink31 |
| Capture.cs:86:25:86:26 | "" | Capture.cs:86:16:86:26 | SSA def(sink32) |
@@ -200,6 +238,8 @@
| Capture.cs:95:27:95:28 | "" | Capture.cs:110:15:110:22 | access to local variable nonSink0 |
| Capture.cs:100:15:100:22 | access to local variable nonSink0 | Capture.cs:110:15:110:22 | access to local variable nonSink0 |
| Capture.cs:100:15:100:22 | access to local variable nonSink0 | Capture.cs:110:15:110:22 | access to local variable nonSink0 |
| Capture.cs:109:9:109:28 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:109:9:109:28 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:111:25:111:26 | "" | Capture.cs:111:16:111:26 | SSA def(sink40) |
| Capture.cs:111:25:111:26 | "" | Capture.cs:111:16:111:26 | SSA def(sink40) |
| Capture.cs:114:23:116:13 | (...) => ... | Capture.cs:202:34:202:34 | a |
@@ -218,6 +258,20 @@
| Capture.cs:121:9:121:35 | SSA call def(nonSink0) | Capture.cs:122:30:122:37 | access to local variable nonSink0 |
| Capture.cs:121:9:121:35 | SSA call def(sink40) | Capture.cs:122:15:122:20 | access to local variable sink40 |
| Capture.cs:121:9:121:35 | SSA call def(sink40) | Capture.cs:122:15:122:20 | access to local variable sink40 |
| Capture.cs:125:10:125:16 | this | Capture.cs:132:9:132:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:132:9:132:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:144:9:144:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:144:9:144:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:160:22:160:36 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:160:22:160:36 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:168:9:168:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:168:9:168:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:185:9:185:32 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:185:9:185:32 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:194:22:194:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:194:22:194:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:196:20:196:21 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:196:20:196:21 | this access |
| Capture.cs:125:25:125:31 | tainted | Capture.cs:132:9:132:25 | [implicit argument] tainted |
| Capture.cs:125:25:125:31 | tainted | Capture.cs:132:9:132:25 | [implicit argument] tainted |
| Capture.cs:125:25:125:31 | tainted | Capture.cs:144:9:144:25 | [implicit argument] tainted |
@@ -246,6 +300,18 @@
| Capture.cs:130:22:130:28 | access to parameter tainted | Capture.cs:130:13:130:28 | SSA def(sink33) |
| Capture.cs:130:22:130:28 | access to parameter tainted | Capture.cs:130:13:130:28 | SSA def(sink33) |
| Capture.cs:130:22:130:28 | access to parameter tainted | Capture.cs:130:13:130:28 | SSA def(sink33) |
| Capture.cs:132:9:132:23 | this access | Capture.cs:144:9:144:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:144:9:144:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:160:22:160:36 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:160:22:160:36 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:132:9:132:25 | SSA call def(sink33) | Capture.cs:133:15:133:20 | access to local variable sink33 |
| Capture.cs:132:9:132:25 | SSA call def(sink33) | Capture.cs:133:15:133:20 | access to local variable sink33 |
| Capture.cs:132:9:132:25 | [implicit argument] tainted | Capture.cs:128:9:131:9 | SSA capture def(tainted) |
@@ -268,6 +334,16 @@
| Capture.cs:140:26:140:32 | access to parameter tainted | Capture.cs:140:17:140:32 | SSA def(sink34) |
| Capture.cs:140:26:140:32 | access to parameter tainted | Capture.cs:140:17:140:32 | SSA def(sink34) |
| Capture.cs:140:26:140:32 | access to parameter tainted | Capture.cs:140:17:140:32 | SSA def(sink34) |
| Capture.cs:144:9:144:23 | this access | Capture.cs:160:22:160:36 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:160:22:160:36 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:144:9:144:25 | SSA call def(sink34) | Capture.cs:145:15:145:20 | access to local variable sink34 |
| Capture.cs:144:9:144:25 | SSA call def(sink34) | Capture.cs:145:15:145:20 | access to local variable sink34 |
| Capture.cs:144:9:144:25 | [implicit argument] tainted | Capture.cs:138:13:141:13 | SSA capture def(tainted) |
@@ -316,6 +392,14 @@
| Capture.cs:158:20:158:26 | access to parameter tainted | Capture.cs:160:22:160:38 | call to local function CaptureThrough4 |
| Capture.cs:160:13:160:38 | SSA def(sink36) | Capture.cs:161:15:161:20 | access to local variable sink36 |
| Capture.cs:160:13:160:38 | SSA def(sink36) | Capture.cs:161:15:161:20 | access to local variable sink36 |
| Capture.cs:160:22:160:36 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:160:22:160:38 | [implicit argument] tainted | Capture.cs:156:9:159:9 | SSA capture def(tainted) |
| Capture.cs:160:22:160:38 | [implicit argument] tainted | Capture.cs:156:9:159:9 | SSA capture def(tainted) |
| Capture.cs:160:22:160:38 | [implicit argument] tainted | Capture.cs:160:22:160:38 | call to local function CaptureThrough4 |
@@ -340,6 +424,12 @@
| Capture.cs:166:22:166:22 | access to parameter p | Capture.cs:166:13:166:22 | SSA def(sink37) |
| Capture.cs:166:22:166:22 | access to parameter p | Capture.cs:166:13:166:22 | SSA def(sink37) |
| Capture.cs:166:22:166:22 | access to parameter p | Capture.cs:166:13:166:22 | SSA def(sink37) |
| Capture.cs:168:9:168:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:168:9:168:32 | SSA call def(sink37) | Capture.cs:169:15:169:20 | access to local variable sink37 |
| Capture.cs:168:9:168:32 | SSA call def(sink37) | Capture.cs:169:15:169:20 | access to local variable sink37 |
| Capture.cs:168:25:168:31 | access to parameter tainted | Capture.cs:164:37:164:37 | p |
@@ -364,6 +454,10 @@
| Capture.cs:176:15:176:22 | access to local variable nonSink0 | Capture.cs:186:15:186:22 | access to local variable nonSink0 |
| Capture.cs:180:13:183:13 | SSA capture def(tainted) | Capture.cs:182:28:182:34 | access to parameter tainted |
| Capture.cs:180:13:183:13 | SSA capture def(tainted) | Capture.cs:182:28:182:34 | access to parameter tainted |
| Capture.cs:185:9:185:32 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:185:9:185:32 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:185:9:185:32 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:185:9:185:32 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:188:26:188:26 | s | Capture.cs:191:20:191:22 | [implicit argument] s |
| Capture.cs:188:26:188:26 | s | Capture.cs:191:20:191:22 | [implicit argument] s |
| Capture.cs:188:26:188:26 | s | Capture.cs:191:20:191:22 | [implicit argument] s |
@@ -388,6 +482,8 @@
| Capture.cs:191:20:191:22 | call to local function M | Capture.cs:196:20:196:25 | call to local function Id |
| Capture.cs:194:13:194:32 | SSA def(sink38) | Capture.cs:195:15:195:20 | access to local variable sink38 |
| Capture.cs:194:13:194:32 | SSA def(sink38) | Capture.cs:195:15:195:20 | access to local variable sink38 |
| Capture.cs:194:22:194:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:194:22:194:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:194:22:194:32 | call to local function Id | Capture.cs:194:13:194:32 | SSA def(sink38) |
| Capture.cs:194:22:194:32 | call to local function Id | Capture.cs:194:13:194:32 | SSA def(sink38) |
| Capture.cs:194:22:194:32 | call to local function Id | Capture.cs:195:15:195:20 | access to local variable sink38 |

96
csharp/ql/test/library-tests/dataflow/global/TaintTrackingEdges.expected
View File

@@ -1,3 +1,11 @@
| Capture.cs:7:10:7:11 | this | Capture.cs:14:9:14:18 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:14:9:14:18 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:25:9:25:18 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:25:9:25:18 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:49:9:49:27 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:49:9:49:27 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:61:9:61:19 | this access |
| Capture.cs:7:10:7:11 | this | Capture.cs:61:9:61:19 | this access |
| Capture.cs:7:20:7:26 | tainted | Capture.cs:7:20:7:26 | tainted |
| Capture.cs:7:20:7:26 | tainted | Capture.cs:7:20:7:26 | tainted |
| Capture.cs:7:20:7:26 | tainted | Capture.cs:14:9:14:20 | [implicit argument] tainted |
@@ -40,6 +48,12 @@
| Capture.cs:11:26:11:32 | access to parameter tainted | Capture.cs:12:19:12:24 | access to local variable sink27 |
| Capture.cs:11:26:11:32 | access to parameter tainted | Capture.cs:12:19:12:24 | access to local variable sink27 |
| Capture.cs:11:26:11:32 | access to parameter tainted | Capture.cs:12:19:12:24 | access to local variable sink27 |
| Capture.cs:14:9:14:18 | this access | Capture.cs:25:9:25:18 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:25:9:25:18 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:49:9:49:27 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:49:9:49:27 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:14:9:14:18 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:14:9:14:20 | [implicit argument] tainted | Capture.cs:9:9:13:9 | SSA capture def(tainted) |
| Capture.cs:14:9:14:20 | [implicit argument] tainted | Capture.cs:9:9:13:9 | SSA capture def(tainted) |
| Capture.cs:18:13:22:13 | SSA capture def(tainted) | Capture.cs:20:21:20:36 | SSA def(sink28) |
@@ -66,6 +80,10 @@
| Capture.cs:20:30:20:36 | access to parameter tainted | Capture.cs:21:23:21:28 | access to local variable sink28 |
| Capture.cs:20:30:20:36 | access to parameter tainted | Capture.cs:21:23:21:28 | access to local variable sink28 |
| Capture.cs:20:30:20:36 | access to parameter tainted | Capture.cs:21:23:21:28 | access to local variable sink28 |
| Capture.cs:25:9:25:18 | this access | Capture.cs:49:9:49:27 | this access |
| Capture.cs:25:9:25:18 | this access | Capture.cs:49:9:49:27 | this access |
| Capture.cs:25:9:25:18 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:25:9:25:18 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:25:9:25:20 | [implicit argument] tainted | Capture.cs:18:13:22:13 | SSA capture def(tainted) |
| Capture.cs:25:9:25:20 | [implicit argument] tainted | Capture.cs:18:13:22:13 | SSA capture def(tainted) |
| Capture.cs:27:30:32:9 | SSA def(captureIn3) | Capture.cs:33:30:33:39 | access to local variable captureIn3 |
@@ -150,6 +168,8 @@
| Capture.cs:45:32:45:38 | access to parameter tainted | Capture.cs:45:21:45:38 | SSA def(nonSink0) |
| Capture.cs:45:32:45:38 | access to parameter tainted | Capture.cs:46:23:46:30 | access to local variable nonSink0 |
| Capture.cs:45:32:45:38 | access to parameter tainted | Capture.cs:46:23:46:30 | access to local variable nonSink0 |
| Capture.cs:49:9:49:27 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:49:9:49:27 | this access | Capture.cs:61:9:61:19 | this access |
| Capture.cs:50:33:50:40 | nonSink0 | Capture.cs:50:33:50:40 | nonSink0 |
| Capture.cs:50:33:50:40 | nonSink0 | Capture.cs:50:33:50:40 | nonSink0 |
| Capture.cs:50:33:50:40 | nonSink0 | Capture.cs:52:13:59:14 | [implicit argument] nonSink0 |
@@ -190,12 +210,26 @@
| Capture.cs:61:21:61:33 | "not tainted" | Capture.cs:50:33:50:40 | nonSink0 |
| Capture.cs:61:36:61:42 | access to parameter tainted | Capture.cs:50:50:50:55 | sink39 |
| Capture.cs:61:36:61:42 | access to parameter tainted | Capture.cs:50:50:50:55 | sink39 |
| Capture.cs:64:10:64:12 | this | Capture.cs:71:9:71:19 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:71:9:71:19 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:83:9:83:19 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:83:9:83:19 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:109:9:109:28 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:109:9:109:28 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:121:9:121:33 | this access |
| Capture.cs:64:10:64:12 | this | Capture.cs:121:9:121:33 | this access |
| Capture.cs:66:25:66:26 | "" | Capture.cs:66:16:66:26 | SSA def(sink30) |
| Capture.cs:66:25:66:26 | "" | Capture.cs:66:16:66:26 | SSA def(sink30) |
| Capture.cs:69:13:69:35 | SSA def(sink30) | Capture.cs:71:9:71:21 | SSA call def(sink30) |
| Capture.cs:69:13:69:35 | SSA def(sink30) | Capture.cs:71:9:71:21 | SSA call def(sink30) |
| Capture.cs:69:22:69:35 | "taint source" | Capture.cs:69:13:69:35 | SSA def(sink30) |
| Capture.cs:69:22:69:35 | "taint source" | Capture.cs:69:13:69:35 | SSA def(sink30) |
| Capture.cs:71:9:71:19 | this access | Capture.cs:83:9:83:19 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:83:9:83:19 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:109:9:109:28 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:109:9:109:28 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:71:9:71:19 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:71:9:71:21 | SSA call def(sink30) | Capture.cs:72:15:72:20 | access to local variable sink30 |
| Capture.cs:71:9:71:21 | SSA call def(sink30) | Capture.cs:72:15:72:20 | access to local variable sink30 |
| Capture.cs:74:25:74:26 | "" | Capture.cs:74:16:74:26 | SSA def(sink31) |
@@ -204,6 +238,10 @@
| Capture.cs:79:17:79:39 | SSA def(sink31) | Capture.cs:83:9:83:21 | SSA call def(sink31) |
| Capture.cs:79:26:79:39 | "taint source" | Capture.cs:79:17:79:39 | SSA def(sink31) |
| Capture.cs:79:26:79:39 | "taint source" | Capture.cs:79:17:79:39 | SSA def(sink31) |
| Capture.cs:83:9:83:19 | this access | Capture.cs:109:9:109:28 | this access |
| Capture.cs:83:9:83:19 | this access | Capture.cs:109:9:109:28 | this access |
| Capture.cs:83:9:83:19 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:83:9:83:19 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:83:9:83:21 | SSA call def(sink31) | Capture.cs:84:15:84:20 | access to local variable sink31 |
| Capture.cs:83:9:83:21 | SSA call def(sink31) | Capture.cs:84:15:84:20 | access to local variable sink31 |
| Capture.cs:86:25:86:26 | "" | Capture.cs:86:16:86:26 | SSA def(sink32) |
@@ -258,6 +296,8 @@
| Capture.cs:95:27:95:28 | "" | Capture.cs:110:15:110:22 | access to local variable nonSink0 |
| Capture.cs:100:15:100:22 | access to local variable nonSink0 | Capture.cs:110:15:110:22 | access to local variable nonSink0 |
| Capture.cs:100:15:100:22 | access to local variable nonSink0 | Capture.cs:110:15:110:22 | access to local variable nonSink0 |
| Capture.cs:109:9:109:28 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:109:9:109:28 | this access | Capture.cs:121:9:121:33 | this access |
| Capture.cs:111:25:111:26 | "" | Capture.cs:111:16:111:26 | SSA def(sink40) |
| Capture.cs:111:25:111:26 | "" | Capture.cs:111:16:111:26 | SSA def(sink40) |
| Capture.cs:114:23:116:13 | (...) => ... | Capture.cs:202:34:202:34 | a |
@@ -276,6 +316,20 @@
| Capture.cs:121:9:121:35 | SSA call def(nonSink0) | Capture.cs:122:30:122:37 | access to local variable nonSink0 |
| Capture.cs:121:9:121:35 | SSA call def(sink40) | Capture.cs:122:15:122:20 | access to local variable sink40 |
| Capture.cs:121:9:121:35 | SSA call def(sink40) | Capture.cs:122:15:122:20 | access to local variable sink40 |
| Capture.cs:125:10:125:16 | this | Capture.cs:132:9:132:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:132:9:132:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:144:9:144:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:144:9:144:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:160:22:160:36 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:160:22:160:36 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:168:9:168:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:168:9:168:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:185:9:185:32 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:185:9:185:32 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:194:22:194:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:194:22:194:23 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:196:20:196:21 | this access |
| Capture.cs:125:10:125:16 | this | Capture.cs:196:20:196:21 | this access |
| Capture.cs:125:25:125:31 | tainted | Capture.cs:125:25:125:31 | tainted |
| Capture.cs:125:25:125:31 | tainted | Capture.cs:125:25:125:31 | tainted |
| Capture.cs:125:25:125:31 | tainted | Capture.cs:132:9:132:25 | [implicit argument] tainted |
@@ -318,6 +372,18 @@
| Capture.cs:130:22:130:28 | access to parameter tainted | Capture.cs:130:13:130:28 | SSA def(sink33) |
| Capture.cs:130:22:130:28 | access to parameter tainted | Capture.cs:130:13:130:28 | SSA def(sink33) |
| Capture.cs:130:22:130:28 | access to parameter tainted | Capture.cs:130:13:130:28 | SSA def(sink33) |
| Capture.cs:132:9:132:23 | this access | Capture.cs:144:9:144:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:144:9:144:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:160:22:160:36 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:160:22:160:36 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:132:9:132:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:132:9:132:25 | SSA call def(sink33) | Capture.cs:133:15:133:20 | access to local variable sink33 |
| Capture.cs:132:9:132:25 | SSA call def(sink33) | Capture.cs:133:15:133:20 | access to local variable sink33 |
| Capture.cs:132:9:132:25 | [implicit argument] tainted | Capture.cs:128:9:131:9 | SSA capture def(tainted) |
@@ -340,6 +406,16 @@
| Capture.cs:140:26:140:32 | access to parameter tainted | Capture.cs:140:17:140:32 | SSA def(sink34) |
| Capture.cs:140:26:140:32 | access to parameter tainted | Capture.cs:140:17:140:32 | SSA def(sink34) |
| Capture.cs:140:26:140:32 | access to parameter tainted | Capture.cs:140:17:140:32 | SSA def(sink34) |
| Capture.cs:144:9:144:23 | this access | Capture.cs:160:22:160:36 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:160:22:160:36 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:144:9:144:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:144:9:144:25 | SSA call def(sink34) | Capture.cs:145:15:145:20 | access to local variable sink34 |
| Capture.cs:144:9:144:25 | SSA call def(sink34) | Capture.cs:145:15:145:20 | access to local variable sink34 |
| Capture.cs:144:9:144:25 | [implicit argument] tainted | Capture.cs:138:13:141:13 | SSA capture def(tainted) |
@@ -408,6 +484,14 @@
| Capture.cs:158:20:158:26 | access to parameter tainted | Capture.cs:160:22:160:38 | call to local function CaptureThrough4 |
| Capture.cs:160:13:160:38 | SSA def(sink36) | Capture.cs:161:15:161:20 | access to local variable sink36 |
| Capture.cs:160:13:160:38 | SSA def(sink36) | Capture.cs:161:15:161:20 | access to local variable sink36 |
| Capture.cs:160:22:160:36 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:168:9:168:23 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:160:22:160:36 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:160:22:160:38 | [implicit argument] tainted | Capture.cs:156:9:159:9 | SSA capture def(tainted) |
| Capture.cs:160:22:160:38 | [implicit argument] tainted | Capture.cs:156:9:159:9 | SSA capture def(tainted) |
| Capture.cs:160:22:160:38 | [implicit argument] tainted | Capture.cs:160:22:160:38 | call to local function CaptureThrough4 |
@@ -438,6 +522,12 @@
| Capture.cs:166:22:166:22 | access to parameter p | Capture.cs:166:13:166:22 | SSA def(sink37) |
| Capture.cs:166:22:166:22 | access to parameter p | Capture.cs:166:13:166:22 | SSA def(sink37) |
| Capture.cs:166:22:166:22 | access to parameter p | Capture.cs:166:13:166:22 | SSA def(sink37) |
| Capture.cs:168:9:168:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:185:9:185:32 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:168:9:168:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:168:9:168:32 | SSA call def(sink37) | Capture.cs:169:15:169:20 | access to local variable sink37 |
| Capture.cs:168:9:168:32 | SSA call def(sink37) | Capture.cs:169:15:169:20 | access to local variable sink37 |
| Capture.cs:168:25:168:31 | access to parameter tainted | Capture.cs:164:37:164:37 | p |
@@ -462,6 +552,10 @@
| Capture.cs:176:15:176:22 | access to local variable nonSink0 | Capture.cs:186:15:186:22 | access to local variable nonSink0 |
| Capture.cs:180:13:183:13 | SSA capture def(tainted) | Capture.cs:182:28:182:34 | access to parameter tainted |
| Capture.cs:180:13:183:13 | SSA capture def(tainted) | Capture.cs:182:28:182:34 | access to parameter tainted |
| Capture.cs:185:9:185:32 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:185:9:185:32 | this access | Capture.cs:194:22:194:23 | this access |
| Capture.cs:185:9:185:32 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:185:9:185:32 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:188:26:188:26 | s | Capture.cs:188:26:188:26 | s |
| Capture.cs:188:26:188:26 | s | Capture.cs:188:26:188:26 | s |
| Capture.cs:188:26:188:26 | s | Capture.cs:191:20:191:22 | [implicit argument] s |
@@ -490,6 +584,8 @@
| Capture.cs:191:20:191:22 | call to local function M | Capture.cs:196:20:196:25 | call to local function Id |
| Capture.cs:194:13:194:32 | SSA def(sink38) | Capture.cs:195:15:195:20 | access to local variable sink38 |
| Capture.cs:194:13:194:32 | SSA def(sink38) | Capture.cs:195:15:195:20 | access to local variable sink38 |
| Capture.cs:194:22:194:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:194:22:194:23 | this access | Capture.cs:196:20:196:21 | this access |
| Capture.cs:194:22:194:32 | call to local function Id | Capture.cs:194:13:194:32 | SSA def(sink38) |
| Capture.cs:194:22:194:32 | call to local function Id | Capture.cs:194:13:194:32 | SSA def(sink38) |
| Capture.cs:194:22:194:32 | call to local function Id | Capture.cs:195:15:195:20 | access to local variable sink38 |

60
csharp/ql/test/library-tests/dataflow/library/LibraryTypeDataFlow.expected
View File

@@ -1532,26 +1532,46 @@
| System.Threading.Tasks.Task.WhenAny<TResult>(IEnumerable<Task<TResult>>) | argument 0 -> return | true |
| System.Threading.Tasks.Task.WhenAny<TResult>(params Task<TResult>[]) | argument 0 -> return | true |
| System.Threading.Tasks.Task.WhenAny<TResult>(params Task<TResult>[]) | argument 1 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<TResult>, Object>, object) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<TResult>, Object>, object, CancellationToken) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<TResult>, Object>, object, CancellationToken, TaskContinuationOptions, TaskScheduler) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<TResult>, Object>, object, TaskContinuationOptions) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<TResult>, Object>, object, TaskScheduler) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object, CancellationToken) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object, CancellationToken) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object, CancellationToken, TaskContinuationOptions, TaskScheduler) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object, CancellationToken, TaskContinuationOptions, TaskScheduler) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object, TaskContinuationOptions) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object, TaskContinuationOptions) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object, TaskScheduler) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, Object, TNewResult>, object, TaskScheduler) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, TNewResult>) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, TNewResult>, CancellationToken) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, TNewResult>, CancellationToken, TaskContinuationOptions, TaskScheduler) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, TNewResult>, TaskContinuationOptions) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<TResult>, TNewResult>, TaskScheduler) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object, CancellationToken) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object, CancellationToken) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object, CancellationToken, TaskContinuationOptions, TaskScheduler) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object, CancellationToken, TaskContinuationOptions, TaskScheduler) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object, TaskContinuationOptions) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object, TaskContinuationOptions) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object, TaskScheduler) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object, TaskScheduler) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>>) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>>, CancellationToken) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>>, CancellationToken, TaskContinuationOptions, TaskScheduler) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>>, TaskContinuationOptions) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>>, TaskScheduler) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, CancellationToken) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, CancellationToken) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, CancellationToken) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, CancellationToken, TaskContinuationOptions, TaskScheduler) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, CancellationToken, TaskContinuationOptions, TaskScheduler) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, CancellationToken, TaskContinuationOptions, TaskScheduler) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, TaskContinuationOptions) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, TaskContinuationOptions) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, TaskContinuationOptions) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, TaskScheduler) | argument 1 -> parameter 1 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, TaskScheduler) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, Object, TNewResult>, object, TaskScheduler) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>, CancellationToken) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>, CancellationToken) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>, CancellationToken, TaskContinuationOptions, TaskScheduler) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>, CancellationToken, TaskContinuationOptions, TaskScheduler) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>, TaskContinuationOptions) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>, TaskContinuationOptions) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>, TaskScheduler) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.ContinueWith<TNewResult>(Func<Task<>, TNewResult>, TaskScheduler) | qualifier -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.Task(Func<Object, TResult>, object) | argument 1 -> parameter 0 of argument 0 | true |
| System.Threading.Tasks.Task<>.Task(Func<Object, TResult>, object) | output from argument 0 -> return | true |
| System.Threading.Tasks.Task<>.Task(Func<Object, TResult>, object, CancellationToken) | argument 1 -> parameter 0 of argument 0 | true |

10
csharp/ql/test/library-tests/dataflow/local/DataFlowStep.expected
View File

@@ -1,16 +1,26 @@
| Capture.cs:5:17:5:17 | this | Capture.cs:13:9:13:14 | this access |
| Capture.cs:7:13:7:17 | SSA def(i) | Capture.cs:13:9:13:16 | [implicit argument] i |
| Capture.cs:7:13:7:17 | SSA def(i) | Capture.cs:23:9:23:16 | [implicit argument] i |
| Capture.cs:7:13:7:17 | SSA def(i) | Capture.cs:34:9:34:16 | [implicit argument] i |
| Capture.cs:7:17:7:17 | 0 | Capture.cs:7:13:7:17 | SSA def(i) |
| Capture.cs:9:9:12:9 | SSA capture def(i) | Capture.cs:11:17:11:17 | access to local variable i |
| Capture.cs:13:9:13:14 | this access | Capture.cs:23:9:23:14 | this access |
| Capture.cs:15:9:22:9 | this | Capture.cs:21:13:21:18 | this access |
| Capture.cs:17:13:20:13 | SSA capture def(i) | Capture.cs:19:21:19:21 | access to local variable i |
| Capture.cs:23:9:23:14 | this access | Capture.cs:34:9:34:14 | this access |
| Capture.cs:25:9:33:9 | this | Capture.cs:32:13:32:18 | this access |
| Capture.cs:27:13:30:13 | SSA capture def(i) | Capture.cs:29:21:29:21 | access to local variable i |
| Capture.cs:31:13:31:17 | SSA def(i) | Capture.cs:32:13:32:20 | [implicit argument] i |
| Capture.cs:31:17:31:17 | 1 | Capture.cs:31:13:31:17 | SSA def(i) |
| Capture.cs:34:9:34:14 | this access | Capture.cs:40:9:40:15 | this access |
| Capture.cs:38:17:38:17 | 0 | Capture.cs:38:13:38:17 | SSA def(i) |
| Capture.cs:40:9:40:15 | this access | Capture.cs:51:9:51:15 | this access |
| Capture.cs:40:9:40:17 | SSA call def(i) | Capture.cs:41:13:41:13 | access to local variable i |
| Capture.cs:43:9:50:9 | this | Capture.cs:49:13:49:19 | this access |
| Capture.cs:47:21:47:21 | 0 | Capture.cs:47:17:47:21 | SSA def(i) |
| Capture.cs:51:9:51:15 | this access | Capture.cs:63:9:63:15 | this access |
| Capture.cs:51:9:51:17 | SSA call def(i) | Capture.cs:52:13:52:13 | access to local variable i |
| Capture.cs:54:9:62:9 | this | Capture.cs:60:13:60:19 | this access |
| Capture.cs:58:21:58:21 | 1 | Capture.cs:58:17:58:21 | SSA def(i) |
| Capture.cs:61:17:61:17 | 1 | Capture.cs:61:13:61:17 | SSA def(i) |
| Capture.cs:63:9:63:17 | SSA call def(i) | Capture.cs:64:13:64:13 | access to local variable i |

10
csharp/ql/test/library-tests/dataflow/local/TaintTrackingStep.expected
View File

@@ -1,16 +1,26 @@
| Capture.cs:5:17:5:17 | this | Capture.cs:13:9:13:14 | this access |
| Capture.cs:7:13:7:17 | SSA def(i) | Capture.cs:13:9:13:16 | [implicit argument] i |
| Capture.cs:7:13:7:17 | SSA def(i) | Capture.cs:23:9:23:16 | [implicit argument] i |
| Capture.cs:7:13:7:17 | SSA def(i) | Capture.cs:34:9:34:16 | [implicit argument] i |
| Capture.cs:7:17:7:17 | 0 | Capture.cs:7:13:7:17 | SSA def(i) |
| Capture.cs:9:9:12:9 | SSA capture def(i) | Capture.cs:11:17:11:17 | access to local variable i |
| Capture.cs:13:9:13:14 | this access | Capture.cs:23:9:23:14 | this access |
| Capture.cs:15:9:22:9 | this | Capture.cs:21:13:21:18 | this access |
| Capture.cs:17:13:20:13 | SSA capture def(i) | Capture.cs:19:21:19:21 | access to local variable i |
| Capture.cs:23:9:23:14 | this access | Capture.cs:34:9:34:14 | this access |
| Capture.cs:25:9:33:9 | this | Capture.cs:32:13:32:18 | this access |
| Capture.cs:27:13:30:13 | SSA capture def(i) | Capture.cs:29:21:29:21 | access to local variable i |
| Capture.cs:31:13:31:17 | SSA def(i) | Capture.cs:32:13:32:20 | [implicit argument] i |
| Capture.cs:31:17:31:17 | 1 | Capture.cs:31:13:31:17 | SSA def(i) |
| Capture.cs:34:9:34:14 | this access | Capture.cs:40:9:40:15 | this access |
| Capture.cs:38:17:38:17 | 0 | Capture.cs:38:13:38:17 | SSA def(i) |
| Capture.cs:40:9:40:15 | this access | Capture.cs:51:9:51:15 | this access |
| Capture.cs:40:9:40:17 | SSA call def(i) | Capture.cs:41:13:41:13 | access to local variable i |
| Capture.cs:43:9:50:9 | this | Capture.cs:49:13:49:19 | this access |
| Capture.cs:47:21:47:21 | 0 | Capture.cs:47:17:47:21 | SSA def(i) |
| Capture.cs:51:9:51:15 | this access | Capture.cs:63:9:63:15 | this access |
| Capture.cs:51:9:51:17 | SSA call def(i) | Capture.cs:52:13:52:13 | access to local variable i |
| Capture.cs:54:9:62:9 | this | Capture.cs:60:13:60:19 | this access |
| Capture.cs:58:21:58:21 | 1 | Capture.cs:58:17:58:21 | SSA def(i) |
| Capture.cs:61:17:61:17 | 1 | Capture.cs:61:13:61:17 | SSA def(i) |
| Capture.cs:63:9:63:17 | SSA call def(i) | Capture.cs:64:13:64:13 | access to local variable i |

3
csharp/ql/test/library-tests/expressions/QualifiableExpr.expected
View File

@@ -1,3 +1,4 @@
| MethodAccess.cs:8:20:8:21 | access to local function M1 | MethodAccess.cs:8:20:8:21 | this access |
| MethodAccess.cs:9:13:9:14 | access to method M2 | MethodAccess.cs:9:13:9:14 | this access |
| MethodAccess.cs:10:13:10:19 | access to method M2 | MethodAccess.cs:10:13:10:16 | this access |
| MethodAccess.cs:12:13:12:27 | access to method M3 | MethodAccess.cs:12:13:12:24 | access to type MethodAccess |
@@ -29,6 +30,8 @@
| expressions.cs:182:27:182:30 | access to method M3 | expressions.cs:182:27:182:27 | access to local variable c |
| expressions.cs:189:52:189:54 | access to method F | expressions.cs:189:52:189:52 | access to type X |
| expressions.cs:190:36:190:38 | access to method G | expressions.cs:190:36:190:36 | access to type X |
| expressions.cs:197:25:197:37 | access to local function LocalFunction | expressions.cs:197:25:197:37 | this access |
| expressions.cs:198:19:198:31 | access to local function LocalFunction | expressions.cs:198:19:198:31 | this access |
| expressions.cs:233:17:233:21 | access to event Click | expressions.cs:233:17:233:21 | this access |
| expressions.cs:234:17:234:21 | access to event Click | expressions.cs:234:17:234:21 | this access |
| expressions.cs:239:13:239:17 | access to event Click | expressions.cs:239:13:239:17 | this access |