hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Python: tests for argument routing

Browse Source 
Needs annotations
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-08-12 15:43:07 +02:00
parent dd4d00293d
commit 20ffb3fd4c
10 changed files with 576 additions and 58 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
python/ql/test/experimental/dataflow/coverage/argumentRouting1.expected Normal file
View File

30
python/ql/test/experimental/dataflow/coverage/argumentRouting1.ql Normal file
View File

@@ -0,0 +1,30 @@
import experimental.dataflow.DataFlow
/**
* A configuration to check routing of arguments through magic methods.
*/
class ArgumentRoutingConfig extends DataFlow::Configuration {
ArgumentRoutingConfig() { this = "ArgumentRoutingConfig" }
override predicate isSource(DataFlow::Node node) {
exists(AssignmentDefinition def |
def.getVariable() = node.(DataFlow::EssaNode).getVar() and
def.getValue().(DataFlow::DataFlowCall).getCallable().getName().matches("With\\_%")
) and
node.(DataFlow::EssaNode).getVar().getName().matches("with\\_%")
}
override predicate isSink(DataFlow::Node node) {
exists(CallNode call |
call.getFunction().(NameNode).getId() = "SINK1" and
node.(DataFlow::CfgNode).getNode() = call.getAnArg()
)
}
}
from DataFlow::Node source, DataFlow::Node sink
where
source.getLocation().getFile().getBaseName() = "classes.py" and
sink.getLocation().getFile().getBaseName() = "classes.py" and
exists(ArgumentRoutingConfig cfg | cfg.hasFlow(source, sink))
select source, sink

0
python/ql/test/experimental/dataflow/coverage/argumentRouting2.expected Normal file
View File

26
python/ql/test/experimental/dataflow/coverage/argumentRouting2.ql Normal file
View File

@@ -0,0 +1,26 @@
import experimental.dataflow.DataFlow
/**
* A configuration to check routing of arguments through magic methods.
*/
class ArgumentRoutingConfig extends DataFlow::Configuration {
ArgumentRoutingConfig() { this = "ArgumentRoutingConfig" }
override predicate isSource(DataFlow::Node node) {
node.(DataFlow::CfgNode).getNode().(NameNode).getId() = "arg2"
}
override predicate isSink(DataFlow::Node node) {
exists(CallNode call |
call.getFunction().(NameNode).getId() = "SINK2" and
node.(DataFlow::CfgNode).getNode() = call.getAnArg()
)
}
}
from DataFlow::Node source, DataFlow::Node sink
where
source.getLocation().getFile().getBaseName() = "classes.py" and
sink.getLocation().getFile().getBaseName() = "classes.py" and
exists(ArgumentRoutingConfig cfg | cfg.hasFlow(source, sink))
select source, sink

0
python/ql/test/experimental/dataflow/coverage/argumentRouting3.expected Normal file
View File

26
python/ql/test/experimental/dataflow/coverage/argumentRouting3.ql Normal file
View File

@@ -0,0 +1,26 @@
import experimental.dataflow.DataFlow
/**
* A configuration to check routing of arguments through magic methods.
*/
class ArgumentRoutingConfig extends DataFlow::Configuration {
ArgumentRoutingConfig() { this = "ArgumentRoutingConfig" }
override predicate isSource(DataFlow::Node node) {
node.(DataFlow::CfgNode).getNode().(NameNode).getId() = "arg3"
}
override predicate isSink(DataFlow::Node node) {
exists(CallNode call |
call.getFunction().(NameNode).getId() = "SINK3" and
node.(DataFlow::CfgNode).getNode() = call.getAnArg()
)
}
}
from DataFlow::Node source, DataFlow::Node sink
where
source.getLocation().getFile().getBaseName() = "classes.py" and
sink.getLocation().getFile().getBaseName() = "classes.py" and
exists(ArgumentRoutingConfig cfg | cfg.hasFlow(source, sink))
select source, sink

0
python/ql/test/experimental/dataflow/coverage/argumentRouting4.expected Normal file
View File

26
python/ql/test/experimental/dataflow/coverage/argumentRouting4.ql Normal file
View File

@@ -0,0 +1,26 @@
import experimental.dataflow.DataFlow
/**
* A configuration to check routing of arguments through magic methods.
*/
class ArgumentRoutingConfig extends DataFlow::Configuration {
ArgumentRoutingConfig() { this = "ArgumentRoutingConfig" }
override predicate isSource(DataFlow::Node node) {
node.(DataFlow::CfgNode).getNode().(NameNode).getId() = "arg4"
}
override predicate isSink(DataFlow::Node node) {
exists(CallNode call |
call.getFunction().(NameNode).getId() = "SINK4" and
node.(DataFlow::CfgNode).getNode() = call.getAnArg()
)
}
}
from DataFlow::Node source, DataFlow::Node sink
where
source.getLocation().getFile().getBaseName() = "classes.py" and
sink.getLocation().getFile().getBaseName() = "classes.py" and
exists(ArgumentRoutingConfig cfg | cfg.hasFlow(source, sink))
select source, sink

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

File diff suppressed because it is too large Load Diff

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

@@ -1,6 +1,178 @@
| classes.py:19:12:19:31 | ControlFlowNode for Attribute() | classes.py:19:12:19:31 | ControlFlowNode for Attribute() |
| classes.py:174:7:174:22 | ControlFlowNode for set() | classes.py:174:7:174:22 | ControlFlowNode for set() |
| classes.py:178:7:178:28 | ControlFlowNode for frozenset() | classes.py:178:7:178:28 | ControlFlowNode for frozenset() |
| classes.py:182:7:182:26 | ControlFlowNode for dict() | classes.py:182:7:182:26 | ControlFlowNode for dict() |
| classes.py:303:28:303:51 | ControlFlowNode for dict() | classes.py:303:28:303:51 | ControlFlowNode for dict() |
| classes.py:466:12:466:24 | ControlFlowNode for Attribute() | classes.py:466:12:466:24 | ControlFlowNode for Attribute() |
| classes.py:30:11:30:13 | ControlFlowNode for cls | classes.py:11:11:11:11 | SSA variable x |
| classes.py:32:12:32:31 | ControlFlowNode for Attribute() | classes.py:32:12:32:31 | ControlFlowNode for Attribute() |
| classes.py:41:11:41:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:51:11:51:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:62:11:62:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:74:11:74:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:86:11:86:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:98:11:98:21 | ControlFlowNode for format_spec | classes.py:14:11:14:11 | SSA variable x |
| classes.py:99:11:99:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:119:11:119:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:120:11:120:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:133:11:133:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:134:11:134:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:147:11:147:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:148:11:148:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:160:11:160:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:161:11:161:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:173:11:173:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:174:11:174:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:187:11:187:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:188:11:188:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:201:11:201:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:211:7:211:22 | ControlFlowNode for set() | classes.py:211:7:211:22 | ControlFlowNode for set() |
| classes.py:215:7:215:28 | ControlFlowNode for frozenset() | classes.py:215:7:215:28 | ControlFlowNode for frozenset() |
| classes.py:219:7:219:26 | ControlFlowNode for dict() | classes.py:219:7:219:26 | ControlFlowNode for dict() |
| classes.py:225:11:225:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:243:11:243:14 | ControlFlowNode for name | classes.py:14:11:14:11 | SSA variable x |
| classes.py:244:11:244:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:256:11:256:14 | ControlFlowNode for name | classes.py:14:11:14:11 | SSA variable x |
| classes.py:257:11:257:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:269:11:269:15 | ControlFlowNode for value | classes.py:17:11:17:11 | SSA variable x |
| classes.py:270:11:270:14 | ControlFlowNode for name | classes.py:14:11:14:11 | SSA variable x |
| classes.py:271:11:271:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:283:11:283:14 | ControlFlowNode for name | classes.py:14:11:14:11 | SSA variable x |
| classes.py:284:11:284:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:295:11:295:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:312:11:312:15 | ControlFlowNode for owner | classes.py:17:11:17:11 | SSA variable x |
| classes.py:313:11:313:18 | ControlFlowNode for instance | classes.py:14:11:14:11 | SSA variable x |
| classes.py:314:11:314:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:327:11:327:15 | ControlFlowNode for value | classes.py:17:11:17:11 | SSA variable x |
| classes.py:328:11:328:18 | ControlFlowNode for instance | classes.py:14:11:14:11 | SSA variable x |
| classes.py:329:11:329:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:343:11:343:18 | ControlFlowNode for instance | classes.py:14:11:14:11 | SSA variable x |
| classes.py:344:11:344:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:357:11:357:14 | ControlFlowNode for name | classes.py:17:11:17:11 | SSA variable x |
| classes.py:358:11:358:15 | ControlFlowNode for owner | classes.py:14:11:14:11 | SSA variable x |
| classes.py:359:11:359:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:364:28:364:51 | ControlFlowNode for dict() | classes.py:364:28:364:51 | ControlFlowNode for dict() |
| classes.py:376:11:376:13 | ControlFlowNode for cls | classes.py:11:11:11:11 | SSA variable x |
| classes.py:393:11:393:14 | ControlFlowNode for kwds | classes.py:17:11:17:11 | SSA variable x |
| classes.py:394:11:394:15 | ControlFlowNode for bases | classes.py:14:11:14:11 | SSA variable x |
| classes.py:395:11:395:14 | ControlFlowNode for name | classes.py:11:11:11:11 | SSA variable x |
| classes.py:409:11:409:18 | ControlFlowNode for instance | classes.py:14:11:14:11 | SSA variable x |
| classes.py:410:11:410:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:423:11:423:18 | ControlFlowNode for subclass | classes.py:14:11:14:11 | SSA variable x |
| classes.py:424:11:424:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:439:11:439:13 | ControlFlowNode for key | classes.py:14:11:14:11 | SSA variable x |
| classes.py:440:11:440:13 | ControlFlowNode for cls | classes.py:11:11:11:11 | SSA variable x |
| classes.py:454:11:454:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:466:11:466:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:487:11:487:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:500:11:500:13 | ControlFlowNode for key | classes.py:14:11:14:11 | SSA variable x |
| classes.py:501:11:501:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:514:11:514:15 | ControlFlowNode for value | classes.py:17:11:17:11 | SSA variable x |
| classes.py:515:11:515:13 | ControlFlowNode for key | classes.py:14:11:14:11 | SSA variable x |
| classes.py:516:11:516:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:529:11:529:13 | ControlFlowNode for key | classes.py:14:11:14:11 | SSA variable x |
| classes.py:530:11:530:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:542:11:542:13 | ControlFlowNode for key | classes.py:14:11:14:11 | SSA variable x |
| classes.py:543:11:543:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:556:11:556:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:558:12:558:24 | ControlFlowNode for Attribute() | classes.py:558:12:558:24 | ControlFlowNode for Attribute() |
| classes.py:568:11:568:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:580:11:580:14 | ControlFlowNode for item | classes.py:14:11:14:11 | SSA variable x |
| classes.py:581:11:581:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:596:11:596:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:597:11:597:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:610:11:610:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:611:11:611:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:624:11:624:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:625:11:625:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:638:11:638:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:639:11:639:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:652:11:652:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:653:11:653:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:666:11:666:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:667:11:667:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:680:11:680:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:681:11:681:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:694:11:694:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:695:11:695:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:707:11:707:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:708:11:708:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:726:11:726:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:727:11:727:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:740:11:740:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:741:11:741:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:754:11:754:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:755:11:755:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:768:11:768:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:769:11:769:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:781:11:781:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:782:11:782:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:795:11:795:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:796:11:796:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:808:11:808:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:809:11:809:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:822:11:822:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:823:11:823:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:836:11:836:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:837:11:837:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:850:11:850:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:851:11:851:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:864:11:864:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:865:11:865:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:878:11:878:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:879:11:879:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:891:11:891:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:892:11:892:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:904:11:904:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:905:11:905:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:923:11:923:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:924:11:924:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:937:11:937:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:938:11:938:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:951:11:951:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:952:11:952:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:965:11:965:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:966:11:966:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:978:11:978:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:979:11:979:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:992:11:992:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:993:11:993:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1005:11:1005:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1006:11:1006:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1019:11:1019:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1020:11:1020:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1033:11:1033:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1034:11:1034:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1047:11:1047:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1048:11:1048:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1061:11:1061:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1062:11:1062:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1075:11:1075:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1076:11:1076:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1089:11:1089:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1090:11:1090:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1103:11:1103:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1104:11:1104:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1117:11:1117:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1118:11:1118:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1131:11:1131:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1132:11:1132:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1145:11:1145:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1146:11:1146:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1158:11:1158:15 | ControlFlowNode for other | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1159:11:1159:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1172:11:1172:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1184:11:1184:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1196:11:1196:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1208:11:1208:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1220:11:1220:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1232:11:1232:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1244:11:1244:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1256:11:1256:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1295:11:1295:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1307:11:1307:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1320:11:1320:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1333:11:1333:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1348:11:1348:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1384:11:1384:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1403:11:1403:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1422:11:1422:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1437:11:1437:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |
| classes.py:1455:11:1455:19 | ControlFlowNode for traceback | classes.py:20:11:20:11 | SSA variable x |
| classes.py:1456:11:1456:19 | ControlFlowNode for exc_value | classes.py:17:11:17:11 | SSA variable x |
| classes.py:1457:11:1457:18 | ControlFlowNode for exc_type | classes.py:14:11:14:11 | SSA variable x |
| classes.py:1458:11:1458:14 | ControlFlowNode for self | classes.py:11:11:11:11 | SSA variable x |