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

Python: Remove extra whitespace from argumentPassing.py

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2022-02-01 17:48:16 +01:00
parent 5ee755db09
commit 76f3d74fed
7 changed files with 241 additions and 263 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
python/ql/test/experimental/dataflow/coverage/argumentPassing.py
View File

@@ -39,28 +39,6 @@ SINK6 = functools.partial(SINK, expected=arg6)
SINK7 = functools.partial(SINK, expected=arg7)
def argument_passing(
a,
b,

210
python/ql/test/experimental/dataflow/coverage/argumentRouting1.expected
View File

@@ -1,42 +1,42 @@
edges
| argumentPassing.py:65:5:65:5 | ControlFlowNode for a | argumentPassing.py:75:11:75:11 | ControlFlowNode for a |
| argumentPassing.py:89:22:89:25 | ControlFlowNode for arg1 | argumentPassing.py:65:5:65:5 | ControlFlowNode for a |
| argumentPassing.py:94:22:94:25 | ControlFlowNode for arg1 | argumentPassing.py:65:5:65:5 | ControlFlowNode for a |
| argumentPassing.py:97:19:97:19 | ControlFlowNode for a | argumentPassing.py:98:11:98:11 | ControlFlowNode for a |
| argumentPassing.py:104:19:104:22 | ControlFlowNode for arg1 | argumentPassing.py:97:19:97:19 | ControlFlowNode for a |
| argumentPassing.py:105:19:105:22 | ControlFlowNode for arg1 | argumentPassing.py:97:19:97:19 | ControlFlowNode for a |
| argumentPassing.py:106:19:106:22 | ControlFlowNode for arg1 | argumentPassing.py:97:19:97:19 | ControlFlowNode for a |
| argumentPassing.py:109:27:109:27 | ControlFlowNode for a | argumentPassing.py:110:11:110:11 | ControlFlowNode for a |
| argumentPassing.py:117:45:117:48 | ControlFlowNode for arg1 | argumentPassing.py:109:27:109:27 | ControlFlowNode for a |
| argumentPassing.py:118:27:118:30 | ControlFlowNode for arg1 | argumentPassing.py:109:27:109:27 | ControlFlowNode for a |
| argumentPassing.py:119:27:119:30 | ControlFlowNode for arg1 | argumentPassing.py:109:27:109:27 | ControlFlowNode for a |
| argumentPassing.py:120:5:120:70 | KwUnpacked a | argumentPassing.py:109:27:109:27 | ControlFlowNode for a |
| argumentPassing.py:120:59:120:69 | ControlFlowNode for Dict [Dictionary element at key a] | argumentPassing.py:120:5:120:70 | KwUnpacked a |
| argumentPassing.py:120:65:120:68 | ControlFlowNode for arg1 | argumentPassing.py:120:59:120:69 | ControlFlowNode for Dict [Dictionary element at key a] |
| argumentPassing.py:123:28:123:28 | ControlFlowNode for a | argumentPassing.py:124:11:124:11 | ControlFlowNode for a |
| argumentPassing.py:123:28:123:28 | ControlFlowNode for a | argumentPassing.py:124:11:124:11 | ControlFlowNode for a |
| argumentPassing.py:123:30:123:33 | ControlFlowNode for arg1 | argumentPassing.py:123:28:123:28 | ControlFlowNode for a |
| argumentPassing.py:132:28:132:31 | ControlFlowNode for arg1 | argumentPassing.py:123:28:123:28 | ControlFlowNode for a |
| argumentPassing.py:138:22:138:24 | ControlFlowNode for foo | argumentPassing.py:139:11:139:13 | ControlFlowNode for foo |
| argumentPassing.py:160:46:160:49 | ControlFlowNode for arg1 | argumentPassing.py:138:22:138:24 | ControlFlowNode for foo |
| argumentPassing.py:165:18:165:18 | ControlFlowNode for a | argumentPassing.py:166:15:166:15 | ControlFlowNode for a |
| argumentPassing.py:168:14:168:17 | ControlFlowNode for arg1 | argumentPassing.py:165:18:165:18 | ControlFlowNode for a |
| argumentPassing.py:172:23:172:23 | ControlFlowNode for a | argumentPassing.py:173:15:173:15 | ControlFlowNode for a |
| argumentPassing.py:175:19:175:22 | ControlFlowNode for arg1 | argumentPassing.py:172:23:172:23 | ControlFlowNode for a |
| argumentPassing.py:179:20:179:20 | ControlFlowNode for a [Tuple element at index 0] | argumentPassing.py:181:19:181:19 | ControlFlowNode for a [Tuple element at index 0] |
| argumentPassing.py:181:19:181:19 | ControlFlowNode for a [Tuple element at index 0] | argumentPassing.py:181:19:181:22 | ControlFlowNode for Subscript |
| argumentPassing.py:183:5:183:19 | PosOverflowNode for with_star() [Tuple element at index 0] | argumentPassing.py:179:20:179:20 | ControlFlowNode for a [Tuple element at index 0] |
| argumentPassing.py:183:15:183:18 | ControlFlowNode for arg1 | argumentPassing.py:183:5:183:19 | PosOverflowNode for with_star() [Tuple element at index 0] |
| argumentPassing.py:187:17:187:17 | ControlFlowNode for a | argumentPassing.py:188:15:188:15 | ControlFlowNode for a |
| argumentPassing.py:190:13:190:16 | ControlFlowNode for arg1 | argumentPassing.py:187:17:187:17 | ControlFlowNode for a |
| argumentPassing.py:194:18:194:18 | ControlFlowNode for a | argumentPassing.py:195:15:195:15 | ControlFlowNode for a |
| argumentPassing.py:197:16:197:19 | ControlFlowNode for arg1 | argumentPassing.py:194:18:194:18 | ControlFlowNode for a |
| argumentPassing.py:201:17:201:17 | ControlFlowNode for a | argumentPassing.py:202:15:202:15 | ControlFlowNode for a |
| argumentPassing.py:204:15:204:18 | ControlFlowNode for arg1 | argumentPassing.py:201:17:201:17 | ControlFlowNode for a |
| argumentPassing.py:208:27:208:27 | ControlFlowNode for a [Dictionary element at key a] | argumentPassing.py:209:15:209:15 | ControlFlowNode for a [Dictionary element at key a] |
| argumentPassing.py:209:15:209:15 | ControlFlowNode for a [Dictionary element at key a] | argumentPassing.py:209:15:209:20 | ControlFlowNode for Subscript |
| argumentPassing.py:211:5:211:27 | KwOverflowNode for with_doublestar() [Dictionary element at key a] | argumentPassing.py:208:27:208:27 | ControlFlowNode for a [Dictionary element at key a] |
| argumentPassing.py:211:23:211:26 | ControlFlowNode for arg1 | argumentPassing.py:211:5:211:27 | KwOverflowNode for with_doublestar() [Dictionary element at key a] |
| argumentPassing.py:43:5:43:5 | ControlFlowNode for a | argumentPassing.py:53:11:53:11 | ControlFlowNode for a |
| argumentPassing.py:67:22:67:25 | ControlFlowNode for arg1 | argumentPassing.py:43:5:43:5 | ControlFlowNode for a |
| argumentPassing.py:72:22:72:25 | ControlFlowNode for arg1 | argumentPassing.py:43:5:43:5 | ControlFlowNode for a |
| argumentPassing.py:75:19:75:19 | ControlFlowNode for a | argumentPassing.py:76:11:76:11 | ControlFlowNode for a |
| argumentPassing.py:82:19:82:22 | ControlFlowNode for arg1 | argumentPassing.py:75:19:75:19 | ControlFlowNode for a |
| argumentPassing.py:83:19:83:22 | ControlFlowNode for arg1 | argumentPassing.py:75:19:75:19 | ControlFlowNode for a |
| argumentPassing.py:84:19:84:22 | ControlFlowNode for arg1 | argumentPassing.py:75:19:75:19 | ControlFlowNode for a |
| argumentPassing.py:87:27:87:27 | ControlFlowNode for a | argumentPassing.py:88:11:88:11 | ControlFlowNode for a |
| argumentPassing.py:95:45:95:48 | ControlFlowNode for arg1 | argumentPassing.py:87:27:87:27 | ControlFlowNode for a |
| argumentPassing.py:96:27:96:30 | ControlFlowNode for arg1 | argumentPassing.py:87:27:87:27 | ControlFlowNode for a |
| argumentPassing.py:97:27:97:30 | ControlFlowNode for arg1 | argumentPassing.py:87:27:87:27 | ControlFlowNode for a |
| argumentPassing.py:98:5:98:70 | KwUnpacked a | argumentPassing.py:87:27:87:27 | ControlFlowNode for a |
| argumentPassing.py:98:59:98:69 | ControlFlowNode for Dict [Dictionary element at key a] | argumentPassing.py:98:5:98:70 | KwUnpacked a |
| argumentPassing.py:98:65:98:68 | ControlFlowNode for arg1 | argumentPassing.py:98:59:98:69 | ControlFlowNode for Dict [Dictionary element at key a] |
| argumentPassing.py:101:28:101:28 | ControlFlowNode for a | argumentPassing.py:102:11:102:11 | ControlFlowNode for a |
| argumentPassing.py:101:28:101:28 | ControlFlowNode for a | argumentPassing.py:102:11:102:11 | ControlFlowNode for a |
| argumentPassing.py:101:30:101:33 | ControlFlowNode for arg1 | argumentPassing.py:101:28:101:28 | ControlFlowNode for a |
| argumentPassing.py:110:28:110:31 | ControlFlowNode for arg1 | argumentPassing.py:101:28:101:28 | ControlFlowNode for a |
| argumentPassing.py:116:22:116:24 | ControlFlowNode for foo | argumentPassing.py:117:11:117:13 | ControlFlowNode for foo |
| argumentPassing.py:138:46:138:49 | ControlFlowNode for arg1 | argumentPassing.py:116:22:116:24 | ControlFlowNode for foo |
| argumentPassing.py:143:18:143:18 | ControlFlowNode for a | argumentPassing.py:144:15:144:15 | ControlFlowNode for a |
| argumentPassing.py:146:14:146:17 | ControlFlowNode for arg1 | argumentPassing.py:143:18:143:18 | ControlFlowNode for a |
| argumentPassing.py:150:23:150:23 | ControlFlowNode for a | argumentPassing.py:151:15:151:15 | ControlFlowNode for a |
| argumentPassing.py:153:19:153:22 | ControlFlowNode for arg1 | argumentPassing.py:150:23:150:23 | ControlFlowNode for a |
| argumentPassing.py:157:20:157:20 | ControlFlowNode for a [Tuple element at index 0] | argumentPassing.py:159:19:159:19 | ControlFlowNode for a [Tuple element at index 0] |
| argumentPassing.py:159:19:159:19 | ControlFlowNode for a [Tuple element at index 0] | argumentPassing.py:159:19:159:22 | ControlFlowNode for Subscript |
| argumentPassing.py:161:5:161:19 | PosOverflowNode for with_star() [Tuple element at index 0] | argumentPassing.py:157:20:157:20 | ControlFlowNode for a [Tuple element at index 0] |
| argumentPassing.py:161:15:161:18 | ControlFlowNode for arg1 | argumentPassing.py:161:5:161:19 | PosOverflowNode for with_star() [Tuple element at index 0] |
| argumentPassing.py:165:17:165:17 | ControlFlowNode for a | argumentPassing.py:166:15:166:15 | ControlFlowNode for a |
| argumentPassing.py:168:13:168:16 | ControlFlowNode for arg1 | argumentPassing.py:165:17:165:17 | ControlFlowNode for a |
| argumentPassing.py:172:18:172:18 | ControlFlowNode for a | argumentPassing.py:173:15:173:15 | ControlFlowNode for a |
| argumentPassing.py:175:16:175:19 | ControlFlowNode for arg1 | argumentPassing.py:172:18:172:18 | ControlFlowNode for a |
| argumentPassing.py:179:17:179:17 | ControlFlowNode for a | argumentPassing.py:180:15:180:15 | ControlFlowNode for a |
| argumentPassing.py:182:15:182:18 | ControlFlowNode for arg1 | argumentPassing.py:179:17:179:17 | ControlFlowNode for a |
| argumentPassing.py:186:27:186:27 | ControlFlowNode for a [Dictionary element at key a] | argumentPassing.py:187:15:187:15 | ControlFlowNode for a [Dictionary element at key a] |
| argumentPassing.py:187:15:187:15 | ControlFlowNode for a [Dictionary element at key a] | argumentPassing.py:187:15:187:20 | ControlFlowNode for Subscript |
| argumentPassing.py:189:5:189:27 | KwOverflowNode for with_doublestar() [Dictionary element at key a] | argumentPassing.py:186:27:186:27 | ControlFlowNode for a [Dictionary element at key a] |
| argumentPassing.py:189:23:189:26 | ControlFlowNode for arg1 | argumentPassing.py:189:5:189:27 | KwOverflowNode for with_doublestar() [Dictionary element at key a] |
| classes.py:555:21:555:24 | ControlFlowNode for self | classes.py:557:15:557:18 | ControlFlowNode for self |
| classes.py:563:5:563:16 | SSA variable with_getitem | classes.py:565:5:565:16 | ControlFlowNode for with_getitem |
| classes.py:565:5:565:16 | ControlFlowNode for with_getitem | classes.py:555:21:555:24 | ControlFlowNode for self |
@@ -86,56 +86,56 @@ edges
| classes.py:866:5:866:11 | SSA variable with_or | classes.py:868:5:868:11 | ControlFlowNode for with_or |
| classes.py:868:5:868:11 | ControlFlowNode for with_or | classes.py:858:16:858:19 | ControlFlowNode for self |
nodes
| argumentPassing.py:65:5:65:5 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:75:11:75:11 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:89:22:89:25 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:94:22:94:25 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:97:19:97:19 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:98:11:98:11 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:104:19:104:22 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:105:19:105:22 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:106:19:106:22 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:109:27:109:27 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:110:11:110:11 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:117:45:117:48 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:118:27:118:30 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:119:27:119:30 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:120:5:120:70 | KwUnpacked a | semmle.label | KwUnpacked a |
| argumentPassing.py:120:59:120:69 | ControlFlowNode for Dict [Dictionary element at key a] | semmle.label | ControlFlowNode for Dict [Dictionary element at key a] |
| argumentPassing.py:120:65:120:68 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:123:28:123:28 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:123:28:123:28 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:123:30:123:33 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:124:11:124:11 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:132:28:132:31 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:138:22:138:24 | ControlFlowNode for foo | semmle.label | ControlFlowNode for foo |
| argumentPassing.py:139:11:139:13 | ControlFlowNode for foo | semmle.label | ControlFlowNode for foo |
| argumentPassing.py:160:46:160:49 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:165:18:165:18 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:43:5:43:5 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:53:11:53:11 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:67:22:67:25 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:72:22:72:25 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:75:19:75:19 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:76:11:76:11 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:82:19:82:22 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:83:19:83:22 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:84:19:84:22 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:87:27:87:27 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:88:11:88:11 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:95:45:95:48 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:96:27:96:30 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:97:27:97:30 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:98:5:98:70 | KwUnpacked a | semmle.label | KwUnpacked a |
| argumentPassing.py:98:59:98:69 | ControlFlowNode for Dict [Dictionary element at key a] | semmle.label | ControlFlowNode for Dict [Dictionary element at key a] |
| argumentPassing.py:98:65:98:68 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:101:28:101:28 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:101:28:101:28 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:101:30:101:33 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:102:11:102:11 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:110:28:110:31 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:116:22:116:24 | ControlFlowNode for foo | semmle.label | ControlFlowNode for foo |
| argumentPassing.py:117:11:117:13 | ControlFlowNode for foo | semmle.label | ControlFlowNode for foo |
| argumentPassing.py:138:46:138:49 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:143:18:143:18 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:144:15:144:15 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:146:14:146:17 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:150:23:150:23 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:151:15:151:15 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:153:19:153:22 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:157:20:157:20 | ControlFlowNode for a [Tuple element at index 0] | semmle.label | ControlFlowNode for a [Tuple element at index 0] |
| argumentPassing.py:159:19:159:19 | ControlFlowNode for a [Tuple element at index 0] | semmle.label | ControlFlowNode for a [Tuple element at index 0] |
| argumentPassing.py:159:19:159:22 | ControlFlowNode for Subscript | semmle.label | ControlFlowNode for Subscript |
| argumentPassing.py:161:5:161:19 | PosOverflowNode for with_star() [Tuple element at index 0] | semmle.label | PosOverflowNode for with_star() [Tuple element at index 0] |
| argumentPassing.py:161:15:161:18 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:165:17:165:17 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:166:15:166:15 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:168:14:168:17 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:172:23:172:23 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:168:13:168:16 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:172:18:172:18 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:173:15:173:15 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:175:19:175:22 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:179:20:179:20 | ControlFlowNode for a [Tuple element at index 0] | semmle.label | ControlFlowNode for a [Tuple element at index 0] |
| argumentPassing.py:181:19:181:19 | ControlFlowNode for a [Tuple element at index 0] | semmle.label | ControlFlowNode for a [Tuple element at index 0] |
| argumentPassing.py:181:19:181:22 | ControlFlowNode for Subscript | semmle.label | ControlFlowNode for Subscript |
| argumentPassing.py:183:5:183:19 | PosOverflowNode for with_star() [Tuple element at index 0] | semmle.label | PosOverflowNode for with_star() [Tuple element at index 0] |
| argumentPassing.py:183:15:183:18 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:187:17:187:17 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:188:15:188:15 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:190:13:190:16 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:194:18:194:18 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:195:15:195:15 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:197:16:197:19 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:201:17:201:17 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:202:15:202:15 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:204:15:204:18 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:208:27:208:27 | ControlFlowNode for a [Dictionary element at key a] | semmle.label | ControlFlowNode for a [Dictionary element at key a] |
| argumentPassing.py:209:15:209:15 | ControlFlowNode for a [Dictionary element at key a] | semmle.label | ControlFlowNode for a [Dictionary element at key a] |
| argumentPassing.py:209:15:209:20 | ControlFlowNode for Subscript | semmle.label | ControlFlowNode for Subscript |
| argumentPassing.py:211:5:211:27 | KwOverflowNode for with_doublestar() [Dictionary element at key a] | semmle.label | KwOverflowNode for with_doublestar() [Dictionary element at key a] |
| argumentPassing.py:211:23:211:26 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:175:16:175:19 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:179:17:179:17 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:180:15:180:15 | ControlFlowNode for a | semmle.label | ControlFlowNode for a |
| argumentPassing.py:182:15:182:18 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| argumentPassing.py:186:27:186:27 | ControlFlowNode for a [Dictionary element at key a] | semmle.label | ControlFlowNode for a [Dictionary element at key a] |
| argumentPassing.py:187:15:187:15 | ControlFlowNode for a [Dictionary element at key a] | semmle.label | ControlFlowNode for a [Dictionary element at key a] |
| argumentPassing.py:187:15:187:20 | ControlFlowNode for Subscript | semmle.label | ControlFlowNode for Subscript |
| argumentPassing.py:189:5:189:27 | KwOverflowNode for with_doublestar() [Dictionary element at key a] | semmle.label | KwOverflowNode for with_doublestar() [Dictionary element at key a] |
| argumentPassing.py:189:23:189:26 | ControlFlowNode for arg1 | semmle.label | ControlFlowNode for arg1 |
| classes.py:555:21:555:24 | ControlFlowNode for self | semmle.label | ControlFlowNode for self |
| classes.py:557:15:557:18 | ControlFlowNode for self | semmle.label | ControlFlowNode for self |
| classes.py:563:5:563:16 | SSA variable with_getitem | semmle.label | SSA variable with_getitem |
@@ -202,25 +202,25 @@ nodes
| classes.py:868:5:868:11 | ControlFlowNode for with_or | semmle.label | ControlFlowNode for with_or |
subpaths
#select
| argumentPassing.py:89:22:89:25 | ControlFlowNode for arg1 | argumentPassing.py:89:22:89:25 | ControlFlowNode for arg1 | argumentPassing.py:75:11:75:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:94:22:94:25 | ControlFlowNode for arg1 | argumentPassing.py:94:22:94:25 | ControlFlowNode for arg1 | argumentPassing.py:75:11:75:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:104:19:104:22 | ControlFlowNode for arg1 | argumentPassing.py:104:19:104:22 | ControlFlowNode for arg1 | argumentPassing.py:98:11:98:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:105:19:105:22 | ControlFlowNode for arg1 | argumentPassing.py:105:19:105:22 | ControlFlowNode for arg1 | argumentPassing.py:98:11:98:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:106:19:106:22 | ControlFlowNode for arg1 | argumentPassing.py:106:19:106:22 | ControlFlowNode for arg1 | argumentPassing.py:98:11:98:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:117:45:117:48 | ControlFlowNode for arg1 | argumentPassing.py:117:45:117:48 | ControlFlowNode for arg1 | argumentPassing.py:110:11:110:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:118:27:118:30 | ControlFlowNode for arg1 | argumentPassing.py:118:27:118:30 | ControlFlowNode for arg1 | argumentPassing.py:110:11:110:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:119:27:119:30 | ControlFlowNode for arg1 | argumentPassing.py:119:27:119:30 | ControlFlowNode for arg1 | argumentPassing.py:110:11:110:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:120:65:120:68 | ControlFlowNode for arg1 | argumentPassing.py:120:65:120:68 | ControlFlowNode for arg1 | argumentPassing.py:110:11:110:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:123:30:123:33 | ControlFlowNode for arg1 | argumentPassing.py:123:30:123:33 | ControlFlowNode for arg1 | argumentPassing.py:124:11:124:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:132:28:132:31 | ControlFlowNode for arg1 | argumentPassing.py:132:28:132:31 | ControlFlowNode for arg1 | argumentPassing.py:124:11:124:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:160:46:160:49 | ControlFlowNode for arg1 | argumentPassing.py:160:46:160:49 | ControlFlowNode for arg1 | argumentPassing.py:139:11:139:13 | ControlFlowNode for foo | Flow found |
| argumentPassing.py:168:14:168:17 | ControlFlowNode for arg1 | argumentPassing.py:168:14:168:17 | ControlFlowNode for arg1 | argumentPassing.py:166:15:166:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:175:19:175:22 | ControlFlowNode for arg1 | argumentPassing.py:175:19:175:22 | ControlFlowNode for arg1 | argumentPassing.py:173:15:173:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:183:15:183:18 | ControlFlowNode for arg1 | argumentPassing.py:183:15:183:18 | ControlFlowNode for arg1 | argumentPassing.py:181:19:181:22 | ControlFlowNode for Subscript | Flow found |
| argumentPassing.py:190:13:190:16 | ControlFlowNode for arg1 | argumentPassing.py:190:13:190:16 | ControlFlowNode for arg1 | argumentPassing.py:188:15:188:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:197:16:197:19 | ControlFlowNode for arg1 | argumentPassing.py:197:16:197:19 | ControlFlowNode for arg1 | argumentPassing.py:195:15:195:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:204:15:204:18 | ControlFlowNode for arg1 | argumentPassing.py:204:15:204:18 | ControlFlowNode for arg1 | argumentPassing.py:202:15:202:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:211:23:211:26 | ControlFlowNode for arg1 | argumentPassing.py:211:23:211:26 | ControlFlowNode for arg1 | argumentPassing.py:209:15:209:20 | ControlFlowNode for Subscript | Flow found |
| argumentPassing.py:67:22:67:25 | ControlFlowNode for arg1 | argumentPassing.py:67:22:67:25 | ControlFlowNode for arg1 | argumentPassing.py:53:11:53:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:72:22:72:25 | ControlFlowNode for arg1 | argumentPassing.py:72:22:72:25 | ControlFlowNode for arg1 | argumentPassing.py:53:11:53:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:82:19:82:22 | ControlFlowNode for arg1 | argumentPassing.py:82:19:82:22 | ControlFlowNode for arg1 | argumentPassing.py:76:11:76:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:83:19:83:22 | ControlFlowNode for arg1 | argumentPassing.py:83:19:83:22 | ControlFlowNode for arg1 | argumentPassing.py:76:11:76:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:84:19:84:22 | ControlFlowNode for arg1 | argumentPassing.py:84:19:84:22 | ControlFlowNode for arg1 | argumentPassing.py:76:11:76:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:95:45:95:48 | ControlFlowNode for arg1 | argumentPassing.py:95:45:95:48 | ControlFlowNode for arg1 | argumentPassing.py:88:11:88:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:96:27:96:30 | ControlFlowNode for arg1 | argumentPassing.py:96:27:96:30 | ControlFlowNode for arg1 | argumentPassing.py:88:11:88:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:97:27:97:30 | ControlFlowNode for arg1 | argumentPassing.py:97:27:97:30 | ControlFlowNode for arg1 | argumentPassing.py:88:11:88:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:98:65:98:68 | ControlFlowNode for arg1 | argumentPassing.py:98:65:98:68 | ControlFlowNode for arg1 | argumentPassing.py:88:11:88:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:101:30:101:33 | ControlFlowNode for arg1 | argumentPassing.py:101:30:101:33 | ControlFlowNode for arg1 | argumentPassing.py:102:11:102:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:110:28:110:31 | ControlFlowNode for arg1 | argumentPassing.py:110:28:110:31 | ControlFlowNode for arg1 | argumentPassing.py:102:11:102:11 | ControlFlowNode for a | Flow found |
| argumentPassing.py:138:46:138:49 | ControlFlowNode for arg1 | argumentPassing.py:138:46:138:49 | ControlFlowNode for arg1 | argumentPassing.py:117:11:117:13 | ControlFlowNode for foo | Flow found |
| argumentPassing.py:146:14:146:17 | ControlFlowNode for arg1 | argumentPassing.py:146:14:146:17 | ControlFlowNode for arg1 | argumentPassing.py:144:15:144:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:153:19:153:22 | ControlFlowNode for arg1 | argumentPassing.py:153:19:153:22 | ControlFlowNode for arg1 | argumentPassing.py:151:15:151:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:161:15:161:18 | ControlFlowNode for arg1 | argumentPassing.py:161:15:161:18 | ControlFlowNode for arg1 | argumentPassing.py:159:19:159:22 | ControlFlowNode for Subscript | Flow found |
| argumentPassing.py:168:13:168:16 | ControlFlowNode for arg1 | argumentPassing.py:168:13:168:16 | ControlFlowNode for arg1 | argumentPassing.py:166:15:166:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:175:16:175:19 | ControlFlowNode for arg1 | argumentPassing.py:175:16:175:19 | ControlFlowNode for arg1 | argumentPassing.py:173:15:173:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:182:15:182:18 | ControlFlowNode for arg1 | argumentPassing.py:182:15:182:18 | ControlFlowNode for arg1 | argumentPassing.py:180:15:180:15 | ControlFlowNode for a | Flow found |
| argumentPassing.py:189:23:189:26 | ControlFlowNode for arg1 | argumentPassing.py:189:23:189:26 | ControlFlowNode for arg1 | argumentPassing.py:187:15:187:20 | ControlFlowNode for Subscript | Flow found |
| classes.py:563:5:563:16 | SSA variable with_getitem | classes.py:563:5:563:16 | SSA variable with_getitem | classes.py:557:15:557:18 | ControlFlowNode for self | Flow found |
| classes.py:578:5:578:16 | SSA variable with_setitem | classes.py:578:5:578:16 | SSA variable with_setitem | classes.py:573:15:573:18 | ControlFlowNode for self | Flow found |
| classes.py:593:5:593:16 | SSA variable with_delitem | classes.py:593:5:593:16 | SSA variable with_delitem | classes.py:588:15:588:18 | ControlFlowNode for self | Flow found |

106
python/ql/test/experimental/dataflow/coverage/argumentRouting2.expected
View File

@@ -1,24 +1,24 @@
edges
| argumentPassing.py:66:5:66:5 | ControlFlowNode for b | argumentPassing.py:76:11:76:11 | ControlFlowNode for b |
| argumentPassing.py:94:28:94:31 | ControlFlowNode for arg2 | argumentPassing.py:66:5:66:5 | ControlFlowNode for b |
| argumentPassing.py:97:25:97:25 | ControlFlowNode for b | argumentPassing.py:99:11:99:11 | ControlFlowNode for b |
| argumentPassing.py:104:25:104:28 | ControlFlowNode for arg2 | argumentPassing.py:97:25:97:25 | ControlFlowNode for b |
| argumentPassing.py:105:27:105:30 | ControlFlowNode for arg2 | argumentPassing.py:97:25:97:25 | ControlFlowNode for b |
| argumentPassing.py:109:30:109:30 | ControlFlowNode for b | argumentPassing.py:111:11:111:11 | ControlFlowNode for b |
| argumentPassing.py:117:29:117:32 | ControlFlowNode for arg2 | argumentPassing.py:109:30:109:30 | ControlFlowNode for b |
| argumentPassing.py:120:5:120:70 | KwUnpacked b | argumentPassing.py:109:30:109:30 | ControlFlowNode for b |
| argumentPassing.py:120:29:120:39 | ControlFlowNode for Dict [Dictionary element at key b] | argumentPassing.py:120:5:120:70 | KwUnpacked b |
| argumentPassing.py:120:35:120:38 | ControlFlowNode for arg2 | argumentPassing.py:120:29:120:39 | ControlFlowNode for Dict [Dictionary element at key b] |
| argumentPassing.py:123:36:123:36 | ControlFlowNode for b | argumentPassing.py:125:11:125:11 | ControlFlowNode for b |
| argumentPassing.py:123:36:123:36 | ControlFlowNode for b | argumentPassing.py:125:11:125:11 | ControlFlowNode for b |
| argumentPassing.py:123:38:123:41 | ControlFlowNode for arg2 | argumentPassing.py:123:36:123:36 | ControlFlowNode for b |
| argumentPassing.py:133:30:133:33 | ControlFlowNode for arg2 | argumentPassing.py:123:36:123:36 | ControlFlowNode for b |
| argumentPassing.py:138:29:138:34 | ControlFlowNode for kwargs [Dictionary element at key bar] | argumentPassing.py:140:20:140:25 | ControlFlowNode for kwargs [Dictionary element at key bar] |
| argumentPassing.py:140:5:140:26 | KwUnpacked bar | argumentPassing.py:145:18:145:20 | ControlFlowNode for bar |
| argumentPassing.py:140:20:140:25 | ControlFlowNode for kwargs [Dictionary element at key bar] | argumentPassing.py:140:5:140:26 | KwUnpacked bar |
| argumentPassing.py:145:18:145:20 | ControlFlowNode for bar | argumentPassing.py:146:11:146:13 | ControlFlowNode for bar |
| argumentPassing.py:160:5:160:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key bar] | argumentPassing.py:138:29:138:34 | ControlFlowNode for kwargs [Dictionary element at key bar] |
| argumentPassing.py:160:36:160:39 | ControlFlowNode for arg2 | argumentPassing.py:160:5:160:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key bar] |
| argumentPassing.py:44:5:44:5 | ControlFlowNode for b | argumentPassing.py:54:11:54:11 | ControlFlowNode for b |
| argumentPassing.py:72:28:72:31 | ControlFlowNode for arg2 | argumentPassing.py:44:5:44:5 | ControlFlowNode for b |
| argumentPassing.py:75:25:75:25 | ControlFlowNode for b | argumentPassing.py:77:11:77:11 | ControlFlowNode for b |
| argumentPassing.py:82:25:82:28 | ControlFlowNode for arg2 | argumentPassing.py:75:25:75:25 | ControlFlowNode for b |
| argumentPassing.py:83:27:83:30 | ControlFlowNode for arg2 | argumentPassing.py:75:25:75:25 | ControlFlowNode for b |
| argumentPassing.py:87:30:87:30 | ControlFlowNode for b | argumentPassing.py:89:11:89:11 | ControlFlowNode for b |
| argumentPassing.py:95:29:95:32 | ControlFlowNode for arg2 | argumentPassing.py:87:30:87:30 | ControlFlowNode for b |
| argumentPassing.py:98:5:98:70 | KwUnpacked b | argumentPassing.py:87:30:87:30 | ControlFlowNode for b |
| argumentPassing.py:98:29:98:39 | ControlFlowNode for Dict [Dictionary element at key b] | argumentPassing.py:98:5:98:70 | KwUnpacked b |
| argumentPassing.py:98:35:98:38 | ControlFlowNode for arg2 | argumentPassing.py:98:29:98:39 | ControlFlowNode for Dict [Dictionary element at key b] |
| argumentPassing.py:101:36:101:36 | ControlFlowNode for b | argumentPassing.py:103:11:103:11 | ControlFlowNode for b |
| argumentPassing.py:101:36:101:36 | ControlFlowNode for b | argumentPassing.py:103:11:103:11 | ControlFlowNode for b |
| argumentPassing.py:101:38:101:41 | ControlFlowNode for arg2 | argumentPassing.py:101:36:101:36 | ControlFlowNode for b |
| argumentPassing.py:111:30:111:33 | ControlFlowNode for arg2 | argumentPassing.py:101:36:101:36 | ControlFlowNode for b |
| argumentPassing.py:116:29:116:34 | ControlFlowNode for kwargs [Dictionary element at key bar] | argumentPassing.py:118:20:118:25 | ControlFlowNode for kwargs [Dictionary element at key bar] |
| argumentPassing.py:118:5:118:26 | KwUnpacked bar | argumentPassing.py:123:18:123:20 | ControlFlowNode for bar |
| argumentPassing.py:118:20:118:25 | ControlFlowNode for kwargs [Dictionary element at key bar] | argumentPassing.py:118:5:118:26 | KwUnpacked bar |
| argumentPassing.py:123:18:123:20 | ControlFlowNode for bar | argumentPassing.py:124:11:124:13 | ControlFlowNode for bar |
| argumentPassing.py:138:5:138:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key bar] | argumentPassing.py:116:29:116:34 | ControlFlowNode for kwargs [Dictionary element at key bar] |
| argumentPassing.py:138:36:138:39 | ControlFlowNode for arg2 | argumentPassing.py:138:5:138:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key bar] |
| classes.py:555:27:555:29 | ControlFlowNode for key | classes.py:556:15:556:17 | ControlFlowNode for key |
| classes.py:565:18:565:21 | ControlFlowNode for arg2 | classes.py:555:27:555:29 | ControlFlowNode for key |
| classes.py:570:27:570:29 | ControlFlowNode for key | classes.py:572:15:572:17 | ControlFlowNode for key |
@@ -52,31 +52,31 @@ edges
| classes.py:858:22:858:26 | ControlFlowNode for other | classes.py:859:15:859:19 | ControlFlowNode for other |
| classes.py:868:15:868:18 | ControlFlowNode for arg2 | classes.py:858:22:858:26 | ControlFlowNode for other |
nodes
| argumentPassing.py:66:5:66:5 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:76:11:76:11 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:94:28:94:31 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:97:25:97:25 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:99:11:99:11 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:104:25:104:28 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:105:27:105:30 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:109:30:109:30 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:111:11:111:11 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:117:29:117:32 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:120:5:120:70 | KwUnpacked b | semmle.label | KwUnpacked b |
| argumentPassing.py:120:29:120:39 | ControlFlowNode for Dict [Dictionary element at key b] | semmle.label | ControlFlowNode for Dict [Dictionary element at key b] |
| argumentPassing.py:120:35:120:38 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:123:36:123:36 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:123:36:123:36 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:123:38:123:41 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:125:11:125:11 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:133:30:133:33 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:138:29:138:34 | ControlFlowNode for kwargs [Dictionary element at key bar] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key bar] |
| argumentPassing.py:140:5:140:26 | KwUnpacked bar | semmle.label | KwUnpacked bar |
| argumentPassing.py:140:20:140:25 | ControlFlowNode for kwargs [Dictionary element at key bar] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key bar] |
| argumentPassing.py:145:18:145:20 | ControlFlowNode for bar | semmle.label | ControlFlowNode for bar |
| argumentPassing.py:146:11:146:13 | ControlFlowNode for bar | semmle.label | ControlFlowNode for bar |
| argumentPassing.py:160:5:160:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key bar] | semmle.label | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key bar] |
| argumentPassing.py:160:36:160:39 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:44:5:44:5 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:54:11:54:11 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:72:28:72:31 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:75:25:75:25 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:77:11:77:11 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:82:25:82:28 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:83:27:83:30 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:87:30:87:30 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:89:11:89:11 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:95:29:95:32 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:98:5:98:70 | KwUnpacked b | semmle.label | KwUnpacked b |
| argumentPassing.py:98:29:98:39 | ControlFlowNode for Dict [Dictionary element at key b] | semmle.label | ControlFlowNode for Dict [Dictionary element at key b] |
| argumentPassing.py:98:35:98:38 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:101:36:101:36 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:101:36:101:36 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:101:38:101:41 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:103:11:103:11 | ControlFlowNode for b | semmle.label | ControlFlowNode for b |
| argumentPassing.py:111:30:111:33 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| argumentPassing.py:116:29:116:34 | ControlFlowNode for kwargs [Dictionary element at key bar] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key bar] |
| argumentPassing.py:118:5:118:26 | KwUnpacked bar | semmle.label | KwUnpacked bar |
| argumentPassing.py:118:20:118:25 | ControlFlowNode for kwargs [Dictionary element at key bar] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key bar] |
| argumentPassing.py:123:18:123:20 | ControlFlowNode for bar | semmle.label | ControlFlowNode for bar |
| argumentPassing.py:124:11:124:13 | ControlFlowNode for bar | semmle.label | ControlFlowNode for bar |
| argumentPassing.py:138:5:138:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key bar] | semmle.label | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key bar] |
| argumentPassing.py:138:36:138:39 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
| classes.py:555:27:555:29 | ControlFlowNode for key | semmle.label | ControlFlowNode for key |
| classes.py:556:15:556:17 | ControlFlowNode for key | semmle.label | ControlFlowNode for key |
| classes.py:565:18:565:21 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
@@ -127,14 +127,14 @@ nodes
| classes.py:868:15:868:18 | ControlFlowNode for arg2 | semmle.label | ControlFlowNode for arg2 |
subpaths
#select
| argumentPassing.py:94:28:94:31 | ControlFlowNode for arg2 | argumentPassing.py:94:28:94:31 | ControlFlowNode for arg2 | argumentPassing.py:76:11:76:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:104:25:104:28 | ControlFlowNode for arg2 | argumentPassing.py:104:25:104:28 | ControlFlowNode for arg2 | argumentPassing.py:99:11:99:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:105:27:105:30 | ControlFlowNode for arg2 | argumentPassing.py:105:27:105:30 | ControlFlowNode for arg2 | argumentPassing.py:99:11:99:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:117:29:117:32 | ControlFlowNode for arg2 | argumentPassing.py:117:29:117:32 | ControlFlowNode for arg2 | argumentPassing.py:111:11:111:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:120:35:120:38 | ControlFlowNode for arg2 | argumentPassing.py:120:35:120:38 | ControlFlowNode for arg2 | argumentPassing.py:111:11:111:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:123:38:123:41 | ControlFlowNode for arg2 | argumentPassing.py:123:38:123:41 | ControlFlowNode for arg2 | argumentPassing.py:125:11:125:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:133:30:133:33 | ControlFlowNode for arg2 | argumentPassing.py:133:30:133:33 | ControlFlowNode for arg2 | argumentPassing.py:125:11:125:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:160:36:160:39 | ControlFlowNode for arg2 | argumentPassing.py:160:36:160:39 | ControlFlowNode for arg2 | argumentPassing.py:146:11:146:13 | ControlFlowNode for bar | Flow found |
| argumentPassing.py:72:28:72:31 | ControlFlowNode for arg2 | argumentPassing.py:72:28:72:31 | ControlFlowNode for arg2 | argumentPassing.py:54:11:54:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:82:25:82:28 | ControlFlowNode for arg2 | argumentPassing.py:82:25:82:28 | ControlFlowNode for arg2 | argumentPassing.py:77:11:77:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:83:27:83:30 | ControlFlowNode for arg2 | argumentPassing.py:83:27:83:30 | ControlFlowNode for arg2 | argumentPassing.py:77:11:77:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:95:29:95:32 | ControlFlowNode for arg2 | argumentPassing.py:95:29:95:32 | ControlFlowNode for arg2 | argumentPassing.py:89:11:89:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:98:35:98:38 | ControlFlowNode for arg2 | argumentPassing.py:98:35:98:38 | ControlFlowNode for arg2 | argumentPassing.py:89:11:89:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:101:38:101:41 | ControlFlowNode for arg2 | argumentPassing.py:101:38:101:41 | ControlFlowNode for arg2 | argumentPassing.py:103:11:103:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:111:30:111:33 | ControlFlowNode for arg2 | argumentPassing.py:111:30:111:33 | ControlFlowNode for arg2 | argumentPassing.py:103:11:103:11 | ControlFlowNode for b | Flow found |
| argumentPassing.py:138:36:138:39 | ControlFlowNode for arg2 | argumentPassing.py:138:36:138:39 | ControlFlowNode for arg2 | argumentPassing.py:124:11:124:13 | ControlFlowNode for bar | Flow found |
| classes.py:565:18:565:21 | ControlFlowNode for arg2 | classes.py:565:18:565:21 | ControlFlowNode for arg2 | classes.py:556:15:556:17 | ControlFlowNode for key | Flow found |
| classes.py:581:18:581:21 | ControlFlowNode for arg2 | classes.py:581:18:581:21 | ControlFlowNode for arg2 | classes.py:572:15:572:17 | ControlFlowNode for key | Flow found |
| classes.py:595:22:595:25 | ControlFlowNode for arg2 | classes.py:595:22:595:25 | ControlFlowNode for arg2 | classes.py:587:15:587:17 | ControlFlowNode for key | Flow found |

118
python/ql/test/experimental/dataflow/coverage/argumentRouting3.expected
View File

@@ -1,69 +1,69 @@
edges
| argumentPassing.py:68:5:68:5 | ControlFlowNode for c | argumentPassing.py:77:11:77:11 | ControlFlowNode for c |
| argumentPassing.py:94:34:94:37 | ControlFlowNode for arg3 | argumentPassing.py:68:5:68:5 | ControlFlowNode for c |
| argumentPassing.py:109:33:109:33 | ControlFlowNode for c | argumentPassing.py:112:11:112:11 | ControlFlowNode for c |
| argumentPassing.py:117:37:117:40 | ControlFlowNode for arg3 | argumentPassing.py:109:33:109:33 | ControlFlowNode for c |
| argumentPassing.py:119:5:119:54 | KwUnpacked c | argumentPassing.py:109:33:109:33 | ControlFlowNode for c |
| argumentPassing.py:119:35:119:45 | ControlFlowNode for Dict [Dictionary element at key c] | argumentPassing.py:119:5:119:54 | KwUnpacked c |
| argumentPassing.py:119:41:119:44 | ControlFlowNode for arg3 | argumentPassing.py:119:35:119:45 | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:120:5:120:70 | KwUnpacked c | argumentPassing.py:109:33:109:33 | ControlFlowNode for c |
| argumentPassing.py:120:44:120:54 | ControlFlowNode for Dict [Dictionary element at key c] | argumentPassing.py:120:5:120:70 | KwUnpacked c |
| argumentPassing.py:120:50:120:53 | ControlFlowNode for arg3 | argumentPassing.py:120:44:120:54 | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:123:44:123:44 | ControlFlowNode for c | argumentPassing.py:126:11:126:11 | ControlFlowNode for c |
| argumentPassing.py:123:44:123:44 | ControlFlowNode for c | argumentPassing.py:126:11:126:11 | ControlFlowNode for c |
| argumentPassing.py:123:46:123:49 | ControlFlowNode for arg3 | argumentPassing.py:123:44:123:44 | ControlFlowNode for c |
| argumentPassing.py:134:5:134:41 | KwUnpacked c | argumentPassing.py:123:44:123:44 | ControlFlowNode for c |
| argumentPassing.py:134:30:134:40 | ControlFlowNode for Dict [Dictionary element at key c] | argumentPassing.py:134:5:134:41 | KwUnpacked c |
| argumentPassing.py:134:36:134:39 | ControlFlowNode for arg3 | argumentPassing.py:134:30:134:40 | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:138:29:138:34 | ControlFlowNode for kwargs [Dictionary element at key baz] | argumentPassing.py:140:5:140:26 | KwOverflowNode for grab_bar_baz() [Dictionary element at key baz] |
| argumentPassing.py:140:5:140:26 | KwOverflowNode for grab_bar_baz() [Dictionary element at key baz] | argumentPassing.py:145:25:145:30 | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:145:25:145:30 | ControlFlowNode for kwargs [Dictionary element at key baz] | argumentPassing.py:151:16:151:21 | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:151:5:151:22 | KwUnpacked baz | argumentPassing.py:154:14:154:16 | ControlFlowNode for baz |
| argumentPassing.py:151:16:151:21 | ControlFlowNode for kwargs [Dictionary element at key baz] | argumentPassing.py:151:5:151:22 | KwUnpacked baz |
| argumentPassing.py:154:14:154:16 | ControlFlowNode for baz | argumentPassing.py:155:11:155:13 | ControlFlowNode for baz |
| argumentPassing.py:160:5:160:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key baz] | argumentPassing.py:138:29:138:34 | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:160:26:160:29 | ControlFlowNode for arg3 | argumentPassing.py:160:5:160:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key baz] |
| argumentPassing.py:46:5:46:5 | ControlFlowNode for c | argumentPassing.py:55:11:55:11 | ControlFlowNode for c |
| argumentPassing.py:72:34:72:37 | ControlFlowNode for arg3 | argumentPassing.py:46:5:46:5 | ControlFlowNode for c |
| argumentPassing.py:87:33:87:33 | ControlFlowNode for c | argumentPassing.py:90:11:90:11 | ControlFlowNode for c |
| argumentPassing.py:95:37:95:40 | ControlFlowNode for arg3 | argumentPassing.py:87:33:87:33 | ControlFlowNode for c |
| argumentPassing.py:97:5:97:54 | KwUnpacked c | argumentPassing.py:87:33:87:33 | ControlFlowNode for c |
| argumentPassing.py:97:35:97:45 | ControlFlowNode for Dict [Dictionary element at key c] | argumentPassing.py:97:5:97:54 | KwUnpacked c |
| argumentPassing.py:97:41:97:44 | ControlFlowNode for arg3 | argumentPassing.py:97:35:97:45 | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:98:5:98:70 | KwUnpacked c | argumentPassing.py:87:33:87:33 | ControlFlowNode for c |
| argumentPassing.py:98:44:98:54 | ControlFlowNode for Dict [Dictionary element at key c] | argumentPassing.py:98:5:98:70 | KwUnpacked c |
| argumentPassing.py:98:50:98:53 | ControlFlowNode for arg3 | argumentPassing.py:98:44:98:54 | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:101:44:101:44 | ControlFlowNode for c | argumentPassing.py:104:11:104:11 | ControlFlowNode for c |
| argumentPassing.py:101:44:101:44 | ControlFlowNode for c | argumentPassing.py:104:11:104:11 | ControlFlowNode for c |
| argumentPassing.py:101:46:101:49 | ControlFlowNode for arg3 | argumentPassing.py:101:44:101:44 | ControlFlowNode for c |
| argumentPassing.py:112:5:112:41 | KwUnpacked c | argumentPassing.py:101:44:101:44 | ControlFlowNode for c |
| argumentPassing.py:112:30:112:40 | ControlFlowNode for Dict [Dictionary element at key c] | argumentPassing.py:112:5:112:41 | KwUnpacked c |
| argumentPassing.py:112:36:112:39 | ControlFlowNode for arg3 | argumentPassing.py:112:30:112:40 | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:116:29:116:34 | ControlFlowNode for kwargs [Dictionary element at key baz] | argumentPassing.py:118:5:118:26 | KwOverflowNode for grab_bar_baz() [Dictionary element at key baz] |
| argumentPassing.py:118:5:118:26 | KwOverflowNode for grab_bar_baz() [Dictionary element at key baz] | argumentPassing.py:123:25:123:30 | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:123:25:123:30 | ControlFlowNode for kwargs [Dictionary element at key baz] | argumentPassing.py:129:16:129:21 | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:129:5:129:22 | KwUnpacked baz | argumentPassing.py:132:14:132:16 | ControlFlowNode for baz |
| argumentPassing.py:129:16:129:21 | ControlFlowNode for kwargs [Dictionary element at key baz] | argumentPassing.py:129:5:129:22 | KwUnpacked baz |
| argumentPassing.py:132:14:132:16 | ControlFlowNode for baz | argumentPassing.py:133:11:133:13 | ControlFlowNode for baz |
| argumentPassing.py:138:5:138:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key baz] | argumentPassing.py:116:29:116:34 | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:138:26:138:29 | ControlFlowNode for arg3 | argumentPassing.py:138:5:138:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key baz] |
| classes.py:570:32:570:36 | ControlFlowNode for value | classes.py:571:15:571:19 | ControlFlowNode for value |
| classes.py:581:26:581:29 | ControlFlowNode for arg3 | classes.py:570:32:570:36 | ControlFlowNode for value |
nodes
| argumentPassing.py:68:5:68:5 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:77:11:77:11 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:94:34:94:37 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:109:33:109:33 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:112:11:112:11 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:117:37:117:40 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:119:5:119:54 | KwUnpacked c | semmle.label | KwUnpacked c |
| argumentPassing.py:119:35:119:45 | ControlFlowNode for Dict [Dictionary element at key c] | semmle.label | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:119:41:119:44 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:120:5:120:70 | KwUnpacked c | semmle.label | KwUnpacked c |
| argumentPassing.py:120:44:120:54 | ControlFlowNode for Dict [Dictionary element at key c] | semmle.label | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:120:50:120:53 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:123:44:123:44 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:123:44:123:44 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:123:46:123:49 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:126:11:126:11 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:134:5:134:41 | KwUnpacked c | semmle.label | KwUnpacked c |
| argumentPassing.py:134:30:134:40 | ControlFlowNode for Dict [Dictionary element at key c] | semmle.label | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:134:36:134:39 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:138:29:138:34 | ControlFlowNode for kwargs [Dictionary element at key baz] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:140:5:140:26 | KwOverflowNode for grab_bar_baz() [Dictionary element at key baz] | semmle.label | KwOverflowNode for grab_bar_baz() [Dictionary element at key baz] |
| argumentPassing.py:145:25:145:30 | ControlFlowNode for kwargs [Dictionary element at key baz] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:151:5:151:22 | KwUnpacked baz | semmle.label | KwUnpacked baz |
| argumentPassing.py:151:16:151:21 | ControlFlowNode for kwargs [Dictionary element at key baz] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:154:14:154:16 | ControlFlowNode for baz | semmle.label | ControlFlowNode for baz |
| argumentPassing.py:155:11:155:13 | ControlFlowNode for baz | semmle.label | ControlFlowNode for baz |
| argumentPassing.py:160:5:160:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key baz] | semmle.label | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key baz] |
| argumentPassing.py:160:26:160:29 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:46:5:46:5 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:55:11:55:11 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:72:34:72:37 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:87:33:87:33 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:90:11:90:11 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:95:37:95:40 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:97:5:97:54 | KwUnpacked c | semmle.label | KwUnpacked c |
| argumentPassing.py:97:35:97:45 | ControlFlowNode for Dict [Dictionary element at key c] | semmle.label | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:97:41:97:44 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:98:5:98:70 | KwUnpacked c | semmle.label | KwUnpacked c |
| argumentPassing.py:98:44:98:54 | ControlFlowNode for Dict [Dictionary element at key c] | semmle.label | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:98:50:98:53 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:101:44:101:44 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:101:44:101:44 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:101:46:101:49 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:104:11:104:11 | ControlFlowNode for c | semmle.label | ControlFlowNode for c |
| argumentPassing.py:112:5:112:41 | KwUnpacked c | semmle.label | KwUnpacked c |
| argumentPassing.py:112:30:112:40 | ControlFlowNode for Dict [Dictionary element at key c] | semmle.label | ControlFlowNode for Dict [Dictionary element at key c] |
| argumentPassing.py:112:36:112:39 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| argumentPassing.py:116:29:116:34 | ControlFlowNode for kwargs [Dictionary element at key baz] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:118:5:118:26 | KwOverflowNode for grab_bar_baz() [Dictionary element at key baz] | semmle.label | KwOverflowNode for grab_bar_baz() [Dictionary element at key baz] |
| argumentPassing.py:123:25:123:30 | ControlFlowNode for kwargs [Dictionary element at key baz] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:129:5:129:22 | KwUnpacked baz | semmle.label | KwUnpacked baz |
| argumentPassing.py:129:16:129:21 | ControlFlowNode for kwargs [Dictionary element at key baz] | semmle.label | ControlFlowNode for kwargs [Dictionary element at key baz] |
| argumentPassing.py:132:14:132:16 | ControlFlowNode for baz | semmle.label | ControlFlowNode for baz |
| argumentPassing.py:133:11:133:13 | ControlFlowNode for baz | semmle.label | ControlFlowNode for baz |
| argumentPassing.py:138:5:138:50 | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key baz] | semmle.label | KwOverflowNode for grab_foo_bar_baz() [Dictionary element at key baz] |
| argumentPassing.py:138:26:138:29 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
| classes.py:570:32:570:36 | ControlFlowNode for value | semmle.label | ControlFlowNode for value |
| classes.py:571:15:571:19 | ControlFlowNode for value | semmle.label | ControlFlowNode for value |
| classes.py:581:26:581:29 | ControlFlowNode for arg3 | semmle.label | ControlFlowNode for arg3 |
subpaths
#select
| argumentPassing.py:94:34:94:37 | ControlFlowNode for arg3 | argumentPassing.py:94:34:94:37 | ControlFlowNode for arg3 | argumentPassing.py:77:11:77:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:117:37:117:40 | ControlFlowNode for arg3 | argumentPassing.py:117:37:117:40 | ControlFlowNode for arg3 | argumentPassing.py:112:11:112:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:119:41:119:44 | ControlFlowNode for arg3 | argumentPassing.py:119:41:119:44 | ControlFlowNode for arg3 | argumentPassing.py:112:11:112:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:120:50:120:53 | ControlFlowNode for arg3 | argumentPassing.py:120:50:120:53 | ControlFlowNode for arg3 | argumentPassing.py:112:11:112:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:123:46:123:49 | ControlFlowNode for arg3 | argumentPassing.py:123:46:123:49 | ControlFlowNode for arg3 | argumentPassing.py:126:11:126:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:134:36:134:39 | ControlFlowNode for arg3 | argumentPassing.py:134:36:134:39 | ControlFlowNode for arg3 | argumentPassing.py:126:11:126:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:160:26:160:29 | ControlFlowNode for arg3 | argumentPassing.py:160:26:160:29 | ControlFlowNode for arg3 | argumentPassing.py:155:11:155:13 | ControlFlowNode for baz | Flow found |
| argumentPassing.py:72:34:72:37 | ControlFlowNode for arg3 | argumentPassing.py:72:34:72:37 | ControlFlowNode for arg3 | argumentPassing.py:55:11:55:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:95:37:95:40 | ControlFlowNode for arg3 | argumentPassing.py:95:37:95:40 | ControlFlowNode for arg3 | argumentPassing.py:90:11:90:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:97:41:97:44 | ControlFlowNode for arg3 | argumentPassing.py:97:41:97:44 | ControlFlowNode for arg3 | argumentPassing.py:90:11:90:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:98:50:98:53 | ControlFlowNode for arg3 | argumentPassing.py:98:50:98:53 | ControlFlowNode for arg3 | argumentPassing.py:90:11:90:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:101:46:101:49 | ControlFlowNode for arg3 | argumentPassing.py:101:46:101:49 | ControlFlowNode for arg3 | argumentPassing.py:104:11:104:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:112:36:112:39 | ControlFlowNode for arg3 | argumentPassing.py:112:36:112:39 | ControlFlowNode for arg3 | argumentPassing.py:104:11:104:11 | ControlFlowNode for c | Flow found |
| argumentPassing.py:138:26:138:29 | ControlFlowNode for arg3 | argumentPassing.py:138:26:138:29 | ControlFlowNode for arg3 | argumentPassing.py:133:11:133:13 | ControlFlowNode for baz | Flow found |
| classes.py:581:26:581:29 | ControlFlowNode for arg3 | classes.py:581:26:581:29 | ControlFlowNode for arg3 | classes.py:571:15:571:19 | ControlFlowNode for value | Flow found |

12
python/ql/test/experimental/dataflow/coverage/argumentRouting4.expected
View File

@@ -1,10 +1,10 @@
edges
| argumentPassing.py:69:5:69:5 | ControlFlowNode for d | argumentPassing.py:78:11:78:11 | ControlFlowNode for d |
| argumentPassing.py:69:7:69:10 | ControlFlowNode for arg4 | argumentPassing.py:69:5:69:5 | ControlFlowNode for d |
| argumentPassing.py:47:5:47:5 | ControlFlowNode for d | argumentPassing.py:56:11:56:11 | ControlFlowNode for d |
| argumentPassing.py:47:7:47:10 | ControlFlowNode for arg4 | argumentPassing.py:47:5:47:5 | ControlFlowNode for d |
nodes
| argumentPassing.py:69:5:69:5 | ControlFlowNode for d | semmle.label | ControlFlowNode for d |
| argumentPassing.py:69:7:69:10 | ControlFlowNode for arg4 | semmle.label | ControlFlowNode for arg4 |
| argumentPassing.py:78:11:78:11 | ControlFlowNode for d | semmle.label | ControlFlowNode for d |
| argumentPassing.py:47:5:47:5 | ControlFlowNode for d | semmle.label | ControlFlowNode for d |
| argumentPassing.py:47:7:47:10 | ControlFlowNode for arg4 | semmle.label | ControlFlowNode for arg4 |
| argumentPassing.py:56:11:56:11 | ControlFlowNode for d | semmle.label | ControlFlowNode for d |
subpaths
#select
| argumentPassing.py:69:7:69:10 | ControlFlowNode for arg4 | argumentPassing.py:69:7:69:10 | ControlFlowNode for arg4 | argumentPassing.py:78:11:78:11 | ControlFlowNode for d | Flow found |
| argumentPassing.py:47:7:47:10 | ControlFlowNode for arg4 | argumentPassing.py:47:7:47:10 | ControlFlowNode for arg4 | argumentPassing.py:56:11:56:11 | ControlFlowNode for d | Flow found |

12
python/ql/test/experimental/dataflow/coverage/argumentRouting5.expected
View File

@@ -1,10 +1,10 @@
edges
| argumentPassing.py:71:5:71:5 | ControlFlowNode for e | argumentPassing.py:79:11:79:11 | ControlFlowNode for e |
| argumentPassing.py:71:7:71:10 | ControlFlowNode for arg5 | argumentPassing.py:71:5:71:5 | ControlFlowNode for e |
| argumentPassing.py:49:5:49:5 | ControlFlowNode for e | argumentPassing.py:57:11:57:11 | ControlFlowNode for e |
| argumentPassing.py:49:7:49:10 | ControlFlowNode for arg5 | argumentPassing.py:49:5:49:5 | ControlFlowNode for e |
nodes
| argumentPassing.py:71:5:71:5 | ControlFlowNode for e | semmle.label | ControlFlowNode for e |
| argumentPassing.py:71:7:71:10 | ControlFlowNode for arg5 | semmle.label | ControlFlowNode for arg5 |
| argumentPassing.py:79:11:79:11 | ControlFlowNode for e | semmle.label | ControlFlowNode for e |
| argumentPassing.py:49:5:49:5 | ControlFlowNode for e | semmle.label | ControlFlowNode for e |
| argumentPassing.py:49:7:49:10 | ControlFlowNode for arg5 | semmle.label | ControlFlowNode for arg5 |
| argumentPassing.py:57:11:57:11 | ControlFlowNode for e | semmle.label | ControlFlowNode for e |
subpaths
#select
| argumentPassing.py:71:7:71:10 | ControlFlowNode for arg5 | argumentPassing.py:71:7:71:10 | ControlFlowNode for arg5 | argumentPassing.py:79:11:79:11 | ControlFlowNode for e | Flow found |
| argumentPassing.py:49:7:49:10 | ControlFlowNode for arg5 | argumentPassing.py:49:7:49:10 | ControlFlowNode for arg5 | argumentPassing.py:57:11:57:11 | ControlFlowNode for e | Flow found |

24
python/ql/test/experimental/dataflow/coverage/argumentRouting7.expected
View File

@@ -1,16 +1,16 @@
edges
| argumentPassing.py:73:7:73:7 | ControlFlowNode for g [Dictionary element at key g] | argumentPassing.py:82:15:82:15 | ControlFlowNode for g [Dictionary element at key g] |
| argumentPassing.py:82:15:82:15 | ControlFlowNode for g [Dictionary element at key g] | argumentPassing.py:82:15:82:20 | ControlFlowNode for Subscript |
| argumentPassing.py:89:5:89:81 | KwOverflowNode for argument_passing() [Dictionary element at key g] | argumentPassing.py:73:7:73:7 | ControlFlowNode for g [Dictionary element at key g] |
| argumentPassing.py:89:59:89:80 | ControlFlowNode for Dict [Dictionary element at key g] | argumentPassing.py:89:5:89:81 | KwOverflowNode for argument_passing() [Dictionary element at key g] |
| argumentPassing.py:89:76:89:79 | ControlFlowNode for arg7 | argumentPassing.py:89:59:89:80 | ControlFlowNode for Dict [Dictionary element at key g] |
| argumentPassing.py:51:7:51:7 | ControlFlowNode for g [Dictionary element at key g] | argumentPassing.py:60:15:60:15 | ControlFlowNode for g [Dictionary element at key g] |
| argumentPassing.py:60:15:60:15 | ControlFlowNode for g [Dictionary element at key g] | argumentPassing.py:60:15:60:20 | ControlFlowNode for Subscript |
| argumentPassing.py:67:5:67:81 | KwOverflowNode for argument_passing() [Dictionary element at key g] | argumentPassing.py:51:7:51:7 | ControlFlowNode for g [Dictionary element at key g] |
| argumentPassing.py:67:59:67:80 | ControlFlowNode for Dict [Dictionary element at key g] | argumentPassing.py:67:5:67:81 | KwOverflowNode for argument_passing() [Dictionary element at key g] |
| argumentPassing.py:67:76:67:79 | ControlFlowNode for arg7 | argumentPassing.py:67:59:67:80 | ControlFlowNode for Dict [Dictionary element at key g] |
nodes
| argumentPassing.py:73:7:73:7 | ControlFlowNode for g [Dictionary element at key g] | semmle.label | ControlFlowNode for g [Dictionary element at key g] |
| argumentPassing.py:82:15:82:15 | ControlFlowNode for g [Dictionary element at key g] | semmle.label | ControlFlowNode for g [Dictionary element at key g] |
| argumentPassing.py:82:15:82:20 | ControlFlowNode for Subscript | semmle.label | ControlFlowNode for Subscript |
| argumentPassing.py:89:5:89:81 | KwOverflowNode for argument_passing() [Dictionary element at key g] | semmle.label | KwOverflowNode for argument_passing() [Dictionary element at key g] |
| argumentPassing.py:89:59:89:80 | ControlFlowNode for Dict [Dictionary element at key g] | semmle.label | ControlFlowNode for Dict [Dictionary element at key g] |
| argumentPassing.py:89:76:89:79 | ControlFlowNode for arg7 | semmle.label | ControlFlowNode for arg7 |
| argumentPassing.py:51:7:51:7 | ControlFlowNode for g [Dictionary element at key g] | semmle.label | ControlFlowNode for g [Dictionary element at key g] |
| argumentPassing.py:60:15:60:15 | ControlFlowNode for g [Dictionary element at key g] | semmle.label | ControlFlowNode for g [Dictionary element at key g] |
| argumentPassing.py:60:15:60:20 | ControlFlowNode for Subscript | semmle.label | ControlFlowNode for Subscript |
| argumentPassing.py:67:5:67:81 | KwOverflowNode for argument_passing() [Dictionary element at key g] | semmle.label | KwOverflowNode for argument_passing() [Dictionary element at key g] |
| argumentPassing.py:67:59:67:80 | ControlFlowNode for Dict [Dictionary element at key g] | semmle.label | ControlFlowNode for Dict [Dictionary element at key g] |
| argumentPassing.py:67:76:67:79 | ControlFlowNode for arg7 | semmle.label | ControlFlowNode for arg7 |
subpaths
#select
| argumentPassing.py:89:76:89:79 | ControlFlowNode for arg7 | argumentPassing.py:89:76:89:79 | ControlFlowNode for arg7 | argumentPassing.py:82:15:82:20 | ControlFlowNode for Subscript | Flow found |
| argumentPassing.py:67:76:67:79 | ControlFlowNode for arg7 | argumentPassing.py:67:76:67:79 | ControlFlowNode for arg7 | argumentPassing.py:60:15:60:20 | ControlFlowNode for Subscript | Flow found |