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

Python: format strings are unnecessary and mess up

Browse Source 
For some reason, we got no results when format strings were present.
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-08-10 11:54:24 +02:00
parent 959c6315c4
commit a963f15100
3 changed files with 133 additions and 102 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
python/ql/test/experimental/dataflow/coverage/classes.py
View File

@@ -769,7 +769,7 @@ class With_radd:
def test_radd():
with_radd = With_radd()
f"" + with_radd
"" + with_radd
# object.__rsub__(self, other)
class With_rsub:
@@ -780,7 +780,7 @@ class With_rsub:
def test_rsub():
with_rsub = With_rsub()
f"" - with_rsub
"" - with_rsub
# object.__rmul__(self, other)
class With_rmul:
@@ -791,7 +791,7 @@ class With_rmul:
def test_rmul():
with_rmul = With_rmul()
f"" * with_rmul
"" * with_rmul
# object.__rmatmul__(self, other)
class With_rmatmul:
@@ -802,7 +802,7 @@ class With_rmatmul:
def test_rmatmul():
with_rmatmul = With_rmatmul()
f"" @ with_rmatmul
"" @ with_rmatmul
# object.__rtruediv__(self, other)
class With_rtruediv:
@@ -813,7 +813,7 @@ class With_rtruediv:
def test_rtruediv():
with_rtruediv = With_rtruediv()
f"" / with_rtruediv
"" / with_rtruediv
# object.__rfloordiv__(self, other)
class With_rfloordiv:
@@ -824,7 +824,7 @@ class With_rfloordiv:
def test_rfloordiv():
with_rfloordiv = With_rfloordiv()
f"" // with_rfloordiv
"" // with_rfloordiv
# object.__rmod__(self, other)
class With_rmod:
@@ -846,7 +846,7 @@ class With_rdivmod:
def test_rdivmod():
with_rdivmod = With_rdivmod()
divmod(f"", with_rdivmod)
divmod("", with_rdivmod)
# object.__rpow__(self, other[, modulo])
class With_rpow:
@@ -857,11 +857,11 @@ class With_rpow:
def test_rpow():
with_rpow = With_rpow()
pow(f"", with_rpow)
pow("", with_rpow)
def test_rpow_op():
with_rpow = With_rpow()
f"" ** with_rpow
"" ** with_rpow
# object.__rlshift__(self, other)
class With_rlshift:
@@ -872,7 +872,7 @@ class With_rlshift:
def ftest_rlshift(): # TypeError: unsupported operand type(s) for >>: 'str' and 'With_rlshift'
with_rlshift = With_rlshift()
f"" >> with_rlshift
"" >> with_rlshift
# object.__rrshift__(self, other)
class With_rrshift:
@@ -883,7 +883,7 @@ class With_rrshift:
def ftest_rrshift(): # TypeError: unsupported operand type(s) for <<: 'str' and 'With_rrshift'
with_rrshift = With_rrshift()
f"" << with_rrshift
"" << with_rrshift
# object.__rand__(self, other)
class With_rand:
@@ -894,7 +894,7 @@ class With_rand:
def test_rand():
with_rand = With_rand()
f"" & with_rand
"" & with_rand
# object.__rxor__(self, other)
class With_rxor:
@@ -905,7 +905,7 @@ class With_rxor:
def test_rxor():
with_rxor = With_rxor()
f"" ^ with_rxor
"" ^ with_rxor
# object.__ror__(self, other)
class With_ror:
@@ -916,7 +916,7 @@ class With_ror:
def test_ror():
with_ror = With_ror()
f"" | with_ror
"" | with_ror
# object.__iadd__(self, other)
class With_iadd:

193
python/ql/test/experimental/dataflow/coverage/classesCallGraph.expected
View File

@@ -1,81 +1,112 @@
| classes.py:29:10:29:10 | ControlFlowNode for a | classes.py:17:10:17:10 | SSA variable x |
| classes.py:29:10:29:10 | ControlFlowNode for a | classes.py:31:6:31:17 | ControlFlowNode for f() |
| classes.py:31:6:31:17 | ControlFlowNode for f() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:31:6:31:17 | ControlFlowNode for f() | classes.py:31:6:31:17 | ControlFlowNode for f() |
| classes.py:31:8:31:13 | ControlFlowNode for SOURCE | classes.py:17:10:17:10 | SSA variable x |
| classes.py:31:8:31:13 | ControlFlowNode for SOURCE | classes.py:28:7:28:7 | SSA variable a |
| classes.py:31:8:31:13 | ControlFlowNode for SOURCE | classes.py:31:6:31:17 | ControlFlowNode for f() |
| classes.py:31:16:31:16 | ControlFlowNode for IntegerLiteral | classes.py:28:10:28:10 | SSA variable b |
| classes.py:39:16:39:16 | ControlFlowNode for x | classes.py:17:10:17:10 | SSA variable x |
| classes.py:39:16:39:16 | ControlFlowNode for x | classes.py:64:6:64:24 | ControlFlowNode for Attribute() |
| classes.py:39:16:39:16 | ControlFlowNode for x | classes.py:65:6:65:27 | ControlFlowNode for Attribute() |
| classes.py:43:16:43:16 | ControlFlowNode for x | classes.py:17:10:17:10 | SSA variable x |
| classes.py:43:16:43:16 | ControlFlowNode for x | classes.py:73:6:73:26 | ControlFlowNode for Attribute() |
| classes.py:43:16:43:16 | ControlFlowNode for x | classes.py:74:6:74:26 | ControlFlowNode for Attribute() |
| classes.py:56:14:56:14 | ControlFlowNode for x | classes.py:100:18:100:31 | ControlFlowNode for Attribute() |
| classes.py:64:6:64:24 | ControlFlowNode for Attribute() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:64:6:64:24 | ControlFlowNode for Attribute() | classes.py:64:6:64:24 | ControlFlowNode for Attribute() |
| classes.py:64:15:64:20 | ControlFlowNode for SOURCE | classes.py:17:10:17:10 | SSA variable x |
| classes.py:64:15:64:20 | ControlFlowNode for SOURCE | classes.py:37:16:37:19 | SSA variable self |
| classes.py:64:15:64:20 | ControlFlowNode for SOURCE | classes.py:37:22:37:22 | SSA variable x |
| classes.py:64:15:64:20 | ControlFlowNode for SOURCE | classes.py:64:6:64:24 | ControlFlowNode for Attribute() |
| classes.py:64:23:64:23 | ControlFlowNode for C | classes.py:17:10:17:10 | SSA variable x |
| classes.py:64:23:64:23 | ControlFlowNode for C | classes.py:37:22:37:22 | SSA variable x |
| classes.py:64:23:64:23 | ControlFlowNode for C | classes.py:37:25:37:27 | SSA variable cls |
| classes.py:64:23:64:23 | ControlFlowNode for C | classes.py:64:6:64:24 | ControlFlowNode for Attribute() |
| classes.py:65:6:65:27 | ControlFlowNode for Attribute() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:65:6:65:27 | ControlFlowNode for Attribute() | classes.py:65:6:65:27 | ControlFlowNode for Attribute() |
| classes.py:65:15:65:15 | ControlFlowNode for c | classes.py:37:16:37:19 | SSA variable self |
| classes.py:65:18:65:23 | ControlFlowNode for SOURCE | classes.py:17:10:17:10 | SSA variable x |
| classes.py:65:18:65:23 | ControlFlowNode for SOURCE | classes.py:37:22:37:22 | SSA variable x |
| classes.py:65:18:65:23 | ControlFlowNode for SOURCE | classes.py:65:6:65:27 | ControlFlowNode for Attribute() |
| classes.py:65:26:65:26 | ControlFlowNode for C | classes.py:37:25:37:27 | SSA variable cls |
| classes.py:66:6:66:27 | ControlFlowNode for func_obj() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:66:6:66:27 | ControlFlowNode for func_obj() | classes.py:66:6:66:27 | ControlFlowNode for func_obj() |
| classes.py:73:6:73:26 | ControlFlowNode for Attribute() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:73:6:73:26 | ControlFlowNode for Attribute() | classes.py:73:6:73:26 | ControlFlowNode for Attribute() |
| classes.py:73:20:73:25 | ControlFlowNode for SOURCE | classes.py:17:10:17:10 | SSA variable x |
| classes.py:73:20:73:25 | ControlFlowNode for SOURCE | classes.py:42:21:42:23 | SSA variable cls |
| classes.py:73:20:73:25 | ControlFlowNode for SOURCE | classes.py:42:26:42:26 | SSA variable x |
| classes.py:73:20:73:25 | ControlFlowNode for SOURCE | classes.py:73:6:73:26 | ControlFlowNode for Attribute() |
| classes.py:74:6:74:26 | ControlFlowNode for Attribute() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:74:6:74:26 | ControlFlowNode for Attribute() | classes.py:74:6:74:26 | ControlFlowNode for Attribute() |
| classes.py:74:20:74:25 | ControlFlowNode for SOURCE | classes.py:17:10:17:10 | SSA variable x |
| classes.py:74:20:74:25 | ControlFlowNode for SOURCE | classes.py:42:21:42:23 | SSA variable cls |
| classes.py:74:20:74:25 | ControlFlowNode for SOURCE | classes.py:42:26:42:26 | SSA variable x |
| classes.py:74:20:74:25 | ControlFlowNode for SOURCE | classes.py:74:6:74:26 | ControlFlowNode for Attribute() |
| classes.py:75:6:75:26 | ControlFlowNode for c_func_obj() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:75:6:75:26 | ControlFlowNode for c_func_obj() | classes.py:75:6:75:26 | ControlFlowNode for c_func_obj() |
| classes.py:85:12:85:17 | ControlFlowNode for SOURCE | classes.py:79:9:79:9 | SSA variable x |
| classes.py:85:20:85:20 | ControlFlowNode for IntegerLiteral | classes.py:79:12:79:16 | SSA variable count |
| classes.py:86:6:86:20 | ControlFlowNode for Attribute() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:86:6:86:20 | ControlFlowNode for Attribute() | classes.py:86:6:86:20 | ControlFlowNode for Attribute() |
| classes.py:87:8:87:22 | ControlFlowNode for Attribute() | classes.py:20:12:20:12 | SSA variable x |
| classes.py:87:8:87:22 | ControlFlowNode for Attribute() | classes.py:87:8:87:22 | ControlFlowNode for Attribute() |
| classes.py:89:15:89:20 | ControlFlowNode for SOURCE | classes.py:49:13:49:16 | SSA variable self |
| classes.py:89:15:89:20 | ControlFlowNode for SOURCE | classes.py:49:19:49:19 | SSA variable x |
| classes.py:89:23:89:23 | ControlFlowNode for IntegerLiteral | classes.py:49:19:49:19 | SSA variable x |
| classes.py:89:23:89:23 | ControlFlowNode for IntegerLiteral | classes.py:49:22:49:26 | SSA variable count |
| classes.py:90:6:90:21 | ControlFlowNode for Attribute() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:90:6:90:21 | ControlFlowNode for Attribute() | classes.py:90:6:90:21 | ControlFlowNode for Attribute() |
| classes.py:91:8:91:23 | ControlFlowNode for Attribute() | classes.py:20:12:20:12 | SSA variable x |
| classes.py:91:8:91:23 | ControlFlowNode for Attribute() | classes.py:91:8:91:23 | ControlFlowNode for Attribute() |
| classes.py:96:10:96:10 | ControlFlowNode for x | classes.py:99:18:99:29 | ControlFlowNode for coro() |
| classes.py:99:6:99:30 | ControlFlowNode for Attribute() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:99:6:99:30 | ControlFlowNode for Attribute() | classes.py:99:6:99:30 | ControlFlowNode for Attribute() |
| classes.py:99:23:99:28 | ControlFlowNode for SOURCE | classes.py:95:16:95:16 | SSA variable x |
| classes.py:99:23:99:28 | ControlFlowNode for SOURCE | classes.py:99:18:99:29 | ControlFlowNode for coro() |
| classes.py:100:6:100:32 | ControlFlowNode for Attribute() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:100:6:100:32 | ControlFlowNode for Attribute() | classes.py:100:6:100:32 | ControlFlowNode for Attribute() |
| classes.py:100:25:100:30 | ControlFlowNode for SOURCE | classes.py:55:20:55:23 | SSA variable self |
| classes.py:100:25:100:30 | ControlFlowNode for SOURCE | classes.py:55:26:55:26 | SSA variable x |
| classes.py:100:25:100:30 | ControlFlowNode for SOURCE | classes.py:100:18:100:31 | ControlFlowNode for Attribute() |
| classes.py:110:10:110:16 | ControlFlowNode for Await | classes.py:112:18:112:29 | ControlFlowNode for agen() |
| classes.py:112:6:112:30 | ControlFlowNode for Attribute() | classes.py:17:10:17:10 | SSA variable x |
| classes.py:112:6:112:30 | ControlFlowNode for Attribute() | classes.py:112:6:112:30 | ControlFlowNode for Attribute() |
| classes.py:112:23:112:28 | ControlFlowNode for SOURCE | classes.py:108:16:108:16 | SSA variable x |
| classes.py:142:12:142:31 | ControlFlowNode for Attribute() | classes.py:142:12:142:31 | ControlFlowNode for Attribute() |
| classes.py:150:6:150:17 | ControlFlowNode for Attribute | classes.py:17:10:17:10 | SSA variable x |
| classes.py:151:8:151:19 | ControlFlowNode for Attribute | classes.py:20:12:20:12 | SSA variable x |
| classes.py:152:6:152:17 | ControlFlowNode for Attribute | classes.py:17:10:17:10 | SSA variable x |
| classes.py:153:6:153:17 | ControlFlowNode for Attribute | classes.py:17:10:17:10 | SSA variable x |
| classes.py:21:12:21:78 | ControlFlowNode for BoolExpr | classes.py:24:8:24:19 | ControlFlowNode for is_source() |
| classes.py:21:12:21:78 | ControlFlowNode for BoolExpr | classes.py:30:8:30:19 | ControlFlowNode for is_source() |
| classes.py:24:18:24:18 | ControlFlowNode for x | classes.py:20:15:20:15 | SSA variable x |
| classes.py:30:18:30:18 | ControlFlowNode for x | classes.py:20:15:20:15 | SSA variable x |
| classes.py:41:10:41:10 | ControlFlowNode for a | classes.py:20:15:20:15 | SSA variable x |
| classes.py:41:10:41:10 | ControlFlowNode for a | classes.py:23:10:23:10 | SSA variable x |
| classes.py:41:10:41:10 | ControlFlowNode for a | classes.py:43:6:43:17 | ControlFlowNode for f() |
| classes.py:43:6:43:17 | ControlFlowNode for f() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:43:6:43:17 | ControlFlowNode for f() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:43:6:43:17 | ControlFlowNode for f() | classes.py:43:6:43:17 | ControlFlowNode for f() |
| classes.py:43:8:43:13 | ControlFlowNode for SOURCE | classes.py:20:15:20:15 | SSA variable x |
| classes.py:43:8:43:13 | ControlFlowNode for SOURCE | classes.py:23:10:23:10 | SSA variable x |
| classes.py:43:8:43:13 | ControlFlowNode for SOURCE | classes.py:40:7:40:7 | SSA variable a |
| classes.py:43:8:43:13 | ControlFlowNode for SOURCE | classes.py:43:6:43:17 | ControlFlowNode for f() |
| classes.py:43:16:43:16 | ControlFlowNode for IntegerLiteral | classes.py:40:10:40:10 | SSA variable b |
| classes.py:51:16:51:16 | ControlFlowNode for x | classes.py:20:15:20:15 | SSA variable x |
| classes.py:51:16:51:16 | ControlFlowNode for x | classes.py:23:10:23:10 | SSA variable x |
| classes.py:51:16:51:16 | ControlFlowNode for x | classes.py:76:6:76:24 | ControlFlowNode for Attribute() |
| classes.py:51:16:51:16 | ControlFlowNode for x | classes.py:77:6:77:27 | ControlFlowNode for Attribute() |
| classes.py:55:16:55:16 | ControlFlowNode for x | classes.py:20:15:20:15 | SSA variable x |
| classes.py:55:16:55:16 | ControlFlowNode for x | classes.py:23:10:23:10 | SSA variable x |
| classes.py:55:16:55:16 | ControlFlowNode for x | classes.py:85:6:85:26 | ControlFlowNode for Attribute() |
| classes.py:55:16:55:16 | ControlFlowNode for x | classes.py:86:6:86:26 | ControlFlowNode for Attribute() |
| classes.py:68:14:68:14 | ControlFlowNode for x | classes.py:112:18:112:31 | ControlFlowNode for Attribute() |
| classes.py:76:6:76:24 | ControlFlowNode for Attribute() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:76:6:76:24 | ControlFlowNode for Attribute() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:76:6:76:24 | ControlFlowNode for Attribute() | classes.py:76:6:76:24 | ControlFlowNode for Attribute() |
| classes.py:76:15:76:20 | ControlFlowNode for SOURCE | classes.py:20:15:20:15 | SSA variable x |
| classes.py:76:15:76:20 | ControlFlowNode for SOURCE | classes.py:23:10:23:10 | SSA variable x |
| classes.py:76:15:76:20 | ControlFlowNode for SOURCE | classes.py:49:16:49:19 | SSA variable self |
| classes.py:76:15:76:20 | ControlFlowNode for SOURCE | classes.py:49:22:49:22 | SSA variable x |
| classes.py:76:15:76:20 | ControlFlowNode for SOURCE | classes.py:76:6:76:24 | ControlFlowNode for Attribute() |
| classes.py:76:23:76:23 | ControlFlowNode for C | classes.py:20:15:20:15 | SSA variable x |
| classes.py:76:23:76:23 | ControlFlowNode for C | classes.py:23:10:23:10 | SSA variable x |
| classes.py:76:23:76:23 | ControlFlowNode for C | classes.py:49:22:49:22 | SSA variable x |
| classes.py:76:23:76:23 | ControlFlowNode for C | classes.py:49:25:49:27 | SSA variable cls |
| classes.py:76:23:76:23 | ControlFlowNode for C | classes.py:76:6:76:24 | ControlFlowNode for Attribute() |
| classes.py:77:6:77:27 | ControlFlowNode for Attribute() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:77:6:77:27 | ControlFlowNode for Attribute() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:77:6:77:27 | ControlFlowNode for Attribute() | classes.py:77:6:77:27 | ControlFlowNode for Attribute() |
| classes.py:77:15:77:15 | ControlFlowNode for c | classes.py:49:16:49:19 | SSA variable self |
| classes.py:77:18:77:23 | ControlFlowNode for SOURCE | classes.py:20:15:20:15 | SSA variable x |
| classes.py:77:18:77:23 | ControlFlowNode for SOURCE | classes.py:23:10:23:10 | SSA variable x |
| classes.py:77:18:77:23 | ControlFlowNode for SOURCE | classes.py:49:22:49:22 | SSA variable x |
| classes.py:77:18:77:23 | ControlFlowNode for SOURCE | classes.py:77:6:77:27 | ControlFlowNode for Attribute() |
| classes.py:77:26:77:26 | ControlFlowNode for C | classes.py:49:25:49:27 | SSA variable cls |
| classes.py:78:6:78:27 | ControlFlowNode for func_obj() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:78:6:78:27 | ControlFlowNode for func_obj() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:78:6:78:27 | ControlFlowNode for func_obj() | classes.py:78:6:78:27 | ControlFlowNode for func_obj() |
| classes.py:85:6:85:26 | ControlFlowNode for Attribute() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:85:6:85:26 | ControlFlowNode for Attribute() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:85:6:85:26 | ControlFlowNode for Attribute() | classes.py:85:6:85:26 | ControlFlowNode for Attribute() |
| classes.py:85:20:85:25 | ControlFlowNode for SOURCE | classes.py:20:15:20:15 | SSA variable x |
| classes.py:85:20:85:25 | ControlFlowNode for SOURCE | classes.py:23:10:23:10 | SSA variable x |
| classes.py:85:20:85:25 | ControlFlowNode for SOURCE | classes.py:54:21:54:23 | SSA variable cls |
| classes.py:85:20:85:25 | ControlFlowNode for SOURCE | classes.py:54:26:54:26 | SSA variable x |
| classes.py:85:20:85:25 | ControlFlowNode for SOURCE | classes.py:85:6:85:26 | ControlFlowNode for Attribute() |
| classes.py:86:6:86:26 | ControlFlowNode for Attribute() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:86:6:86:26 | ControlFlowNode for Attribute() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:86:6:86:26 | ControlFlowNode for Attribute() | classes.py:86:6:86:26 | ControlFlowNode for Attribute() |
| classes.py:86:20:86:25 | ControlFlowNode for SOURCE | classes.py:20:15:20:15 | SSA variable x |
| classes.py:86:20:86:25 | ControlFlowNode for SOURCE | classes.py:23:10:23:10 | SSA variable x |
| classes.py:86:20:86:25 | ControlFlowNode for SOURCE | classes.py:54:21:54:23 | SSA variable cls |
| classes.py:86:20:86:25 | ControlFlowNode for SOURCE | classes.py:54:26:54:26 | SSA variable x |
| classes.py:86:20:86:25 | ControlFlowNode for SOURCE | classes.py:86:6:86:26 | ControlFlowNode for Attribute() |
| classes.py:87:6:87:26 | ControlFlowNode for c_func_obj() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:87:6:87:26 | ControlFlowNode for c_func_obj() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:87:6:87:26 | ControlFlowNode for c_func_obj() | classes.py:87:6:87:26 | ControlFlowNode for c_func_obj() |
| classes.py:97:12:97:17 | ControlFlowNode for SOURCE | classes.py:91:9:91:9 | SSA variable x |
| classes.py:97:20:97:20 | ControlFlowNode for IntegerLiteral | classes.py:91:12:91:16 | SSA variable count |
| classes.py:98:6:98:20 | ControlFlowNode for Attribute() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:98:6:98:20 | ControlFlowNode for Attribute() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:98:6:98:20 | ControlFlowNode for Attribute() | classes.py:98:6:98:20 | ControlFlowNode for Attribute() |
| classes.py:101:15:101:20 | ControlFlowNode for SOURCE | classes.py:61:13:61:16 | SSA variable self |
| classes.py:101:15:101:20 | ControlFlowNode for SOURCE | classes.py:61:19:61:19 | SSA variable x |
| classes.py:101:23:101:23 | ControlFlowNode for IntegerLiteral | classes.py:61:19:61:19 | SSA variable x |
| classes.py:101:23:101:23 | ControlFlowNode for IntegerLiteral | classes.py:61:22:61:26 | SSA variable count |
| classes.py:102:6:102:21 | ControlFlowNode for Attribute() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:102:6:102:21 | ControlFlowNode for Attribute() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:102:6:102:21 | ControlFlowNode for Attribute() | classes.py:102:6:102:21 | ControlFlowNode for Attribute() |
| classes.py:108:10:108:10 | ControlFlowNode for x | classes.py:111:18:111:29 | ControlFlowNode for coro() |
| classes.py:111:6:111:30 | ControlFlowNode for Attribute() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:111:6:111:30 | ControlFlowNode for Attribute() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:111:6:111:30 | ControlFlowNode for Attribute() | classes.py:111:6:111:30 | ControlFlowNode for Attribute() |
| classes.py:111:23:111:28 | ControlFlowNode for SOURCE | classes.py:107:16:107:16 | SSA variable x |
| classes.py:111:23:111:28 | ControlFlowNode for SOURCE | classes.py:111:18:111:29 | ControlFlowNode for coro() |
| classes.py:112:6:112:32 | ControlFlowNode for Attribute() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:112:6:112:32 | ControlFlowNode for Attribute() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:112:6:112:32 | ControlFlowNode for Attribute() | classes.py:112:6:112:32 | ControlFlowNode for Attribute() |
| classes.py:112:25:112:30 | ControlFlowNode for SOURCE | classes.py:67:20:67:23 | SSA variable self |
| classes.py:112:25:112:30 | ControlFlowNode for SOURCE | classes.py:67:26:67:26 | SSA variable x |
| classes.py:112:25:112:30 | ControlFlowNode for SOURCE | classes.py:112:18:112:31 | ControlFlowNode for Attribute() |
| classes.py:122:10:122:16 | ControlFlowNode for Await | classes.py:124:18:124:29 | ControlFlowNode for agen() |
| classes.py:124:6:124:30 | ControlFlowNode for Attribute() | classes.py:20:15:20:15 | SSA variable x |
| classes.py:124:6:124:30 | ControlFlowNode for Attribute() | classes.py:23:10:23:10 | SSA variable x |
| classes.py:124:6:124:30 | ControlFlowNode for Attribute() | classes.py:124:6:124:30 | ControlFlowNode for Attribute() |
| classes.py:124:23:124:28 | ControlFlowNode for SOURCE | classes.py:120:16:120:16 | SSA variable x |
| classes.py:154:12:154:31 | ControlFlowNode for Attribute() | classes.py:154:12:154:31 | ControlFlowNode for Attribute() |
| classes.py:161:6:161:17 | ControlFlowNode for Attribute | classes.py:20:15:20:15 | SSA variable x |
| classes.py:161:6:161:17 | ControlFlowNode for Attribute | classes.py:23:10:23:10 | SSA variable x |
| classes.py:162:8:162:19 | ControlFlowNode for Attribute | classes.py:20:15:20:15 | SSA variable x |
| classes.py:162:8:162:19 | ControlFlowNode for Attribute | classes.py:29:12:29:12 | SSA variable x |
| classes.py:163:6:163:17 | ControlFlowNode for Attribute | classes.py:20:15:20:15 | SSA variable x |
| classes.py:163:6:163:17 | ControlFlowNode for Attribute | classes.py:23:10:23:10 | SSA variable x |
| classes.py:164:6:164:17 | ControlFlowNode for Attribute | classes.py:20:15:20:15 | SSA variable x |
| classes.py:164:6:164:17 | ControlFlowNode for Attribute | classes.py:23:10:23:10 | SSA variable x |
| classes.py:174:12:174:31 | ControlFlowNode for Attribute() | classes.py:174:12:174:31 | ControlFlowNode for Attribute() |
| classes.py:329:7:329:22 | ControlFlowNode for set() | classes.py:329:7:329:22 | ControlFlowNode for set() |
| classes.py:333:7:333:28 | ControlFlowNode for frozenset() | classes.py:333:7:333:28 | ControlFlowNode for frozenset() |
| classes.py:337:7:337:26 | ControlFlowNode for dict() | classes.py:337:7:337:26 | ControlFlowNode for dict() |
| classes.py:458:28:458:51 | ControlFlowNode for dict() | classes.py:458:28:458:51 | ControlFlowNode for dict() |
| classes.py:575:12:575:24 | ControlFlowNode for Attribute() | classes.py:575:12:575:24 | ControlFlowNode for Attribute() |

14
python/ql/test/experimental/dataflow/coverage/localFlow.expected
View File

@@ -1,7 +1,7 @@
| test.py:24:5:24:5 | SSA variable x | test.py:23:1:23:33 | Exit node for Function test_tuple_with_local_flow |
| test.py:24:5:24:5 | SSA variable x | test.py:25:9:25:9 | ControlFlowNode for x |
| test.py:24:10:24:26 | ControlFlowNode for Tuple | test.py:24:5:24:5 | SSA variable x |
| test.py:25:5:25:5 | SSA variable y | test.py:26:5:26:11 | SSA variable y |
| test.py:25:5:25:5 | SSA variable y | test.py:26:10:26:10 | ControlFlowNode for y |
| test.py:25:9:25:12 | ControlFlowNode for Subscript | test.py:25:5:25:5 | SSA variable y |
| test.py:26:5:26:11 | SSA variable y | test.py:23:1:23:33 | Exit node for Function test_tuple_with_local_flow |
| test.py:32:5:32:5 | SSA variable x | test.py:31:1:31:33 | Exit node for Function test_tuple_with_local_flow |
| test.py:32:5:32:5 | SSA variable x | test.py:33:9:33:9 | ControlFlowNode for x |
| test.py:32:10:32:26 | ControlFlowNode for Tuple | test.py:32:5:32:5 | SSA variable x |
| test.py:33:5:33:5 | SSA variable y | test.py:34:5:34:11 | SSA variable y |
| test.py:33:5:33:5 | SSA variable y | test.py:34:10:34:10 | ControlFlowNode for y |
| test.py:33:9:33:12 | ControlFlowNode for Subscript | test.py:33:5:33:5 | SSA variable y |
| test.py:34:5:34:11 | SSA variable y | test.py:31:1:31:33 | Exit node for Function test_tuple_with_local_flow |