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

Python points-to: Fix up some test results.

Browse Source
This commit is contained in:
Mark Shannon
2019-05-10 16:03:27 +01:00
parent 2db0bd9483
commit 992ee2f150
4 changed files with 62 additions and 172 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
python/ql/test/library-tests/PointsTo/new/PointsToUnknown.expected
View File

@@ -130,6 +130,7 @@
| c_tests.py:32 | ControlFlowNode for unknown | 32 |
| c_tests.py:32 | ControlFlowNode for unknown() | 32 |
| c_tests.py:32 | ControlFlowNode for y | 4 |
| c_tests.py:34 | ControlFlowNode for Attribute | 32 |
| c_tests.py:34 | ControlFlowNode for Attribute | 34 |
| c_tests.py:34 | ControlFlowNode for y | 4 |
| c_tests.py:37 | ControlFlowNode for cond | 37 |
@@ -198,7 +199,9 @@
| h_classes.py:17 | ControlFlowNode for arg | 14 |
| h_classes.py:18 | ControlFlowNode for name | 18 |
| h_classes.py:26 | ControlFlowNode for choice | 25 |
| h_classes.py:26 | ControlFlowNode for choice | 42 |
| h_classes.py:28 | ControlFlowNode for choice | 25 |
| h_classes.py:28 | ControlFlowNode for choice | 42 |
| h_classes.py:42 | ControlFlowNode for unknown | 42 |
| h_classes.py:42 | ControlFlowNode for unknown() | 42 |
| r_regressions.py:9 | ControlFlowNode for Attribute | 9 |

210
python/ql/test/library-tests/PointsTo/new/SSA.expected
View File

@@ -1,15 +1,11 @@
WARNING: Predicate ssa_variable_points_to has been deprecated and may be removed in future (SSA.ql:10,1-33)
| __init__.py:0 | __name___0 = ScopeEntryDefinition | 'code' | builtin-class str |
| __init__.py:0 | __name___0 = ScopeEntryDefinition | 'code.package' | builtin-class str |
| __init__.py:0 | __name___0 = ScopeEntryDefinition | 'code.test_package' | builtin-class str |
| __init__.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| __init__.py:0 | module2_0 = ImplicitSubModuleDefinition | Module code.package.module2 | builtin-class module |
| __init__.py:0 | moduleX_0 = ImplicitSubModuleDefinition | Module code.package.moduleX | builtin-class module |
| __init__.py:0 | sys_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| __init__.py:1 | __name___1 = ImportStarRefinement(__name___0) | 'code.test_package' | builtin-class str |
| __init__.py:1 | __package___1 = ImportStarRefinement(__package___0) | *UNDEFINED* | *UNKNOWN TYPE* |
| __init__.py:1 | sys_1 = ImportStarRefinement(sys_0) | *UNDEFINED* | *UNKNOWN TYPE* |
| __init__.py:2 | __name___2 = ImportStarRefinement(__name___1) | 'code.test_package' | builtin-class str |
| __init__.py:2 | __package___2 = ImportStarRefinement(__package___1) | *UNDEFINED* | *UNKNOWN TYPE* |
| __init__.py:2 | module_0 = ImportMember | Function module | builtin-class function |
| __init__.py:3 | sys_2 = ImportExpr | Module sys | builtin-class module |
| __init__.py:4 | module3_0 = ImportMember | Module code.package.module2 | builtin-class module |
@@ -18,40 +14,19 @@
| __init__.py:7 | module5_0 = ImportMember | Module code.package.module2 | builtin-class module |
| __init__.py:8 | moduleX_1 = ImportMember | Module code.package.moduleX | builtin-class module |
| a_simple.py:0 | __name___0 = ScopeEntryDefinition | 'code.a_simple' | builtin-class str |
| a_simple.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| a_simple.py:2 | f1_0 = FloatLiteral | float 1.0 | builtin-class float |
| a_simple.py:5 | i1_0 = IntegerLiteral | int 0 | builtin-class int |
| a_simple.py:6 | s_0 = Tuple | Tuple | builtin-class tuple |
| a_simple.py:8 | func_0 = FunctionExpr | Function func | builtin-class function |
| a_simple.py:11 | C_0 = ClassExpr | class C | builtin-class type |
| a_simple.py:14 | d_0 = ParameterDefinition | d | builtin-class dict |
| a_simple.py:14 | t_0 = ParameterDefinition | t | builtin-class tuple |
| a_simple.py:14 | vararg_kwarg_0 = FunctionExpr | Function vararg_kwarg | builtin-class function |
| a_simple.py:18 | multi_loop_0 = FunctionExpr | Function multi_loop | builtin-class function |
| a_simple.py:18 | y_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| a_simple.py:19 | x_0 = None | NoneType None | builtin-class NoneType |
| a_simple.py:20 | x_1 = phi(x_0, x_2) | NoneType None | builtin-class NoneType |
| a_simple.py:20 | y_1 = phi(y_0, y_2) | *UNDEFINED* | *UNKNOWN TYPE* |
| a_simple.py:23 | with_definition_0 = FunctionExpr | Function with_definition | builtin-class function |
| a_simple.py:27 | multi_loop_in_try_0 = FunctionExpr | Function multi_loop_in_try | builtin-class function |
| a_simple.py:27 | p_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| a_simple.py:27 | q_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| a_simple.py:29 | p_1 = phi(p_0, p_2) | *UNDEFINED* | *UNKNOWN TYPE* |
| a_simple.py:29 | q_1 = phi(q_0, q_2) | *UNDEFINED* | *UNKNOWN TYPE* |
| a_simple.py:34 | args_0 = ParameterDefinition | args | builtin-class tuple |
| a_simple.py:34 | f_0 = FunctionExpr | Function f | builtin-class function |
| a_simple.py:34 | kwargs_0 = ParameterDefinition | kwargs | builtin-class dict |
| b_condition.py:0 | __name___0 = ScopeEntryDefinition | 'code.b_condition' | builtin-class str |
| b_condition.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:0 | double_attr_check_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:0 | g_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:0 | h_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:0 | k_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:0 | loop_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:0 | not_or_not_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:0 | odasa6261_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:0 | split_bool1_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:0 | v2_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:4 | f_0 = FunctionExpr | Function f | builtin-class function |
| b_condition.py:5 | x_0 = IfExp | NoneType None | builtin-class NoneType |
| b_condition.py:8 | x_1 = IntegerLiteral | int 7 | builtin-class int |
@@ -82,8 +57,6 @@
| b_condition.py:37 | x_24 = ArgumentRefinement(x_23) | int 7 | builtin-class int |
| b_condition.py:50 | g_1 = FunctionExpr | Function g | builtin-class function |
| b_condition.py:55 | loop_1 = FunctionExpr | Function loop | builtin-class function |
| b_condition.py:55 | v_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:56 | v_2 = phi(v_0, v_1, v_5) | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:61 | double_attr_check_1 = FunctionExpr | Function double_attr_check | builtin-class function |
| b_condition.py:69 | h_1 = FunctionExpr | Function h | builtin-class function |
| b_condition.py:70 | b_0 = IfExp | bool True | builtin-class bool |
@@ -96,15 +69,12 @@
| b_condition.py:78 | t_1 = object | builtin-class object | builtin-class type |
| b_condition.py:79 | t_3 = phi(t_1, t_2) | builtin-class object | builtin-class type |
| b_condition.py:79 | t_4 = ArgumentRefinement(t_3) | builtin-class object | builtin-class type |
| b_condition.py:81 | bar_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:81 | bar_2 = phi(bar_0, bar_1) | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:81 | bar_2 = phi(bar_0, bar_1) | Function bar | builtin-class function |
| b_condition.py:81 | foo_0 = ParameterDefinition | bool True | builtin-class bool |
| b_condition.py:81 | foo_3 = Pi(foo_0) [false] | bool True | builtin-class bool |
| b_condition.py:81 | foo_4 = phi(foo_1, foo_3) | bool True | builtin-class bool |
| b_condition.py:81 | odasa6261_1 = FunctionExpr | Function odasa6261 | builtin-class function |
| b_condition.py:83 | bar_1 = FunctionExpr | Function bar | builtin-class function |
| b_condition.py:83 | foo_2 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| b_condition.py:87 | split_bool1_1 = FunctionExpr | Function split_bool1 | builtin-class function |
| b_condition.py:87 | x_0 = ParameterDefinition | NoneType None | builtin-class NoneType |
| b_condition.py:87 | y_0 = ParameterDefinition | NoneType None | builtin-class NoneType |
@@ -115,47 +85,48 @@
| b_condition.py:93 | y_5 = ArgumentRefinement(y_4) | NoneType None | builtin-class NoneType |
| b_condition.py:96 | y_6 = SingleSuccessorGuard(y_5) [false] | NoneType None | builtin-class NoneType |
| b_condition.py:97 | x_3 = ArgumentRefinement(x_2) | NoneType None | builtin-class NoneType |
| b_condition.py:101 | a_0 = ParameterDefinition | a | builtin-class tuple |
| b_condition.py:101 | not_or_not_1 = FunctionExpr | Function not_or_not | builtin-class function |
| b_condition.py:104 | a_1 = Pi(a_0) [false] | a | builtin-class tuple |
| b_condition.py:105 | a_2 = Pi(a_1) [false] | a | builtin-class tuple |
| b_condition.py:107 | a_3 = Pi(a_2) [false] | a | builtin-class tuple |
| c_tests.py:0 | __name___0 = ScopeEntryDefinition | 'code.c_tests' | builtin-class str |
| c_tests.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| c_tests.py:4 | f_0 = FunctionExpr | Function f | builtin-class function |
| c_tests.py:5 | x_0 = IfExp | NoneType None | builtin-class NoneType |
| c_tests.py:10 | x_1 = IfExp | int 0 | builtin-class int |
| c_tests.py:10 | x_1 = IfExp | int 1 | builtin-class int |
| c_tests.py:15 | x_2 = IfExp | int 0 | builtin-class int |
| c_tests.py:15 | x_2 = IfExp | int 1 | builtin-class int |
| c_tests.py:21 | x_3 = IfExp | List | builtin-class list |
| c_tests.py:21 | x_3 = IfExp | Tuple | builtin-class tuple |
| c_tests.py:24 | x_4 = Pi(x_3) [true] | List | builtin-class list |
| c_tests.py:24 | x_4 = Pi(x_3) [true] | Tuple | builtin-class tuple |
| c_tests.py:26 | x_6 = phi(x_4, x_5) | List | builtin-class list |
| c_tests.py:26 | x_6 = phi(x_4, x_5) | Tuple | builtin-class tuple |
| c_tests.py:27 | x_7 = Pi(x_6) [true] | List | builtin-class list |
| c_tests.py:27 | x_7 = Pi(x_6) [true] | Tuple | builtin-class tuple |
| c_tests.py:29 | x_8 = Pi(x_6) [false] | Tuple | builtin-class tuple |
| c_tests.py:29 | x_9 = phi(x_7, x_8) | List | builtin-class list |
| c_tests.py:29 | x_9 = phi(x_7, x_8) | Tuple | builtin-class tuple |
| c_tests.py:30 | x_10 = Pi(x_9) [true] | Tuple | builtin-class tuple |
| c_tests.py:32 | x_11 = Pi(x_9) [false] | List | builtin-class list |
| c_tests.py:32 | x_12 = phi(x_10, x_11) | List | builtin-class list |
| c_tests.py:32 | x_12 = phi(x_10, x_11) | Tuple | builtin-class tuple |
| c_tests.py:8 | x_1 = Pi(x_0) [true] | NoneType None | builtin-class NoneType |
| c_tests.py:10 | x_2 = IfExp | int 0 | builtin-class int |
| c_tests.py:10 | x_2 = IfExp | int 1 | builtin-class int |
| c_tests.py:13 | x_3 = Pi(x_2) [true] | int 1 | builtin-class int |
| c_tests.py:15 | x_4 = IfExp | int 0 | builtin-class int |
| c_tests.py:15 | x_4 = IfExp | int 1 | builtin-class int |
| c_tests.py:18 | x_5 = Pi(x_4) [true] | int 0 | builtin-class int |
| c_tests.py:21 | x_6 = IfExp | List | builtin-class list |
| c_tests.py:21 | x_6 = IfExp | Tuple | builtin-class tuple |
| c_tests.py:24 | x_7 = Pi(x_6) [true] | List | builtin-class list |
| c_tests.py:24 | x_7 = Pi(x_6) [true] | Tuple | builtin-class tuple |
| c_tests.py:26 | x_8 = Pi(x_6) [false] | List | builtin-class list |
| c_tests.py:26 | x_9 = phi(x_7, x_8) | List | builtin-class list |
| c_tests.py:26 | x_9 = phi(x_7, x_8) | Tuple | builtin-class tuple |
| c_tests.py:27 | x_10 = Pi(x_9) [true] | List | builtin-class list |
| c_tests.py:27 | x_10 = Pi(x_9) [true] | Tuple | builtin-class tuple |
| c_tests.py:29 | x_11 = Pi(x_9) [false] | List | builtin-class list |
| c_tests.py:29 | x_11 = Pi(x_9) [false] | Tuple | builtin-class tuple |
| c_tests.py:29 | x_12 = phi(x_10, x_11) | List | builtin-class list |
| c_tests.py:29 | x_12 = phi(x_10, x_11) | Tuple | builtin-class tuple |
| c_tests.py:30 | x_13 = Pi(x_12) [true] | Tuple | builtin-class tuple |
| c_tests.py:32 | x_14 = Pi(x_12) [false] | List | builtin-class list |
| c_tests.py:32 | x_15 = phi(x_13, x_14) | List | builtin-class list |
| c_tests.py:32 | x_15 = phi(x_13, x_14) | Tuple | builtin-class tuple |
| c_tests.py:56 | others_0 = FunctionExpr | Function others | builtin-class function |
| c_tests.py:56 | x_6 = Pi(x_4) [false] | int 0 | builtin-class int |
| c_tests.py:56 | x_7 = phi(x_5, x_6) | builtin-class float | builtin-class type |
| c_tests.py:56 | x_7 = phi(x_5, x_6) | int 0 | builtin-class int |
| c_tests.py:56 | x_7 = Pi(x_5) [false] | int 0 | builtin-class int |
| c_tests.py:56 | x_8 = phi(x_6, x_7) | builtin-class float | builtin-class type |
| c_tests.py:56 | x_8 = phi(x_6, x_7) | int 0 | builtin-class int |
| c_tests.py:58 | x_0 = IfExp | builtin-class bool | builtin-class type |
| c_tests.py:58 | x_0 = IfExp | builtin-class type | builtin-class type |
| c_tests.py:63 | x_1 = IfExp | builtin-class float | builtin-class type |
| c_tests.py:63 | x_1 = IfExp | int 0 | builtin-class int |
| c_tests.py:66 | x_2 = Pi(x_1) [true] | int 0 | builtin-class int |
| c_tests.py:68 | x_3 = Pi(x_1) [false] | builtin-class float | builtin-class type |
| c_tests.py:68 | x_4 = phi(x_2, x_3) | builtin-class float | builtin-class type |
| c_tests.py:68 | x_4 = phi(x_2, x_3) | int 0 | builtin-class int |
| c_tests.py:69 | x_5 = Pi(x_4) [true] | builtin-class float | builtin-class type |
| c_tests.py:61 | x_1 = Pi(x_0) [true] | builtin-class bool | builtin-class type |
| c_tests.py:63 | x_2 = IfExp | builtin-class float | builtin-class type |
| c_tests.py:63 | x_2 = IfExp | int 0 | builtin-class int |
| c_tests.py:66 | x_3 = Pi(x_2) [true] | int 0 | builtin-class int |
| c_tests.py:68 | x_4 = Pi(x_2) [false] | builtin-class float | builtin-class type |
| c_tests.py:68 | x_5 = phi(x_3, x_4) | builtin-class float | builtin-class type |
| c_tests.py:68 | x_5 = phi(x_3, x_4) | int 0 | builtin-class int |
| c_tests.py:69 | x_6 = Pi(x_5) [true] | builtin-class float | builtin-class type |
| c_tests.py:71 | compound_0 = FunctionExpr | Function compound | builtin-class function |
| c_tests.py:71 | x_0 = ParameterDefinition | int 1 | builtin-class int |
| c_tests.py:71 | y_0 = ParameterDefinition | int 0 | builtin-class int |
@@ -166,45 +137,24 @@
| c_tests.py:76 | y_2 = Pi(y_0) [false] | int 0 | builtin-class int |
| c_tests.py:76 | y_3 = phi(y_1, y_2) | int 0 | builtin-class int |
| c_tests.py:79 | h_0 = FunctionExpr | Function h | builtin-class function |
| c_tests.py:79 | x_4 = phi(x_2, x_3) | NoneType None | builtin-class NoneType |
| c_tests.py:79 | x_5 = phi(x_3, x_4) | NoneType None | builtin-class NoneType |
| c_tests.py:80 | b_0 = IfExp | bool True | builtin-class bool |
| c_tests.py:83 | b_1 = IfExp | bool True | builtin-class bool |
| c_tests.py:87 | b_3 = Pi(b_1) [false] | bool True | builtin-class bool |
| c_tests.py:87 | b_4 = phi(b_2, b_3) | bool True | builtin-class bool |
| c_tests.py:82 | b_1 = Pi(b_0) [true] | bool True | builtin-class bool |
| c_tests.py:83 | b_2 = IfExp | bool True | builtin-class bool |
| c_tests.py:87 | b_4 = Pi(b_2) [false] | bool True | builtin-class bool |
| c_tests.py:87 | b_5 = phi(b_3, b_4) | bool True | builtin-class bool |
| c_tests.py:90 | x_0 = IfExp | NoneType None | builtin-class NoneType |
| c_tests.py:94 | x_1 = IfExp | NoneType None | builtin-class NoneType |
| c_tests.py:96 | x_2 = Pi(x_1) [true] | NoneType None | builtin-class NoneType |
| c_tests.py:94 | x_2 = IfExp | NoneType None | builtin-class NoneType |
| c_tests.py:96 | x_3 = Pi(x_2) [true] | NoneType None | builtin-class NoneType |
| c_tests.py:98 | complex_test_0 = FunctionExpr | Function complex_test | builtin-class function |
| d_globals.py:0 | D_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | Ugly_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | X_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | __name___0 = ScopeEntryDefinition | 'code.d_globals' | builtin-class str |
| d_globals.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | dict_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | g3_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | g4_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | get_g4_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | glob_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | k_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | modinit_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | outer_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | redefine_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | set_g4_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | set_g4_indirect_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | tuple_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | use_list_attribute_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | x_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | y_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:0 | z_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:2 | dict_2 = ScopeEntryDefinition | int 7 | builtin-class int |
| d_globals.py:2 | g1_2 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:2 | g2_2 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:2 | g3_2 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:2 | g4_1 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:2 | glob_2 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:2 | j_0 = FunctionExpr | Function j | builtin-class function |
| d_globals.py:2 | tuple_2 = ScopeEntryDefinition | builtin-class tuple | builtin-class type |
| d_globals.py:2 | z_2 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:5 | dict_1 = IntegerLiteral | int 7 | builtin-class int |
| d_globals.py:7 | tuple_1 = tuple | builtin-class tuple | builtin-class type |
| d_globals.py:14 | g1_0 = None | NoneType None | builtin-class NoneType |
@@ -212,41 +162,29 @@
| d_globals.py:16 | g2_3 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:16 | g3_3 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:16 | g4_2 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:16 | glob_3 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:16 | z_3 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:18 | g1_3 = IntegerLiteral | int 101 | builtin-class int |
| d_globals.py:23 | g2_0 = None | NoneType None | builtin-class NoneType |
| d_globals.py:25 | g1_4 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:25 | g3_4 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:25 | g3_4 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:25 | g4_3 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:25 | g4_3 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:25 | glob_4 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:25 | init_0 = FunctionExpr | Function init | builtin-class function |
| d_globals.py:25 | z_4 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:27 | g2_4 = IntegerLiteral | int 102 | builtin-class int |
| d_globals.py:29 | g1_1 = CallsiteRefinement(g1_0) | NoneType None | builtin-class NoneType |
| d_globals.py:29 | g2_1 = CallsiteRefinement(g2_0) | int 102 | builtin-class int |
| d_globals.py:29 | glob_1 = CallsiteRefinement(glob_0) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:29 | z_1 = CallsiteRefinement(z_0) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:33 | g3_1 = None | NoneType None | builtin-class NoneType |
| d_globals.py:35 | Ugly_1 = ClassExpr | class Ugly | builtin-class type |
| d_globals.py:37 | __init___0 = FunctionExpr | Function __init__ | builtin-class function |
| d_globals.py:37 | g1_5 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:37 | g2_5 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:37 | g4_4 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:37 | glob_5 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:37 | self_0 = ParameterDefinition | self | class Ugly |
| d_globals.py:37 | z_5 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:39 | g3_5 = IntegerLiteral | int 103 | builtin-class int |
| d_globals.py:41 | g1_6 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:41 | g2_6 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:41 | g3_6 = ScopeEntryDefinition | int 103 | builtin-class int |
| d_globals.py:41 | g4_5 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:41 | glob_6 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:41 | meth_0 = FunctionExpr | Function meth | builtin-class function |
| d_globals.py:41 | self_0 = ParameterDefinition | self | class Ugly |
| d_globals.py:41 | z_6 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:46 | x_1 = IntegerLiteral | int 1 | builtin-class int |
| d_globals.py:49 | x_2 = IntegerLiteral | int 3 | builtin-class int |
| d_globals.py:51 | x_3 = phi(x_1, x_2) | int 1 | builtin-class int |
@@ -256,9 +194,7 @@
| d_globals.py:59 | y_3 = phi(y_1, y_2) | int 1 | builtin-class int |
| d_globals.py:59 | y_3 = phi(y_1, y_2) | int 2 | builtin-class int |
| d_globals.py:62 | X_1 = ClassExpr | class X | builtin-class type |
| d_globals.py:62 | X_2 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:62 | g3_7 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:62 | y_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:62 | y_4 = ScopeEntryDefinition | int 1 | builtin-class int |
| d_globals.py:62 | y_4 = ScopeEntryDefinition | int 2 | builtin-class int |
| d_globals.py:63 | y_1 = y | int 1 | builtin-class int |
@@ -267,88 +203,65 @@
| d_globals.py:70 | g2_7 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:70 | g3_8 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:70 | g4_7 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:70 | glob_7 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:70 | k_1 = FunctionExpr | Function k | builtin-class function |
| d_globals.py:70 | z_7 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:73 | g4_6 = None | NoneType None | builtin-class NoneType |
| d_globals.py:75 | g1_8 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:75 | g2_8 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:75 | g3_9 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:75 | g4_8 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:75 | get_g4_1 = FunctionExpr | Function get_g4 | builtin-class function |
| d_globals.py:75 | glob_8 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:75 | set_g4_2 = ScopeEntryDefinition | Function set_g4 | builtin-class function |
| d_globals.py:75 | z_8 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:77 | g1_9 = CallsiteRefinement(g1_8) | NoneType None | builtin-class NoneType |
| d_globals.py:77 | g2_9 = CallsiteRefinement(g2_8) | int 102 | builtin-class int |
| d_globals.py:77 | g3_10 = CallsiteRefinement(g3_9) | NoneType None | builtin-class NoneType |
| d_globals.py:77 | g4_9 = Pi(g4_8) [true] | NoneType None | builtin-class NoneType |
| d_globals.py:77 | g4_10 = CallsiteRefinement(g4_9) | bool False | builtin-class bool |
| d_globals.py:77 | glob_9 = CallsiteRefinement(glob_8) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:77 | z_9 = CallsiteRefinement(z_8) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:78 | g1_10 = phi(g1_8, g1_9) | NoneType None | builtin-class NoneType |
| d_globals.py:78 | g2_10 = phi(g2_8, g2_9) | int 102 | builtin-class int |
| d_globals.py:78 | g3_11 = phi(g3_9, g3_10) | NoneType None | builtin-class NoneType |
| d_globals.py:78 | g4_12 = phi(g4_10, g4_11) | bool False | builtin-class bool |
| d_globals.py:78 | glob_10 = phi(glob_8, glob_9) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:78 | z_10 = phi(z_8, z_9) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:80 | g1_11 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:80 | g2_11 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:80 | g3_12 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:80 | g4_13 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:80 | glob_11 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:80 | set_g4_1 = FunctionExpr | Function set_g4 | builtin-class function |
| d_globals.py:80 | set_g4_indirect_2 = ScopeEntryDefinition | Function set_g4_indirect | builtin-class function |
| d_globals.py:80 | z_11 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:81 | g1_12 = CallsiteRefinement(g1_11) | NoneType None | builtin-class NoneType |
| d_globals.py:81 | g2_12 = CallsiteRefinement(g2_11) | int 102 | builtin-class int |
| d_globals.py:81 | g3_13 = CallsiteRefinement(g3_12) | NoneType None | builtin-class NoneType |
| d_globals.py:81 | g4_14 = CallsiteRefinement(g4_13) | bool False | builtin-class bool |
| d_globals.py:81 | glob_12 = CallsiteRefinement(glob_11) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:81 | z_12 = CallsiteRefinement(z_11) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:83 | g1_13 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:83 | g2_13 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:83 | g3_14 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:83 | glob_13 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:83 | set_g4_indirect_1 = FunctionExpr | Function set_g4_indirect | builtin-class function |
| d_globals.py:83 | z_13 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:85 | g4_15 = False | bool False | builtin-class bool |
| d_globals.py:87 | modinit_1 = ClassExpr | class modinit | builtin-class type |
| d_globals.py:92 | modinit_2 = DeletionDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:95 | g1_14 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:95 | g2_14 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:95 | g3_15 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:95 | g4_16 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:95 | glob_14 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:95 | outer_1 = FunctionExpr | Function outer | builtin-class function |
| d_globals.py:95 | z_14 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:96 | g1_16 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:96 | g2_16 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:96 | g3_17 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:96 | g4_18 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:96 | inner_0 = FunctionExpr | Function inner | builtin-class function |
| d_globals.py:96 | z_16 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:98 | glob_16 = IntegerLiteral | int 100 | builtin-class int |
| d_globals.py:101 | g1_17 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:101 | g2_17 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:101 | g3_18 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:101 | g4_19 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:101 | glob_17 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:101 | otherInner_0 = FunctionExpr | Function otherInner | builtin-class function |
| d_globals.py:101 | z_17 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:104 | g1_15 = CallsiteRefinement(g1_14) | NoneType None | builtin-class NoneType |
| d_globals.py:104 | g2_15 = CallsiteRefinement(g2_14) | int 102 | builtin-class int |
| d_globals.py:104 | g3_16 = CallsiteRefinement(g3_15) | NoneType None | builtin-class NoneType |
| d_globals.py:104 | g4_17 = CallsiteRefinement(g4_16) | NoneType None | builtin-class NoneType |
| d_globals.py:104 | glob_15 = CallsiteRefinement(glob_14) | int 100 | builtin-class int |
| d_globals.py:104 | z_15 = CallsiteRefinement(z_14) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:107 | g1_18 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:107 | g2_18 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:107 | g3_19 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:107 | g4_20 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:107 | glob_18 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:107 | redefine_1 = FunctionExpr | Function redefine | builtin-class function |
| d_globals.py:107 | z_18 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:110 | z_19 = IntegerLiteral | int 1 | builtin-class int |
| d_globals.py:113 | glob_19 = IntegerLiteral | int 50 | builtin-class int |
| d_globals.py:118 | D_1 = ClassExpr | class D | builtin-class type |
@@ -357,36 +270,26 @@
| d_globals.py:120 | g2_19 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:120 | g3_20 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:120 | g4_21 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:120 | glob_20 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:120 | self_0 = ParameterDefinition | self | class D |
| d_globals.py:120 | z_20 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:123 | dict_3 = ScopeEntryDefinition | int 7 | builtin-class int |
| d_globals.py:123 | foo_0 = FunctionExpr | Function foo | builtin-class function |
| d_globals.py:123 | g1_20 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:123 | g2_20 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:123 | g3_21 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:123 | g4_22 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:123 | glob_21 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:123 | self_0 = ParameterDefinition | self | class D |
| d_globals.py:123 | z_21 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:126 | g1_21 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:126 | g2_21 = ScopeEntryDefinition | int 102 | builtin-class int |
| d_globals.py:126 | g3_22 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:126 | g4_23 = ScopeEntryDefinition | NoneType None | builtin-class NoneType |
| d_globals.py:126 | glob_22 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:126 | use_list_attribute_1 = FunctionExpr | Function use_list_attribute | builtin-class function |
| d_globals.py:126 | z_22 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:127 | l_0 = List | List | builtin-class list |
| d_globals.py:128 | g1_22 = CallsiteRefinement(g1_21) | NoneType None | builtin-class NoneType |
| d_globals.py:128 | g2_22 = CallsiteRefinement(g2_21) | int 102 | builtin-class int |
| d_globals.py:128 | g3_23 = CallsiteRefinement(g3_22) | NoneType None | builtin-class NoneType |
| d_globals.py:128 | g4_24 = CallsiteRefinement(g4_23) | NoneType None | builtin-class NoneType |
| d_globals.py:128 | glob_23 = CallsiteRefinement(glob_22) | *UNDEFINED* | *UNKNOWN TYPE* |
| d_globals.py:128 | l_1 = ArgumentRefinement(l_0) | List | builtin-class list |
| d_globals.py:128 | z_23 = CallsiteRefinement(z_22) | *UNDEFINED* | *UNKNOWN TYPE* |
| e_temporal.py:0 | __name___0 = ScopeEntryDefinition | 'code.e_temporal' | builtin-class str |
| e_temporal.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| e_temporal.py:0 | x_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| e_temporal.py:2 | sys_0 = ImportExpr | Module sys | builtin-class module |
| e_temporal.py:4 | f_0 = FunctionExpr | Function f | builtin-class function |
| e_temporal.py:4 | sys_1 = ScopeEntryDefinition | Module sys | builtin-class module |
@@ -394,7 +297,6 @@
| e_temporal.py:9 | g_0 = FunctionExpr | Function g | builtin-class function |
| e_temporal.py:12 | x_1 = g() | int 1 | builtin-class int |
| g_class_init.py:0 | __name___0 = ScopeEntryDefinition | 'code.g_class_init' | builtin-class str |
| g_class_init.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| g_class_init.py:3 | C_0 = ClassExpr | class C | builtin-class type |
| g_class_init.py:5 | __init___0 = FunctionExpr | Function __init__ | builtin-class function |
| g_class_init.py:5 | self_0 = ParameterDefinition | self | class C |
@@ -413,8 +315,6 @@
| g_class_init.py:20 | self_2 = Pi(self_0) [false] | self | class C |
| g_class_init.py:20 | self_3 = phi(self_1, self_2) | self | class C |
| g_class_init.py:24 | Oddities_0 = ClassExpr | class Oddities | builtin-class type |
| g_class_init.py:24 | float_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| g_class_init.py:24 | int_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| g_class_init.py:26 | int_1 = int | builtin-class int | builtin-class type |
| g_class_init.py:27 | float_1 = float | builtin-class float | builtin-class type |
| g_class_init.py:28 | l_0 = len | Builtin-function len | builtin-class builtin_function_or_method |
@@ -441,7 +341,6 @@
| g_class_init.py:52 | self_3 = phi(self_1, self_2) | self | class E |
| g_class_init.py:54 | self_1 = Pi(self_0) [true] | self | class E |
| j_convoluted_imports.py:0 | __name___0 = ScopeEntryDefinition | 'code.j_convoluted_imports' | builtin-class str |
| j_convoluted_imports.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| j_convoluted_imports.py:3 | module_0 = ImportMember | Function module | builtin-class function |
| j_convoluted_imports.py:6 | x_0 = ImportMember | Module code.package.x | builtin-class module |
| j_convoluted_imports.py:9 | C_0 = ClassExpr | class C | builtin-class type |
@@ -451,7 +350,6 @@
| j_convoluted_imports.py:14 | x_0 = ImportMember | Module code.package.x | builtin-class module |
| j_convoluted_imports.py:16 | moduleX_0 = ImportMember | Module code.package.moduleX | builtin-class module |
| m_attributes.py:0 | __name___0 = ScopeEntryDefinition | 'code.m_attributes' | builtin-class str |
| m_attributes.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| m_attributes.py:3 | C_0 = ClassExpr | class C | builtin-class type |
| m_attributes.py:5 | __init___0 = FunctionExpr | Function __init__ | builtin-class function |
| m_attributes.py:5 | a_0 = ParameterDefinition | int 17 | builtin-class int |
@@ -460,21 +358,18 @@
| m_attributes.py:6 | self_1 = AttributeAssignment 'a'(self_0) | self | class C |
| m_attributes.py:8 | foo_0 = FunctionExpr | Function foo | builtin-class function |
| m_attributes.py:8 | other_0 = ParameterDefinition | C() | class C |
| m_attributes.py:8 | self_0 = ParameterDefinition | C() | class C |
| m_attributes.py:8 | self_0 = ParameterDefinition | self | class C |
| n_nesting.py:0 | D_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| n_nesting.py:0 | __name___0 = ScopeEntryDefinition | 'code.n_nesting' | builtin-class str |
| n_nesting.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| n_nesting.py:8 | C_0 = ScopeEntryDefinition | int 1 | builtin-class int |
| n_nesting.py:8 | compile_ops_0 = ParameterDefinition | bool True | builtin-class bool |
| n_nesting.py:8 | foo_0 = FunctionExpr | Function foo | builtin-class function |
| n_nesting.py:9 | C_1 = CallsiteRefinement(C_0) | int 1 | builtin-class int |
| n_nesting.py:10 | C_5 = ScopeEntryDefinition | int 1 | builtin-class int |
| n_nesting.py:10 | compile_ops_2 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| n_nesting.py:10 | inner_0 = FunctionExpr | Function inner | builtin-class function |
| n_nesting.py:11 | C_6 = CallsiteRefinement(C_5) | int 1 | builtin-class int |
| n_nesting.py:13 | C_7 = ScopeEntryDefinition | int 1 | builtin-class int |
| n_nesting.py:13 | compile_ops_3 = Pi(compile_ops_0) [false] | bool True | builtin-class bool |
| n_nesting.py:13 | compile_ops_4 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| n_nesting.py:13 | inner_1 = FunctionExpr | Function inner | builtin-class function |
| n_nesting.py:14 | C_8 = CallsiteRefinement(C_7) | int 1 | builtin-class int |
| n_nesting.py:15 | attrs_0 = Dict | Dict | builtin-class dict |
@@ -506,7 +401,6 @@
| n_nesting.py:32 | D_1 = ClassExpr | class D | builtin-class type |
| n_nesting.py:34 | C_4 = IntegerLiteral | int 1 | builtin-class int |
| q_super.py:0 | __name___0 = ScopeEntryDefinition | 'code.q_super' | builtin-class str |
| q_super.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| q_super.py:1 | Base2_0 = ClassExpr | class Base2 | builtin-class type |
| q_super.py:3 | Base2_1 = ScopeEntryDefinition | class Base2 | builtin-class type |
| q_super.py:3 | __init___0 = FunctionExpr | Function __init__ | builtin-class function |
@@ -556,14 +450,10 @@
| q_super.py:50 | DB_1 = ScopeEntryDefinition | class DB | builtin-class type |
| q_super.py:50 | __init___0 = FunctionExpr | Function __init__ | builtin-class function |
| q_super.py:50 | self_0 = ParameterDefinition | self | class DC |
| q_super.py:51 | sup_0 = super() | super() | builtin-class super |
| q_super.py:52 | sup_1 = MethodCallsiteRefinement(sup_0) | super() | builtin-class super |
| q_super.py:55 | DD_0 = ClassExpr | class DD | builtin-class type |
| q_super.py:57 | DD_1 = ScopeEntryDefinition | class DD | builtin-class type |
| q_super.py:57 | __init___0 = FunctionExpr | Function __init__ | builtin-class function |
| q_super.py:57 | self_0 = ParameterDefinition | self | class DD |
| q_super.py:58 | sup_0 = super() | super() | builtin-class super |
| q_super.py:59 | sup_1 = MethodCallsiteRefinement(sup_0) | super() | builtin-class super |
| q_super.py:61 | DA_2 = ScopeEntryDefinition | class DA | builtin-class type |
| q_super.py:61 | DE_0 = ClassExpr | class DE | builtin-class type |
| q_super.py:63 | DF_0 = ClassExpr | class DF | builtin-class type |
@@ -575,31 +465,19 @@
| q_super.py:73 | M_1 = ScopeEntryDefinition | class M | builtin-class type |
| q_super.py:73 | __init___0 = FunctionExpr | Function __init__ | builtin-class function |
| q_super.py:73 | self_0 = ParameterDefinition | self | class M |
| q_super.py:74 | s_0 = super() | super() | builtin-class super |
| q_super.py:75 | i_0 = Attribute | super().__init__ | builtin-class method |
| s_scopes.py:0 | __name___0 = ScopeEntryDefinition | 'code.s_scopes' | builtin-class str |
| s_scopes.py:0 | __package___0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:0 | float_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:0 | x_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:4 | float_1 = True | bool True | builtin-class bool |
| s_scopes.py:5 | float_2 = phi(float_0, float_1) | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:5 | float_2 = phi(float_0, float_1) | bool True | builtin-class bool |
| s_scopes.py:7 | C2_0 = ClassExpr | class C2 | builtin-class type |
| s_scopes.py:7 | float_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:7 | float_3 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:7 | float_3 = ScopeEntryDefinition | bool True | builtin-class bool |
| s_scopes.py:7 | int_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:7 | str_0 = ScopeEntryDefinition | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:9 | i1_0 = int | builtin-class int | builtin-class type |
| s_scopes.py:10 | f1_0 = float | bool True | builtin-class bool |
| s_scopes.py:10 | f1_0 = float | builtin-class float | builtin-class type |
| s_scopes.py:12 | int_1 = IntegerLiteral | int 0 | builtin-class int |
| s_scopes.py:15 | str_1 = FloatLiteral | float 1.0 | builtin-class float |
| s_scopes.py:17 | float_1 = None | NoneType None | builtin-class NoneType |
| s_scopes.py:18 | float_2 = phi(float_0, float_1) | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:18 | float_2 = phi(float_0, float_1) | NoneType None | builtin-class NoneType |
| s_scopes.py:18 | i2_0 = int | int 0 | builtin-class int |
| s_scopes.py:18 | str_2 = phi(str_0, str_1) | *UNDEFINED* | *UNKNOWN TYPE* |
| s_scopes.py:18 | str_2 = phi(str_0, str_1) | float 1.0 | builtin-class float |
| s_scopes.py:19 | s_0 = str | builtin-class str | builtin-class type |
| s_scopes.py:19 | s_0 = str | float 1.0 | builtin-class float |

19
python/ql/test/library-tests/PointsTo/new/Values.expected
View File

@@ -123,10 +123,22 @@
| b_condition.py:97 | ControlFlowNode for x | runtime | None | builtin-class NoneType |
| b_condition.py:101 | ControlFlowNode for FunctionExpr | import | Function not_or_not | builtin-class function |
| b_condition.py:102 | ControlFlowNode for Tuple | runtime | (builtin-class tuple, builtin-class list) | builtin-class tuple |
| b_condition.py:102 | ControlFlowNode for UnaryExpr | runtime | bool False | builtin-class bool |
| b_condition.py:102 | ControlFlowNode for a | runtime | instance of tuple | builtin-class tuple |
| b_condition.py:102 | ControlFlowNode for isinstance | runtime | Builtin-function isinstance | builtin-class builtin_function_or_method |
| b_condition.py:102 | ControlFlowNode for isinstance() | runtime | bool True | builtin-class bool |
| b_condition.py:102 | ControlFlowNode for list | runtime | builtin-class list | builtin-class type |
| b_condition.py:102 | ControlFlowNode for tuple | runtime | builtin-class tuple | builtin-class type |
| b_condition.py:104 | ControlFlowNode for UnaryExpr | runtime | bool False | builtin-class bool |
| b_condition.py:104 | ControlFlowNode for UnaryExpr | runtime | bool True | builtin-class bool |
| b_condition.py:104 | ControlFlowNode for a | runtime | instance of tuple | builtin-class tuple |
| b_condition.py:105 | ControlFlowNode for IntegerLiteral | runtime | int 0 | builtin-class int |
| b_condition.py:105 | ControlFlowNode for UnaryExpr | runtime | bool False | builtin-class bool |
| b_condition.py:105 | ControlFlowNode for UnaryExpr | runtime | bool True | builtin-class bool |
| b_condition.py:105 | ControlFlowNode for a | runtime | instance of tuple | builtin-class tuple |
| b_condition.py:106 | ControlFlowNode for Exception | runtime | builtin-class Exception | builtin-class type |
| b_condition.py:106 | ControlFlowNode for Exception() | runtime | Exception() | builtin-class Exception |
| b_condition.py:107 | ControlFlowNode for Str | runtime | 'Hello' | builtin-class str |
| e_temporal.py:2 | ControlFlowNode for ImportExpr | import | Module sys | builtin-class module |
| e_temporal.py:4 | ControlFlowNode for FunctionExpr | import | Function f | builtin-class function |
| e_temporal.py:5 | ControlFlowNode for Attribute | code/e_temporal.py:12 from import | list object | builtin-class list |
@@ -466,12 +478,10 @@
| m_attributes.py:12 | ControlFlowNode for Attribute() | import | None | builtin-class NoneType |
| m_attributes.py:12 | ControlFlowNode for C | import | class C | builtin-class type |
| m_attributes.py:12 | ControlFlowNode for C() | import | C() | class C |
| m_attributes.py:12 | ControlFlowNode for C() | import | C() | class C |
| m_attributes.py:13 | ControlFlowNode for Attribute | import | Method(Function C.foo, C()) | builtin-class method |
| m_attributes.py:13 | ControlFlowNode for Attribute() | import | None | builtin-class NoneType |
| m_attributes.py:13 | ControlFlowNode for C | import | class C | builtin-class type |
| m_attributes.py:13 | ControlFlowNode for C() | import | C() | class C |
| m_attributes.py:13 | ControlFlowNode for C() | import | C() | class C |
| m_attributes.py:13 | ControlFlowNode for IntegerLiteral | import | int 100 | builtin-class int |
| n_nesting.py:8 | ControlFlowNode for FunctionExpr | import | Function foo | builtin-class function |
| n_nesting.py:8 | ControlFlowNode for True | import | bool True | builtin-class bool |
@@ -484,7 +494,6 @@
| n_nesting.py:15 | ControlFlowNode for Dict | runtime | Dict | builtin-class dict |
| n_nesting.py:16 | ControlFlowNode for Str | runtime | 'inner' | builtin-class str |
| n_nesting.py:16 | ControlFlowNode for inner | runtime | Function foo.inner | builtin-class function |
| n_nesting.py:16 | ControlFlowNode for inner | runtime | Function foo.inner | builtin-class function |
| n_nesting.py:18 | ControlFlowNode for attrs | runtime | Dict | builtin-class dict |
| n_nesting.py:22 | ControlFlowNode for FunctionExpr | import | Function f1 | builtin-class function |
| n_nesting.py:23 | ControlFlowNode for C | code/n_nesting.py:25 from code/i_imports.py:38 from import | int 1 | builtin-class int |
@@ -772,12 +781,12 @@
| r_regressions.py:90 | ControlFlowNode for TestFirst | import | class TestFirst | builtin-class type |
| r_regressions.py:90 | ControlFlowNode for TestFirst() | import | TestFirst() | class TestFirst |
| r_regressions.py:93 | ControlFlowNode for ImportExpr | import | Module sys | builtin-class module |
| r_regressions.py:95 | ControlFlowNode for Attribute | import | ('_ast', '_bisect', '_codecs', '_collections', '_datetime', '_elementtree', '_functools', '_heapq', '_imp', '_io', '_locale', '_md5', '_operator', '_pickle', '_posixsubprocess', '_random', '_sha1', '_sha256', '_sha512', '_signal', '_socket', '_sre', '_stat', '_string', '_struct', '_symtable', '_thread', '_tracemalloc', '_warnings', '_weakref', 'array', 'atexit', 'binascii', 'builtins', 'errno', 'faulthandler', 'fcntl', 'gc', 'grp', 'itertools', 'marshal', 'math', 'posix', 'pwd', 'pyexpat', 'select', 'spwd', 'sys', 'syslog', 'time', 'unicodedata', 'xxsubtype', 'zipimport', 'zlib') | builtin-class tuple |
| r_regressions.py:95 | ControlFlowNode for Attribute | import | (..., ...) | builtin-class tuple |
| r_regressions.py:95 | ControlFlowNode for sys | import | Module sys | builtin-class module |
| r_regressions.py:97 | ControlFlowNode for Compare | import | bool False | builtin-class bool |
| r_regressions.py:97 | ControlFlowNode for Compare | import | bool True | builtin-class bool |
| r_regressions.py:97 | ControlFlowNode for Str | import | 'time' | builtin-class str |
| r_regressions.py:97 | ControlFlowNode for _names | import | ('_ast', '_bisect', '_codecs', '_collections', '_datetime', '_elementtree', '_functools', '_heapq', '_imp', '_io', '_locale', '_md5', '_operator', '_pickle', '_posixsubprocess', '_random', '_sha1', '_sha256', '_sha512', '_signal', '_socket', '_sre', '_stat', '_string', '_struct', '_symtable', '_thread', '_tracemalloc', '_warnings', '_weakref', 'array', 'atexit', 'binascii', 'builtins', 'errno', 'faulthandler', 'fcntl', 'gc', 'grp', 'itertools', 'marshal', 'math', 'posix', 'pwd', 'pyexpat', 'select', 'spwd', 'sys', 'syslog', 'time', 'unicodedata', 'xxsubtype', 'zipimport', 'zlib') | builtin-class tuple |
| r_regressions.py:97 | ControlFlowNode for _names | import | (..., ...) | builtin-class tuple |
| r_regressions.py:98 | ControlFlowNode for ImportExpr | import | Module time | builtin-class module |
| r_regressions.py:100 | ControlFlowNode for C | import | class C | builtin-class type |
| r_regressions.py:100 | ControlFlowNode for C() | import | C() | class C |

2
python/ql/test/library-tests/PointsTo/new/Values.ql
View File

@@ -6,4 +6,4 @@ import Util
from ControlFlowNode f, Context ctx, Value v, ControlFlowNode origin
where
f.pointsTo(ctx, v, origin)
select locate(f.getLocation(), "abeghijklmnpqrstu"), f.toString(), ctx, v, v.getClass()
select locate(f.getLocation(), "abeghijklmnpqrstu"), f.toString(), ctx, vrepr(v), vrepr(v.getClass())