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

Python: full list of magic methods to be tested

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-08-05 13:30:30 +02:00
parent d7c08f732d
commit 81ad4552c9
2 changed files with 325 additions and 152 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,7 +1,9 @@
# User-defined methods, both instance methods and class methods, can be called in many non-standard ways
# i.e. differently from simply `c.f()` or `C.f()`. For example, a user-defined `__await__` function will
# be called by the syntactic constru
# This should cover all the class calls that we hope to support. It is based on https://docs.python.org/3/reference/datamodel.html.
# i.e. differently from simply `c.f()` or `C.f()`. For example, a user-defined `__await__` function on a
# class `C` will be called by the syntactic construct `await c` when `c` is an instance of `C`.
#
# These tests should cover all the class calls that we hope to support.
# It is based on https://docs.python.org/3/reference/datamodel.html, and headings refer there.
#
# Intended sources should be the variable `SOURCE` and intended sinks should be.
# arguments to the function `SINK` (see python/ql/test/experimental/dataflow/testConfig.qll).
@@ -10,10 +12,14 @@
# These are included so that we can easily evaluate the test code.
NONSOURCE = "not a source"
SOURCE = "source"
def SINK(x):
print(x)
def SINK_F(x):
print("Unexpected flow: ", x)
# Callable types
# These are the types to which the function call operation (see section Calls) can be applied:
@@ -78,11 +84,11 @@ def gen(x, count):
iter = gen(SOURCE, 1)
SINK(iter.__next__())
SINK(iter.__next__()) # throws StopIteration, FP
SINK_F(iter.__next__()) # throws StopIteration, FP
oiter = c.gen(SOURCE, 1)
SINK(oiter.__next__())
SINK(oiter.__next__()) # throws StopIteration, FP
SINK_F(oiter.__next__()) # throws StopIteration, FP
# Coroutine functions
# A function or method which is defined using async def is called a coroutine function. Such a function, when called, returns a coroutine object. It may contain await expressions, as well as async with and async for statements. See also the Coroutine Objects section.
@@ -95,14 +101,15 @@ SINK(asyncio.run(c.coro(SOURCE)))
class A:
def __await__(self, x):
yield x
def __await__(self):
# yield SOURCE -- see https://groups.google.com/g/dev-python/c/_lrrc-vp9TI?pli=1
return (yield from asyncio.coroutine(lambda: SOURCE)())
async def agen(x):
a = A()
return await a(SOURCE)
return await a
SINK(asyncio.run(agen(SOURCE))) # fails with TypeError: 'A' object is not callable (possible query?)
SINK(asyncio.run(agen(SOURCE)))
# Asynchronous generator functions
# A function or method which is defined using async def and which uses the yield statement is called a asynchronous generator function. Such a function, when called, returns an asynchronous iterator object which can be used in an async for statement to execute the body of the function.
@@ -120,3 +127,169 @@ SINK(asyncio.run(agen(SOURCE))) # fails with TypeError: 'A' object is not callab
# Class Instances
# Instances of arbitrary classes can be made callable by defining a __call__() method in their class.
class Customized:
a = NONSOURCE
b = NONSOURCE
def __new__(cls):
cls.a = SOURCE
return super().__new__(cls)
def __init__(self):
self.b = SOURCE
customized = Customized()
SINK(Customized.a)
SINK_F(Customized.b)
SINK(customized.a)
SINK(customized.b)
# def __del__(self):
# If a class sets __iter__() to None, calling iter() on its instances will raise a TypeError (without falling back to __getitem__()).
# 3.3.1. Basic customization
# object.__new__(cls[, ...])
# object.__init__(self[, ...])
# object.__del__(self)
# object.__repr__(self)
# object.__str__(self)¶
# object.__bytes__(self)
# object.__format__(self, format_spec)
# object.__lt__(self, other)
# object.__le__(self, other)
# object.__eq__(self, other)
# object.__ne__(self, other)
# object.__gt__(self, other)
# object.__ge__(self, other)
# object.__hash__(self)
# object.__bool__(self)
# len
# 3.3.2. Customizing attribute access
# object.__getattr__(self, name)
# object.__getattribute__(self, name)
# object.__setattr__(self, name, value)
# object.__delattr__(self, name)
# object.__dir__(self)
# 3.3.2.2. Implementing Descriptors
# object.__get__(self, instance, owner=None)
# object.__set__(self, instance, value)
# object.__delete__(self, instance)
# object.__set_name__(self, owner, name)
# 3.3.2.4. __slots__
# object.__slots__
# __weakref__
# __dict__
# 3.3.3. Customizing class creation
# classmethod object.__init_subclass__(cls)
# 3.3.3.1. Metaclasses
# By default, classes are constructed using type(). The class body is executed in a new namespace and the class name is bound locally to the result of type(name, bases, namespace).
# 3.3.3.2. Resolving MRO entries
# __mro_entries__
# 3.3.3.4. Preparing the class namespace
# metaclass.__prepare__(name, bases, **kwds)
# 3.3.4. Customizing instance and subclass checks
# class.__instancecheck__(self, instance)
# class.__subclasscheck__(self, subclass)
# 3.3.5. Emulating generic types
# classmethod object.__class_getitem__(cls, key)
# 3.3.6. Emulating callable objects
# object.__call__(self[, args...])
# 3.3.7. Emulating container types
# object.__len__(self)
# object.__length_hint__(self)
# object.__getitem__(self, key)
# object.__setitem__(self, key, value)
# object.__delitem__(self, key)
# object.__missing__(self, key)
# object.__iter__(self)
# object.__reversed__(self)
# object.__contains__(self, item)
# 3.3.8. Emulating numeric types
# object.__add__(self, other)
# object.__sub__(self, other)
# object.__mul__(self, other)
# object.__matmul__(self, other)
# object.__truediv__(self, other)
# object.__floordiv__(self, other)
# object.__mod__(self, other)
# object.__divmod__(self, other)
# object.__pow__(self, other[, modulo])
# object.__lshift__(self, other)
# object.__rshift__(self, other)
# object.__and__(self, other)
# object.__xor__(self, other)
# object.__or__(self, other)
# object.__radd__(self, other)
# object.__rsub__(self, other)
# object.__rmul__(self, other)
# object.__rmatmul__(self, other)
# object.__rtruediv__(self, other)
# object.__rfloordiv__(self, other)
# object.__rmod__(self, other)
# object.__rdivmod__(self, other)
# object.__rpow__(self, other[, modulo])
# object.__rlshift__(self, other)
# object.__rrshift__(self, other)
# object.__rand__(self, other)
# object.__rxor__(self, other)
# object.__ror__(self, other)
# object.__iadd__(self, other)
# object.__isub__(self, other)
# object.__imul__(self, other)
# object.__imatmul__(self, other)
# object.__itruediv__(self, other)
# object.__ifloordiv__(self, other)
# object.__imod__(self, other)
# object.__ipow__(self, other[, modulo])
# object.__ilshift__(self, other)
# object.__irshift__(self, other)
# object.__iand__(self, other)
# object.__ixor__(self, other)
# object.__ior__(self, other)
# object.__neg__(self)
# object.__pos__(self)
# object.__abs__(self)
# object.__invert__(self)
# object.__complex__(self)
# object.__int__(self)
# object.__float__(self)
# object.__index__(self)
# object.__round__(self[, ndigits])
# object.__trunc__(self)
# object.__floor__(self)
# object.__ceil__(self)
# 3.3.9. With Statement Context Managers
# object.__enter__(self)
# object.__exit__(self, exc_type, exc_value, traceback)
# 3.4.1. Awaitable Objects
# object.__await__(self)
# 3.4.2. Coroutine Objects
# coroutine.send(value)
# coroutine.throw(type[, value[, traceback]])
# coroutine.close()
# 3.4.3. Asynchronous Iterators
# object.__aiter__(self)
# object.__anext__(self)
# 3.4.4. Asynchronous Context Managers
# object.__aenter__(self)
# object.__aexit__(self, exc_type, exc_value, traceback)

286
python/ql/test/experimental/dataflow/coverage/dataflow.expected
View File

@@ -1,82 +1,82 @@
edges
| classes.py:13:1:13:6 | GSSA Variable SOURCE | classes.py:25:6:25:17 | ControlFlowNode for f() |
| classes.py:13:1:13:6 | GSSA Variable SOURCE | classes.py:25:6:25:17 | GSSA Variable SOURCE |
| classes.py:13:1:13:6 | GSSA Variable SOURCE | classes.py:25:8:25:13 | ControlFlowNode for SOURCE |
| classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:13:1:13:6 | GSSA Variable SOURCE |
| classes.py:25:6:25:17 | GSSA Variable SOURCE | classes.py:52:5:52:7 | ControlFlowNode for C() |
| classes.py:25:6:25:17 | GSSA Variable SOURCE | classes.py:58:6:58:24 | ControlFlowNode for Attribute() |
| classes.py:25:6:25:17 | GSSA Variable SOURCE | classes.py:58:6:58:24 | GSSA Variable SOURCE |
| classes.py:25:6:25:17 | GSSA Variable SOURCE | classes.py:58:15:58:20 | ControlFlowNode for SOURCE |
| classes.py:25:8:25:13 | ControlFlowNode for SOURCE | classes.py:25:6:25:17 | ControlFlowNode for f() |
| classes.py:52:1:52:1 | GSSA Variable c | classes.py:58:6:58:24 | ControlFlowNode for Attribute() |
| classes.py:52:1:52:1 | GSSA Variable c | classes.py:58:6:58:24 | GSSA Variable c |
| classes.py:52:5:52:7 | ControlFlowNode for C() | classes.py:52:1:52:1 | GSSA Variable c |
| classes.py:58:6:58:24 | GSSA Variable SOURCE | classes.py:59:6:59:27 | ControlFlowNode for Attribute() |
| classes.py:58:6:58:24 | GSSA Variable SOURCE | classes.py:59:18:59:23 | ControlFlowNode for SOURCE |
| classes.py:58:6:58:24 | GSSA Variable SOURCE | classes.py:60:6:60:27 | ControlFlowNode for func_obj() |
| classes.py:58:6:58:24 | GSSA Variable SOURCE | classes.py:67:6:67:26 | ControlFlowNode for Attribute() |
| classes.py:58:6:58:24 | GSSA Variable SOURCE | classes.py:67:6:67:26 | GSSA Variable SOURCE |
| classes.py:58:6:58:24 | GSSA Variable SOURCE | classes.py:67:20:67:25 | ControlFlowNode for SOURCE |
| classes.py:58:6:58:24 | GSSA Variable c | classes.py:59:6:59:27 | ControlFlowNode for Attribute() |
| classes.py:58:6:58:24 | GSSA Variable c | classes.py:59:6:59:27 | GSSA Variable c |
| classes.py:58:15:58:20 | ControlFlowNode for SOURCE | classes.py:58:6:58:24 | ControlFlowNode for Attribute() |
| classes.py:59:6:59:27 | GSSA Variable c | classes.py:60:6:60:27 | ControlFlowNode for func_obj() |
| classes.py:59:6:59:27 | GSSA Variable c | classes.py:60:6:60:27 | GSSA Variable c |
| classes.py:59:18:59:23 | ControlFlowNode for SOURCE | classes.py:59:6:59:27 | ControlFlowNode for Attribute() |
| classes.py:60:6:60:27 | GSSA Variable c | classes.py:67:6:67:26 | ControlFlowNode for Attribute() |
| classes.py:60:6:60:27 | GSSA Variable c | classes.py:67:6:67:26 | GSSA Variable c |
| classes.py:67:6:67:26 | GSSA Variable SOURCE | classes.py:68:6:68:26 | ControlFlowNode for Attribute() |
| classes.py:67:6:67:26 | GSSA Variable SOURCE | classes.py:68:6:68:26 | GSSA Variable SOURCE |
| classes.py:67:6:67:26 | GSSA Variable SOURCE | classes.py:68:20:68:25 | ControlFlowNode for SOURCE |
| classes.py:67:6:67:26 | GSSA Variable c | classes.py:68:6:68:26 | ControlFlowNode for Attribute() |
| classes.py:67:6:67:26 | GSSA Variable c | classes.py:69:6:69:26 | ControlFlowNode for c_func_obj() |
| classes.py:67:6:67:26 | GSSA Variable c | classes.py:79:8:79:21 | ControlFlowNode for gen() |
| classes.py:67:6:67:26 | GSSA Variable c | classes.py:80:6:80:20 | ControlFlowNode for Attribute() |
| classes.py:67:6:67:26 | GSSA Variable c | classes.py:81:6:81:20 | ControlFlowNode for Attribute() |
| classes.py:67:6:67:26 | GSSA Variable c | classes.py:83:9:83:24 | ControlFlowNode for Attribute() |
| classes.py:67:6:67:26 | GSSA Variable c | classes.py:83:9:83:24 | GSSA Variable c |
| classes.py:67:20:67:25 | ControlFlowNode for SOURCE | classes.py:67:6:67:26 | ControlFlowNode for Attribute() |
| classes.py:68:6:68:26 | GSSA Variable SOURCE | classes.py:69:6:69:26 | ControlFlowNode for c_func_obj() |
| classes.py:68:6:68:26 | GSSA Variable SOURCE | classes.py:79:8:79:21 | ControlFlowNode for gen() |
| classes.py:68:6:68:26 | GSSA Variable SOURCE | classes.py:79:8:79:21 | GSSA Variable SOURCE |
| classes.py:68:20:68:25 | ControlFlowNode for SOURCE | classes.py:68:6:68:26 | ControlFlowNode for Attribute() |
| classes.py:79:1:79:4 | GSSA Variable iter | classes.py:80:6:80:20 | ControlFlowNode for Attribute() |
| classes.py:79:1:79:4 | GSSA Variable iter | classes.py:80:6:80:20 | GSSA Variable iter |
| classes.py:79:8:79:21 | ControlFlowNode for gen() | classes.py:79:1:79:4 | GSSA Variable iter |
| classes.py:79:8:79:21 | GSSA Variable SOURCE | classes.py:80:6:80:20 | ControlFlowNode for Attribute() |
| classes.py:79:8:79:21 | GSSA Variable SOURCE | classes.py:81:6:81:20 | ControlFlowNode for Attribute() |
| classes.py:79:8:79:21 | GSSA Variable SOURCE | classes.py:83:9:83:24 | ControlFlowNode for Attribute() |
| classes.py:79:8:79:21 | GSSA Variable SOURCE | classes.py:83:9:83:24 | GSSA Variable SOURCE |
| classes.py:80:6:80:20 | GSSA Variable iter | classes.py:81:6:81:20 | ControlFlowNode for Attribute() |
| classes.py:80:6:80:20 | GSSA Variable iter | classes.py:81:6:81:20 | GSSA Variable iter |
| classes.py:81:6:81:20 | GSSA Variable iter | classes.py:83:9:83:24 | ControlFlowNode for Attribute() |
| classes.py:81:6:81:20 | GSSA Variable iter | classes.py:84:6:84:21 | ControlFlowNode for Attribute() |
| classes.py:81:6:81:20 | GSSA Variable iter | classes.py:85:6:85:21 | ControlFlowNode for Attribute() |
| classes.py:81:6:81:20 | GSSA Variable iter | classes.py:93:6:93:30 | ControlFlowNode for Attribute() |
| classes.py:81:6:81:20 | GSSA Variable iter | classes.py:94:6:94:32 | ControlFlowNode for Attribute() |
| classes.py:81:6:81:20 | GSSA Variable iter | classes.py:105:6:105:30 | ControlFlowNode for Attribute() |
| classes.py:83:1:83:5 | GSSA Variable oiter | classes.py:84:6:84:21 | ControlFlowNode for Attribute() |
| classes.py:83:1:83:5 | GSSA Variable oiter | classes.py:84:6:84:21 | GSSA Variable oiter |
| classes.py:83:9:83:24 | ControlFlowNode for Attribute() | classes.py:83:1:83:5 | GSSA Variable oiter |
| classes.py:83:9:83:24 | GSSA Variable SOURCE | classes.py:84:6:84:21 | ControlFlowNode for Attribute() |
| classes.py:83:9:83:24 | GSSA Variable SOURCE | classes.py:85:6:85:21 | ControlFlowNode for Attribute() |
| classes.py:83:9:83:24 | GSSA Variable SOURCE | classes.py:93:18:93:29 | GSSA Variable SOURCE |
| classes.py:83:9:83:24 | GSSA Variable c | classes.py:84:6:84:21 | ControlFlowNode for Attribute() |
| classes.py:83:9:83:24 | GSSA Variable c | classes.py:85:6:85:21 | ControlFlowNode for Attribute() |
| classes.py:83:9:83:24 | GSSA Variable c | classes.py:93:6:93:30 | ControlFlowNode for Attribute() |
| classes.py:83:9:83:24 | GSSA Variable c | classes.py:94:18:94:31 | GSSA Variable c |
| classes.py:84:6:84:21 | GSSA Variable oiter | classes.py:85:6:85:21 | ControlFlowNode for Attribute() |
| classes.py:84:6:84:21 | GSSA Variable oiter | classes.py:85:6:85:21 | GSSA Variable oiter |
| classes.py:85:6:85:21 | GSSA Variable oiter | classes.py:93:6:93:30 | ControlFlowNode for Attribute() |
| classes.py:85:6:85:21 | GSSA Variable oiter | classes.py:94:6:94:32 | ControlFlowNode for Attribute() |
| classes.py:85:6:85:21 | GSSA Variable oiter | classes.py:105:6:105:30 | ControlFlowNode for Attribute() |
| classes.py:93:18:93:29 | GSSA Variable SOURCE | classes.py:93:6:93:30 | ControlFlowNode for Attribute() |
| classes.py:93:18:93:29 | GSSA Variable SOURCE | classes.py:94:18:94:31 | GSSA Variable SOURCE |
| classes.py:94:18:94:31 | GSSA Variable SOURCE | classes.py:94:6:94:32 | ControlFlowNode for Attribute() |
| classes.py:94:18:94:31 | GSSA Variable SOURCE | classes.py:105:18:105:29 | GSSA Variable SOURCE |
| classes.py:94:18:94:31 | GSSA Variable c | classes.py:94:6:94:32 | ControlFlowNode for Attribute() |
| classes.py:94:18:94:31 | GSSA Variable c | classes.py:105:6:105:30 | ControlFlowNode for Attribute() |
| classes.py:105:18:105:29 | GSSA Variable SOURCE | classes.py:105:6:105:30 | ControlFlowNode for Attribute() |
| classes.py:16:1:16:6 | GSSA Variable SOURCE | classes.py:31:6:31:17 | ControlFlowNode for f() |
| classes.py:16:1:16:6 | GSSA Variable SOURCE | classes.py:31:6:31:17 | GSSA Variable SOURCE |
| classes.py:16:1:16:6 | GSSA Variable SOURCE | classes.py:31:8:31:13 | ControlFlowNode for SOURCE |
| classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:16:1:16:6 | GSSA Variable SOURCE |
| classes.py:31:6:31:17 | GSSA Variable SOURCE | classes.py:58:5:58:7 | ControlFlowNode for C() |
| classes.py:31:6:31:17 | GSSA Variable SOURCE | classes.py:64:6:64:24 | ControlFlowNode for Attribute() |
| classes.py:31:6:31:17 | GSSA Variable SOURCE | classes.py:64:6:64:24 | GSSA Variable SOURCE |
| classes.py:31:6:31:17 | GSSA Variable SOURCE | classes.py:64:15:64:20 | ControlFlowNode for SOURCE |
| classes.py:31:8:31:13 | ControlFlowNode for SOURCE | classes.py:31:6:31:17 | ControlFlowNode for f() |
| classes.py:58:1:58:1 | GSSA Variable c | classes.py:64:6:64:24 | ControlFlowNode for Attribute() |
| classes.py:58:1:58:1 | GSSA Variable c | classes.py:64:6:64:24 | GSSA Variable c |
| classes.py:58:5:58:7 | ControlFlowNode for C() | classes.py:58:1:58:1 | GSSA Variable c |
| classes.py:64:6:64:24 | GSSA Variable SOURCE | classes.py:65:6:65:27 | ControlFlowNode for Attribute() |
| classes.py:64:6:64:24 | GSSA Variable SOURCE | classes.py:65:18:65:23 | ControlFlowNode for SOURCE |
| classes.py:64:6:64:24 | GSSA Variable SOURCE | classes.py:66:6:66:27 | ControlFlowNode for func_obj() |
| classes.py:64:6:64:24 | GSSA Variable SOURCE | classes.py:73:6:73:26 | ControlFlowNode for Attribute() |
| classes.py:64:6:64:24 | GSSA Variable SOURCE | classes.py:73:6:73:26 | GSSA Variable SOURCE |
| classes.py:64:6:64:24 | GSSA Variable SOURCE | classes.py:73:20:73:25 | ControlFlowNode for SOURCE |
| classes.py:64:6:64:24 | GSSA Variable c | classes.py:65:6:65:27 | ControlFlowNode for Attribute() |
| classes.py:64:6:64:24 | GSSA Variable c | classes.py:65:6:65:27 | GSSA Variable c |
| classes.py:64:15:64:20 | ControlFlowNode for SOURCE | classes.py:64:6:64:24 | ControlFlowNode for Attribute() |
| classes.py:65:6:65:27 | GSSA Variable c | classes.py:66:6:66:27 | ControlFlowNode for func_obj() |
| classes.py:65:6:65:27 | GSSA Variable c | classes.py:66:6:66:27 | GSSA Variable c |
| classes.py:65:18:65:23 | ControlFlowNode for SOURCE | classes.py:65:6:65:27 | ControlFlowNode for Attribute() |
| classes.py:66:6:66:27 | GSSA Variable c | classes.py:73:6:73:26 | ControlFlowNode for Attribute() |
| classes.py:66:6:66:27 | GSSA Variable c | classes.py:73:6:73:26 | GSSA Variable c |
| classes.py:73:6:73:26 | GSSA Variable SOURCE | classes.py:74:6:74:26 | ControlFlowNode for Attribute() |
| classes.py:73:6:73:26 | GSSA Variable SOURCE | classes.py:74:6:74:26 | GSSA Variable SOURCE |
| classes.py:73:6:73:26 | GSSA Variable SOURCE | classes.py:74:20:74:25 | ControlFlowNode for SOURCE |
| classes.py:73:6:73:26 | GSSA Variable c | classes.py:74:6:74:26 | ControlFlowNode for Attribute() |
| classes.py:73:6:73:26 | GSSA Variable c | classes.py:75:6:75:26 | ControlFlowNode for c_func_obj() |
| classes.py:73:6:73:26 | GSSA Variable c | classes.py:85:8:85:21 | ControlFlowNode for gen() |
| classes.py:73:6:73:26 | GSSA Variable c | classes.py:86:6:86:20 | ControlFlowNode for Attribute() |
| classes.py:73:6:73:26 | GSSA Variable c | classes.py:87:8:87:22 | ControlFlowNode for Attribute() |
| classes.py:73:6:73:26 | GSSA Variable c | classes.py:89:9:89:24 | ControlFlowNode for Attribute() |
| classes.py:73:6:73:26 | GSSA Variable c | classes.py:89:9:89:24 | GSSA Variable c |
| classes.py:73:20:73:25 | ControlFlowNode for SOURCE | classes.py:73:6:73:26 | ControlFlowNode for Attribute() |
| classes.py:74:6:74:26 | GSSA Variable SOURCE | classes.py:75:6:75:26 | ControlFlowNode for c_func_obj() |
| classes.py:74:6:74:26 | GSSA Variable SOURCE | classes.py:85:8:85:21 | ControlFlowNode for gen() |
| classes.py:74:6:74:26 | GSSA Variable SOURCE | classes.py:85:8:85:21 | GSSA Variable SOURCE |
| classes.py:74:20:74:25 | ControlFlowNode for SOURCE | classes.py:74:6:74:26 | ControlFlowNode for Attribute() |
| classes.py:85:1:85:4 | GSSA Variable iter | classes.py:86:6:86:20 | ControlFlowNode for Attribute() |
| classes.py:85:1:85:4 | GSSA Variable iter | classes.py:86:6:86:20 | GSSA Variable iter |
| classes.py:85:8:85:21 | ControlFlowNode for gen() | classes.py:85:1:85:4 | GSSA Variable iter |
| classes.py:85:8:85:21 | GSSA Variable SOURCE | classes.py:86:6:86:20 | ControlFlowNode for Attribute() |
| classes.py:85:8:85:21 | GSSA Variable SOURCE | classes.py:87:8:87:22 | ControlFlowNode for Attribute() |
| classes.py:85:8:85:21 | GSSA Variable SOURCE | classes.py:89:9:89:24 | ControlFlowNode for Attribute() |
| classes.py:85:8:85:21 | GSSA Variable SOURCE | classes.py:89:9:89:24 | GSSA Variable SOURCE |
| classes.py:86:6:86:20 | GSSA Variable iter | classes.py:87:8:87:22 | ControlFlowNode for Attribute() |
| classes.py:86:6:86:20 | GSSA Variable iter | classes.py:87:8:87:22 | GSSA Variable iter |
| classes.py:87:8:87:22 | GSSA Variable iter | classes.py:89:9:89:24 | ControlFlowNode for Attribute() |
| classes.py:87:8:87:22 | GSSA Variable iter | classes.py:90:6:90:21 | ControlFlowNode for Attribute() |
| classes.py:87:8:87:22 | GSSA Variable iter | classes.py:91:8:91:23 | ControlFlowNode for Attribute() |
| classes.py:87:8:87:22 | GSSA Variable iter | classes.py:99:6:99:30 | ControlFlowNode for Attribute() |
| classes.py:87:8:87:22 | GSSA Variable iter | classes.py:100:6:100:32 | ControlFlowNode for Attribute() |
| classes.py:87:8:87:22 | GSSA Variable iter | classes.py:112:6:112:30 | ControlFlowNode for Attribute() |
| classes.py:89:1:89:5 | GSSA Variable oiter | classes.py:90:6:90:21 | ControlFlowNode for Attribute() |
| classes.py:89:1:89:5 | GSSA Variable oiter | classes.py:90:6:90:21 | GSSA Variable oiter |
| classes.py:89:9:89:24 | ControlFlowNode for Attribute() | classes.py:89:1:89:5 | GSSA Variable oiter |
| classes.py:89:9:89:24 | GSSA Variable SOURCE | classes.py:90:6:90:21 | ControlFlowNode for Attribute() |
| classes.py:89:9:89:24 | GSSA Variable SOURCE | classes.py:91:8:91:23 | ControlFlowNode for Attribute() |
| classes.py:89:9:89:24 | GSSA Variable SOURCE | classes.py:99:18:99:29 | GSSA Variable SOURCE |
| classes.py:89:9:89:24 | GSSA Variable c | classes.py:90:6:90:21 | ControlFlowNode for Attribute() |
| classes.py:89:9:89:24 | GSSA Variable c | classes.py:91:8:91:23 | ControlFlowNode for Attribute() |
| classes.py:89:9:89:24 | GSSA Variable c | classes.py:99:6:99:30 | ControlFlowNode for Attribute() |
| classes.py:89:9:89:24 | GSSA Variable c | classes.py:100:18:100:31 | GSSA Variable c |
| classes.py:90:6:90:21 | GSSA Variable oiter | classes.py:91:8:91:23 | ControlFlowNode for Attribute() |
| classes.py:90:6:90:21 | GSSA Variable oiter | classes.py:91:8:91:23 | GSSA Variable oiter |
| classes.py:91:8:91:23 | GSSA Variable oiter | classes.py:99:6:99:30 | ControlFlowNode for Attribute() |
| classes.py:91:8:91:23 | GSSA Variable oiter | classes.py:100:6:100:32 | ControlFlowNode for Attribute() |
| classes.py:91:8:91:23 | GSSA Variable oiter | classes.py:112:6:112:30 | ControlFlowNode for Attribute() |
| classes.py:99:18:99:29 | GSSA Variable SOURCE | classes.py:99:6:99:30 | ControlFlowNode for Attribute() |
| classes.py:99:18:99:29 | GSSA Variable SOURCE | classes.py:100:18:100:31 | GSSA Variable SOURCE |
| classes.py:100:18:100:31 | GSSA Variable SOURCE | classes.py:100:6:100:32 | ControlFlowNode for Attribute() |
| classes.py:100:18:100:31 | GSSA Variable SOURCE | classes.py:112:18:112:29 | GSSA Variable SOURCE |
| classes.py:100:18:100:31 | GSSA Variable c | classes.py:100:6:100:32 | ControlFlowNode for Attribute() |
| classes.py:100:18:100:31 | GSSA Variable c | classes.py:112:6:112:30 | ControlFlowNode for Attribute() |
| classes.py:112:18:112:29 | GSSA Variable SOURCE | classes.py:112:6:112:30 | ControlFlowNode for Attribute() |
| test.py:35:9:35:14 | ControlFlowNode for SOURCE | test.py:36:10:36:10 | ControlFlowNode for x |
| test.py:40:9:40:16 | ControlFlowNode for Str | test.py:41:10:41:10 | ControlFlowNode for x |
| test.py:44:9:44:17 | ControlFlowNode for Str | test.py:45:10:45:10 | ControlFlowNode for x |
@@ -87,52 +87,52 @@ edges
| test.py:297:12:297:17 | ControlFlowNode for SOURCE | test.py:297:10:297:18 | ControlFlowNode for f() |
| test.py:301:28:301:33 | ControlFlowNode for SOURCE | test.py:301:10:301:34 | ControlFlowNode for second() |
nodes
| classes.py:13:1:13:6 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:13:10:13:17 | ControlFlowNode for Str | semmle.label | ControlFlowNode for Str |
| classes.py:25:6:25:17 | ControlFlowNode for f() | semmle.label | ControlFlowNode for f() |
| classes.py:25:6:25:17 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:25:8:25:13 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:52:1:52:1 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:52:5:52:7 | ControlFlowNode for C() | semmle.label | ControlFlowNode for C() |
| classes.py:58:6:58:24 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:58:6:58:24 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:58:6:58:24 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:58:15:58:20 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:59:6:59:27 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:59:6:59:27 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:59:18:59:23 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:60:6:60:27 | ControlFlowNode for func_obj() | semmle.label | ControlFlowNode for func_obj() |
| classes.py:60:6:60:27 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:67:6:67:26 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:67:6:67:26 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:67:6:67:26 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:67:20:67:25 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:68:6:68:26 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:68:6:68:26 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:68:20:68:25 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:69:6:69:26 | ControlFlowNode for c_func_obj() | semmle.label | ControlFlowNode for c_func_obj() |
| classes.py:79:1:79:4 | GSSA Variable iter | semmle.label | GSSA Variable iter |
| classes.py:79:8:79:21 | ControlFlowNode for gen() | semmle.label | ControlFlowNode for gen() |
| classes.py:79:8:79:21 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:80:6:80:20 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:80:6:80:20 | GSSA Variable iter | semmle.label | GSSA Variable iter |
| classes.py:81:6:81:20 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:81:6:81:20 | GSSA Variable iter | semmle.label | GSSA Variable iter |
| classes.py:83:1:83:5 | GSSA Variable oiter | semmle.label | GSSA Variable oiter |
| classes.py:83:9:83:24 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:83:9:83:24 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:83:9:83:24 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:84:6:84:21 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:84:6:84:21 | GSSA Variable oiter | semmle.label | GSSA Variable oiter |
| classes.py:85:6:85:21 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:85:6:85:21 | GSSA Variable oiter | semmle.label | GSSA Variable oiter |
| classes.py:93:6:93:30 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:93:18:93:29 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:94:6:94:32 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:94:18:94:31 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:94:18:94:31 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:105:6:105:30 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:105:18:105:29 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:16:1:16:6 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:16:10:16:17 | ControlFlowNode for Str | semmle.label | ControlFlowNode for Str |
| classes.py:31:6:31:17 | ControlFlowNode for f() | semmle.label | ControlFlowNode for f() |
| classes.py:31:6:31:17 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:31:8:31:13 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:58:1:58:1 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:58:5:58:7 | ControlFlowNode for C() | semmle.label | ControlFlowNode for C() |
| classes.py:64:6:64:24 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:64:6:64:24 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:64:6:64:24 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:64:15:64:20 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:65:6:65:27 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:65:6:65:27 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:65:18:65:23 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:66:6:66:27 | ControlFlowNode for func_obj() | semmle.label | ControlFlowNode for func_obj() |
| classes.py:66:6:66:27 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:73:6:73:26 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:73:6:73:26 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:73:6:73:26 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:73:20:73:25 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:74:6:74:26 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:74:6:74:26 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:74:20:74:25 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| classes.py:75:6:75:26 | ControlFlowNode for c_func_obj() | semmle.label | ControlFlowNode for c_func_obj() |
| classes.py:85:1:85:4 | GSSA Variable iter | semmle.label | GSSA Variable iter |
| classes.py:85:8:85:21 | ControlFlowNode for gen() | semmle.label | ControlFlowNode for gen() |
| classes.py:85:8:85:21 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:86:6:86:20 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:86:6:86:20 | GSSA Variable iter | semmle.label | GSSA Variable iter |
| classes.py:87:8:87:22 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:87:8:87:22 | GSSA Variable iter | semmle.label | GSSA Variable iter |
| classes.py:89:1:89:5 | GSSA Variable oiter | semmle.label | GSSA Variable oiter |
| classes.py:89:9:89:24 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:89:9:89:24 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:89:9:89:24 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:90:6:90:21 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:90:6:90:21 | GSSA Variable oiter | semmle.label | GSSA Variable oiter |
| classes.py:91:8:91:23 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:91:8:91:23 | GSSA Variable oiter | semmle.label | GSSA Variable oiter |
| classes.py:99:6:99:30 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:99:18:99:29 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:100:6:100:32 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:100:18:100:31 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| classes.py:100:18:100:31 | GSSA Variable c | semmle.label | GSSA Variable c |
| classes.py:112:6:112:30 | ControlFlowNode for Attribute() | semmle.label | ControlFlowNode for Attribute() |
| classes.py:112:18:112:29 | GSSA Variable SOURCE | semmle.label | GSSA Variable SOURCE |
| test.py:35:9:35:14 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
| test.py:36:10:36:10 | ControlFlowNode for x | semmle.label | ControlFlowNode for x |
| test.py:40:9:40:16 | ControlFlowNode for Str | semmle.label | ControlFlowNode for Str |
@@ -152,25 +152,25 @@ nodes
| test.py:301:10:301:34 | ControlFlowNode for second() | semmle.label | ControlFlowNode for second() |
| test.py:301:28:301:33 | ControlFlowNode for SOURCE | semmle.label | ControlFlowNode for SOURCE |
#select
| classes.py:25:6:25:17 | ControlFlowNode for f() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:25:6:25:17 | ControlFlowNode for f() | <message> |
| classes.py:25:6:25:17 | ControlFlowNode for f() | classes.py:25:8:25:13 | ControlFlowNode for SOURCE | classes.py:25:6:25:17 | ControlFlowNode for f() | <message> |
| classes.py:58:6:58:24 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:58:6:58:24 | ControlFlowNode for Attribute() | <message> |
| classes.py:58:6:58:24 | ControlFlowNode for Attribute() | classes.py:58:15:58:20 | ControlFlowNode for SOURCE | classes.py:58:6:58:24 | ControlFlowNode for Attribute() | <message> |
| classes.py:59:6:59:27 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:59:6:59:27 | ControlFlowNode for Attribute() | <message> |
| classes.py:59:6:59:27 | ControlFlowNode for Attribute() | classes.py:59:18:59:23 | ControlFlowNode for SOURCE | classes.py:59:6:59:27 | ControlFlowNode for Attribute() | <message> |
| classes.py:60:6:60:27 | ControlFlowNode for func_obj() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:60:6:60:27 | ControlFlowNode for func_obj() | <message> |
| classes.py:67:6:67:26 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:67:6:67:26 | ControlFlowNode for Attribute() | <message> |
| classes.py:67:6:67:26 | ControlFlowNode for Attribute() | classes.py:67:20:67:25 | ControlFlowNode for SOURCE | classes.py:67:6:67:26 | ControlFlowNode for Attribute() | <message> |
| classes.py:68:6:68:26 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:68:6:68:26 | ControlFlowNode for Attribute() | <message> |
| classes.py:68:6:68:26 | ControlFlowNode for Attribute() | classes.py:68:20:68:25 | ControlFlowNode for SOURCE | classes.py:68:6:68:26 | ControlFlowNode for Attribute() | <message> |
| classes.py:69:6:69:26 | ControlFlowNode for c_func_obj() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:69:6:69:26 | ControlFlowNode for c_func_obj() | <message> |
| classes.py:80:6:80:20 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:80:6:80:20 | ControlFlowNode for Attribute() | <message> |
| classes.py:81:6:81:20 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:81:6:81:20 | ControlFlowNode for Attribute() | <message> |
| classes.py:84:6:84:21 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:84:6:84:21 | ControlFlowNode for Attribute() | <message> |
| classes.py:85:6:85:21 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:85:6:85:21 | ControlFlowNode for Attribute() | <message> |
| classes.py:93:6:93:30 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:93:6:93:30 | ControlFlowNode for Attribute() | <message> |
| classes.py:94:6:94:32 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:94:6:94:32 | ControlFlowNode for Attribute() | <message> |
| classes.py:105:6:105:30 | ControlFlowNode for Attribute() | classes.py:13:10:13:17 | ControlFlowNode for Str | classes.py:105:6:105:30 | ControlFlowNode for Attribute() | <message> |
| classes.py:31:6:31:17 | ControlFlowNode for f() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:31:6:31:17 | ControlFlowNode for f() | <message> |
| classes.py:31:6:31:17 | ControlFlowNode for f() | classes.py:31:8:31:13 | ControlFlowNode for SOURCE | classes.py:31:6:31:17 | ControlFlowNode for f() | <message> |
| classes.py:64:6:64:24 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:64:6:64:24 | ControlFlowNode for Attribute() | <message> |
| classes.py:64:6:64:24 | ControlFlowNode for Attribute() | classes.py:64:15:64:20 | ControlFlowNode for SOURCE | classes.py:64:6:64:24 | ControlFlowNode for Attribute() | <message> |
| classes.py:65:6:65:27 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:65:6:65:27 | ControlFlowNode for Attribute() | <message> |
| classes.py:65:6:65:27 | ControlFlowNode for Attribute() | classes.py:65:18:65:23 | ControlFlowNode for SOURCE | classes.py:65:6:65:27 | ControlFlowNode for Attribute() | <message> |
| classes.py:66:6:66:27 | ControlFlowNode for func_obj() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:66:6:66:27 | ControlFlowNode for func_obj() | <message> |
| classes.py:73:6:73:26 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:73:6:73:26 | ControlFlowNode for Attribute() | <message> |
| classes.py:73:6:73:26 | ControlFlowNode for Attribute() | classes.py:73:20:73:25 | ControlFlowNode for SOURCE | classes.py:73:6:73:26 | ControlFlowNode for Attribute() | <message> |
| classes.py:74:6:74:26 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:74:6:74:26 | ControlFlowNode for Attribute() | <message> |
| classes.py:74:6:74:26 | ControlFlowNode for Attribute() | classes.py:74:20:74:25 | ControlFlowNode for SOURCE | classes.py:74:6:74:26 | ControlFlowNode for Attribute() | <message> |
| classes.py:75:6:75:26 | ControlFlowNode for c_func_obj() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:75:6:75:26 | ControlFlowNode for c_func_obj() | <message> |
| classes.py:86:6:86:20 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:86:6:86:20 | ControlFlowNode for Attribute() | <message> |
| classes.py:87:8:87:22 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:87:8:87:22 | ControlFlowNode for Attribute() | <message> |
| classes.py:90:6:90:21 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:90:6:90:21 | ControlFlowNode for Attribute() | <message> |
| classes.py:91:8:91:23 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:91:8:91:23 | ControlFlowNode for Attribute() | <message> |
| classes.py:99:6:99:30 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:99:6:99:30 | ControlFlowNode for Attribute() | <message> |
| classes.py:100:6:100:32 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:100:6:100:32 | ControlFlowNode for Attribute() | <message> |
| classes.py:112:6:112:30 | ControlFlowNode for Attribute() | classes.py:16:10:16:17 | ControlFlowNode for Str | classes.py:112:6:112:30 | ControlFlowNode for Attribute() | <message> |
| test.py:36:10:36:10 | ControlFlowNode for x | test.py:35:9:35:14 | ControlFlowNode for SOURCE | test.py:36:10:36:10 | ControlFlowNode for x | <message> |
| test.py:41:10:41:10 | ControlFlowNode for x | test.py:40:9:40:16 | ControlFlowNode for Str | test.py:41:10:41:10 | ControlFlowNode for x | <message> |
| test.py:45:10:45:10 | ControlFlowNode for x | test.py:44:9:44:17 | ControlFlowNode for Str | test.py:45:10:45:10 | ControlFlowNode for x | <message> |