Files
codeql/python/ql/test/library-tests/PointsTo/new/Definitions.expected
Taus Brock-Nannestad 10bacfe8fd Python: Use subscriptUnknown instead of instance check.
Also adds a test for decomposing the unknown value of `a`.
2020-02-28 13:38:54 +01:00

453 lines
28 KiB
Plaintext

| a_simple.py:0 | Global Variable __name__ | ScopeEntryDefinition |
| a_simple.py:0 | Global Variable __package__ | ScopeEntryDefinition |
| a_simple.py:2 | Global Variable f1 | AssignmentDefinition |
| a_simple.py:5 | Global Variable i1 | AssignmentDefinition |
| a_simple.py:6 | Global Variable s | AssignmentDefinition |
| a_simple.py:8 | Global Variable func | AssignmentDefinition |
| a_simple.py:11 | Global Variable C | AssignmentDefinition |
| a_simple.py:14 | Global Variable vararg_kwarg | AssignmentDefinition |
| a_simple.py:14 | Local Variable d | ParameterDefinition |
| a_simple.py:14 | Local Variable t | ParameterDefinition |
| a_simple.py:18 | Global Variable multi_loop | AssignmentDefinition |
| a_simple.py:18 | Local Variable seq | ParameterDefinition |
| a_simple.py:18 | Local Variable y | ScopeEntryDefinition |
| a_simple.py:19 | Local Variable x | AssignmentDefinition |
| a_simple.py:20 | Local Variable x | MultiAssignmentDefinition |
| a_simple.py:20 | Local Variable x | PhiFunction |
| a_simple.py:20 | Local Variable y | MultiAssignmentDefinition |
| a_simple.py:20 | Local Variable y | PhiFunction |
| a_simple.py:23 | Global Variable with_definition | AssignmentDefinition |
| a_simple.py:23 | Local Variable x | ParameterDefinition |
| a_simple.py:24 | Local Variable y | WithDefinition |
| a_simple.py:27 | Global Variable multi_loop_in_try | AssignmentDefinition |
| a_simple.py:27 | Local Variable p | ScopeEntryDefinition |
| a_simple.py:27 | Local Variable q | ScopeEntryDefinition |
| a_simple.py:27 | Local Variable x | ParameterDefinition |
| a_simple.py:29 | Local Variable p | MultiAssignmentDefinition |
| a_simple.py:29 | Local Variable p | PhiFunction |
| a_simple.py:29 | Local Variable q | MultiAssignmentDefinition |
| a_simple.py:29 | Local Variable q | PhiFunction |
| a_simple.py:34 | Global Variable f | AssignmentDefinition |
| a_simple.py:34 | Local Variable args | ParameterDefinition |
| a_simple.py:34 | Local Variable kwargs | ParameterDefinition |
| a_simple.py:38 | Global Variable multi_assign_and_packing | AssignmentDefinition |
| a_simple.py:38 | Local Variable a | ParameterDefinition |
| a_simple.py:38 | Local Variable b | ParameterDefinition |
| a_simple.py:38 | Local Variable c | ParameterDefinition |
| a_simple.py:39 | Local Variable t | AssignmentDefinition |
| a_simple.py:40 | Local Variable w | AssignmentDefinition |
| a_simple.py:41 | Local Variable p | MultiAssignmentDefinition |
| a_simple.py:41 | Local Variable q | MultiAssignmentDefinition |
| a_simple.py:41 | Local Variable r | MultiAssignmentDefinition |
| a_simple.py:42 | Local Variable x | MultiAssignmentDefinition |
| a_simple.py:42 | Local Variable y | MultiAssignmentDefinition |
| a_simple.py:42 | Local Variable z | MultiAssignmentDefinition |
| a_simple.py:49 | Local Variable g | AssignmentDefinition |
| a_simple.py:49 | Local Variable h | AssignmentDefinition |
| a_simple.py:49 | Local Variable i | AssignmentDefinition |
| a_simple.py:53 | Local Variable l | MultiAssignmentDefinition |
| a_simple.py:53 | Local Variable m | MultiAssignmentDefinition |
| a_simple.py:56 | Local Variable s | MultiAssignmentDefinition |
| a_simple.py:56 | Local Variable u | MultiAssignmentDefinition |
| b_condition.py:0 | Global Variable __name__ | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable __package__ | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable double_attr_check | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable g | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable h | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable k | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable loop | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable method_check | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable not_or_not | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable odasa6261 | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable split_bool1 | ScopeEntryDefinition |
| b_condition.py:0 | Global Variable v2 | ScopeEntryDefinition |
| b_condition.py:4 | Global Variable f | AssignmentDefinition |
| b_condition.py:4 | Local Variable y | ParameterDefinition |
| b_condition.py:5 | Local Variable x | AssignmentDefinition |
| b_condition.py:8 | Local Variable x | AssignmentDefinition |
| b_condition.py:9 | Local Variable x | PhiFunction |
| b_condition.py:9 | Local Variable x | PyEdgeRefinement |
| b_condition.py:11 | Local Variable x | AssignmentDefinition |
| b_condition.py:14 | Local Variable x | AssignmentDefinition |
| b_condition.py:15 | Local Variable x | PhiFunction |
| b_condition.py:15 | Local Variable x | PyEdgeRefinement |
| b_condition.py:17 | Local Variable x | AssignmentDefinition |
| b_condition.py:20 | Local Variable x | AssignmentDefinition |
| b_condition.py:21 | Local Variable x | PhiFunction |
| b_condition.py:21 | Local Variable x | PyEdgeRefinement |
| b_condition.py:23 | Local Variable x | AssignmentDefinition |
| b_condition.py:25 | Local Variable x | AssignmentDefinition |
| b_condition.py:25 | Local Variable x | PyEdgeRefinement |
| b_condition.py:26 | Local Variable x | ArgumentRefinement |
| b_condition.py:28 | Local Variable x | AssignmentDefinition |
| b_condition.py:29 | Local Variable x | PhiFunction |
| b_condition.py:31 | Local Variable x | AssignmentDefinition |
| b_condition.py:33 | Local Variable x | AssignmentDefinition |
| b_condition.py:34 | Local Variable x | ArgumentRefinement |
| b_condition.py:34 | Local Variable x | PhiFunction |
| b_condition.py:34 | Local Variable x | PyEdgeRefinement |
| b_condition.py:36 | Local Variable x | PyEdgeRefinement |
| b_condition.py:37 | Local Variable x | ArgumentRefinement |
| b_condition.py:39 | Global Variable v2 | AssignmentDefinition |
| b_condition.py:41 | Global Variable v2 | AttributeAssignment |
| b_condition.py:43 | Global Variable v2 | PyEdgeRefinement |
| b_condition.py:47 | Global Variable v2 | PhiFunction |
| b_condition.py:47 | Global Variable v2 | PyEdgeRefinement |
| b_condition.py:50 | Global Variable g | AssignmentDefinition |
| b_condition.py:50 | Local Variable x | ParameterDefinition |
| b_condition.py:50 | Local Variable x | PhiFunction |
| b_condition.py:50 | Local Variable x | PyEdgeRefinement |
| b_condition.py:52 | Local Variable x | PyEdgeRefinement |
| b_condition.py:55 | Global Variable loop | AssignmentDefinition |
| b_condition.py:55 | Local Variable seq | ParameterDefinition |
| b_condition.py:55 | Local Variable v | ScopeEntryDefinition |
| b_condition.py:56 | Local Variable v | AssignmentDefinition |
| b_condition.py:56 | Local Variable v | PhiFunction |
| b_condition.py:56 | Local Variable v | PyEdgeRefinement |
| b_condition.py:58 | Local Variable v | ArgumentRefinement |
| b_condition.py:58 | Local Variable v | PyEdgeRefinement |
| b_condition.py:61 | Global Variable double_attr_check | AssignmentDefinition |
| b_condition.py:61 | Local Variable x | ParameterDefinition |
| b_condition.py:61 | Local Variable x | PhiFunction |
| b_condition.py:61 | Local Variable x | PyEdgeRefinement |
| b_condition.py:61 | Local Variable y | ParameterDefinition |
| b_condition.py:61 | Local Variable y | PhiFunction |
| b_condition.py:61 | Local Variable y | PyEdgeRefinement |
| b_condition.py:63 | Local Variable x | PyEdgeRefinement |
| b_condition.py:64 | Local Variable x | PyEdgeRefinement |
| b_condition.py:65 | Local Variable y | PyEdgeRefinement |
| b_condition.py:66 | Local Variable x | PyEdgeRefinement |
| b_condition.py:67 | Local Variable x | PyEdgeRefinement |
| b_condition.py:69 | Global Variable h | AssignmentDefinition |
| b_condition.py:70 | Local Variable b | AssignmentDefinition |
| b_condition.py:72 | Local Variable b | AssignmentDefinition |
| b_condition.py:73 | Local Variable b | PhiFunction |
| b_condition.py:73 | Local Variable b | PyEdgeRefinement |
| b_condition.py:75 | Global Variable k | AssignmentDefinition |
| b_condition.py:76 | Local Variable t | AssignmentDefinition |
| b_condition.py:78 | Local Variable t | AssignmentDefinition |
| b_condition.py:79 | Local Variable t | ArgumentRefinement |
| b_condition.py:79 | Local Variable t | PhiFunction |
| b_condition.py:79 | Local Variable t | PyEdgeRefinement |
| b_condition.py:81 | Global Variable odasa6261 | AssignmentDefinition |
| b_condition.py:81 | Local Variable bar | PhiFunction |
| b_condition.py:81 | Local Variable bar | ScopeEntryDefinition |
| b_condition.py:81 | Local Variable foo | ParameterDefinition |
| b_condition.py:81 | Local Variable foo | PhiFunction |
| b_condition.py:81 | Local Variable foo | PyEdgeRefinement |
| b_condition.py:83 | Local Variable bar | AssignmentDefinition |
| b_condition.py:83 | Local Variable foo | PyEdgeRefinement |
| b_condition.py:83 | Local Variable foo | ScopeEntryDefinition |
| b_condition.py:87 | Global Variable split_bool1 | AssignmentDefinition |
| b_condition.py:87 | Local Variable x | ParameterDefinition |
| b_condition.py:87 | Local Variable y | ParameterDefinition |
| b_condition.py:88 | Local Variable x | PyEdgeRefinement |
| b_condition.py:90 | Local Variable x | PyEdgeRefinement |
| b_condition.py:90 | Local Variable x | SingleSuccessorGuard |
| b_condition.py:90 | Local Variable y | PyEdgeRefinement |
| b_condition.py:92 | Local Variable x | SingleSuccessorGuard |
| b_condition.py:93 | Local Variable y | ArgumentRefinement |
| b_condition.py:95 | Local Variable y | ArgumentRefinement |
| b_condition.py:96 | Local Variable y | SingleSuccessorGuard |
| b_condition.py:97 | Local Variable x | ArgumentRefinement |
| b_condition.py:99 | Local Variable x | ArgumentRefinement |
| b_condition.py:101 | Global Variable not_or_not | AssignmentDefinition |
| b_condition.py:101 | Local Variable a | ParameterDefinition |
| b_condition.py:104 | Local Variable a | PyEdgeRefinement |
| b_condition.py:105 | Local Variable a | PyEdgeRefinement |
| b_condition.py:107 | Local Variable a | PyEdgeRefinement |
| b_condition.py:109 | Global Variable method_check | AssignmentDefinition |
| b_condition.py:109 | Local Variable x | ParameterDefinition |
| b_condition.py:109 | Local Variable x | PhiFunction |
| b_condition.py:111 | Local Variable x | ArgumentRefinement |
| b_condition.py:111 | Local Variable x | PyEdgeRefinement |
| b_condition.py:113 | Local Variable x | ArgumentRefinement |
| b_condition.py:113 | Local Variable x | PyEdgeRefinement |
| d_globals.py:0 | Global Variable D | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable Ugly | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable X | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable __name__ | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable __package__ | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable dict | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable get_g4 | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable k | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable modinit | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable outer | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable redefine | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable set_g4 | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable set_g4_indirect | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable tuple | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable use_list_attribute | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable x | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable y | ScopeEntryDefinition |
| d_globals.py:0 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:2 | Global Variable dict | ScopeEntryDefinition |
| d_globals.py:2 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:2 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:2 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:2 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:2 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:2 | Global Variable j | AssignmentDefinition |
| d_globals.py:2 | Global Variable tuple | ScopeEntryDefinition |
| d_globals.py:2 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:5 | Global Variable dict | AssignmentDefinition |
| d_globals.py:7 | Global Variable tuple | AssignmentDefinition |
| d_globals.py:14 | Global Variable g1 | AssignmentDefinition |
| d_globals.py:16 | Global Variable assign_global | AssignmentDefinition |
| d_globals.py:16 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:16 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:16 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:16 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:16 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:18 | Global Variable g1 | AssignmentDefinition |
| d_globals.py:23 | Global Variable g2 | AssignmentDefinition |
| d_globals.py:25 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:25 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:25 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:25 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:25 | Global Variable init | AssignmentDefinition |
| d_globals.py:25 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:27 | Global Variable g2 | AssignmentDefinition |
| d_globals.py:29 | Global Variable g1 | CallsiteRefinement |
| d_globals.py:29 | Global Variable g2 | CallsiteRefinement |
| d_globals.py:29 | Global Variable glob | CallsiteRefinement |
| d_globals.py:29 | Global Variable z | CallsiteRefinement |
| d_globals.py:33 | Global Variable g3 | AssignmentDefinition |
| d_globals.py:35 | Global Variable Ugly | AssignmentDefinition |
| d_globals.py:37 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:37 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:37 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:37 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:37 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:37 | Local Variable __init__ | AssignmentDefinition |
| d_globals.py:37 | Local Variable self | ParameterDefinition |
| d_globals.py:39 | Global Variable g3 | AssignmentDefinition |
| d_globals.py:41 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:41 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:41 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:41 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:41 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:41 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:41 | Local Variable meth | AssignmentDefinition |
| d_globals.py:41 | Local Variable self | ParameterDefinition |
| d_globals.py:46 | Global Variable x | AssignmentDefinition |
| d_globals.py:49 | Global Variable x | AssignmentDefinition |
| d_globals.py:51 | Global Variable x | PhiFunction |
| d_globals.py:52 | Global Variable y | AssignmentDefinition |
| d_globals.py:54 | Global Variable y | AssignmentDefinition |
| d_globals.py:59 | Global Variable y | PhiFunction |
| d_globals.py:62 | Global Variable X | AssignmentDefinition |
| d_globals.py:62 | Global Variable X | ScopeEntryDefinition |
| d_globals.py:62 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:62 | Global Variable y | ScopeEntryDefinition |
| d_globals.py:62 | Local Variable y | ScopeEntryDefinition |
| d_globals.py:63 | Local Variable y | AssignmentDefinition |
| d_globals.py:64 | Local Variable v4 | AssignmentDefinition |
| d_globals.py:70 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:70 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:70 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:70 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:70 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:70 | Global Variable k | AssignmentDefinition |
| d_globals.py:70 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:70 | Local Variable arg | ParameterDefinition |
| d_globals.py:73 | Global Variable g4 | AssignmentDefinition |
| d_globals.py:75 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:75 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:75 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:75 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:75 | Global Variable get_g4 | AssignmentDefinition |
| d_globals.py:75 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:75 | Global Variable set_g4 | ScopeEntryDefinition |
| d_globals.py:75 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:77 | Global Variable g1 | CallsiteRefinement |
| d_globals.py:77 | Global Variable g2 | CallsiteRefinement |
| d_globals.py:77 | Global Variable g3 | CallsiteRefinement |
| d_globals.py:77 | Global Variable g4 | CallsiteRefinement |
| d_globals.py:77 | Global Variable g4 | PyEdgeRefinement |
| d_globals.py:77 | Global Variable glob | CallsiteRefinement |
| d_globals.py:77 | Global Variable z | CallsiteRefinement |
| d_globals.py:78 | Global Variable g1 | PhiFunction |
| d_globals.py:78 | Global Variable g2 | PhiFunction |
| d_globals.py:78 | Global Variable g3 | PhiFunction |
| d_globals.py:78 | Global Variable g4 | PhiFunction |
| d_globals.py:78 | Global Variable g4 | PyEdgeRefinement |
| d_globals.py:78 | Global Variable glob | PhiFunction |
| d_globals.py:78 | Global Variable z | PhiFunction |
| d_globals.py:80 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:80 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:80 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:80 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:80 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:80 | Global Variable set_g4 | AssignmentDefinition |
| d_globals.py:80 | Global Variable set_g4_indirect | ScopeEntryDefinition |
| d_globals.py:80 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:81 | Global Variable g1 | CallsiteRefinement |
| d_globals.py:81 | Global Variable g2 | CallsiteRefinement |
| d_globals.py:81 | Global Variable g3 | CallsiteRefinement |
| d_globals.py:81 | Global Variable g4 | CallsiteRefinement |
| d_globals.py:81 | Global Variable glob | CallsiteRefinement |
| d_globals.py:81 | Global Variable z | CallsiteRefinement |
| d_globals.py:83 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:83 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:83 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:83 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:83 | Global Variable set_g4_indirect | AssignmentDefinition |
| d_globals.py:83 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:85 | Global Variable g4 | AssignmentDefinition |
| d_globals.py:87 | Global Variable modinit | AssignmentDefinition |
| d_globals.py:92 | Global Variable modinit | DeletionDefinition |
| d_globals.py:95 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:95 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:95 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:95 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:95 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:95 | Global Variable outer | AssignmentDefinition |
| d_globals.py:95 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:96 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:96 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:96 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:96 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:96 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:96 | Local Variable inner | AssignmentDefinition |
| d_globals.py:98 | Global Variable glob | AssignmentDefinition |
| d_globals.py:101 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:101 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:101 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:101 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:101 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:101 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:101 | Local Variable otherInner | AssignmentDefinition |
| d_globals.py:104 | Global Variable g1 | CallsiteRefinement |
| d_globals.py:104 | Global Variable g2 | CallsiteRefinement |
| d_globals.py:104 | Global Variable g3 | CallsiteRefinement |
| d_globals.py:104 | Global Variable g4 | CallsiteRefinement |
| d_globals.py:104 | Global Variable glob | CallsiteRefinement |
| d_globals.py:104 | Global Variable z | CallsiteRefinement |
| d_globals.py:107 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:107 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:107 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:107 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:107 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:107 | Global Variable redefine | AssignmentDefinition |
| d_globals.py:107 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:110 | Global Variable z | AssignmentDefinition |
| d_globals.py:113 | Global Variable glob | AssignmentDefinition |
| d_globals.py:118 | Global Variable D | AssignmentDefinition |
| d_globals.py:120 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:120 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:120 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:120 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:120 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:120 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:120 | Local Variable __init__ | AssignmentDefinition |
| d_globals.py:120 | Local Variable self | ParameterDefinition |
| d_globals.py:123 | Global Variable dict | ScopeEntryDefinition |
| d_globals.py:123 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:123 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:123 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:123 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:123 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:123 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:123 | Local Variable foo | AssignmentDefinition |
| d_globals.py:123 | Local Variable self | ParameterDefinition |
| d_globals.py:126 | Global Variable g1 | ScopeEntryDefinition |
| d_globals.py:126 | Global Variable g2 | ScopeEntryDefinition |
| d_globals.py:126 | Global Variable g3 | ScopeEntryDefinition |
| d_globals.py:126 | Global Variable g4 | ScopeEntryDefinition |
| d_globals.py:126 | Global Variable glob | ScopeEntryDefinition |
| d_globals.py:126 | Global Variable use_list_attribute | AssignmentDefinition |
| d_globals.py:126 | Global Variable z | ScopeEntryDefinition |
| d_globals.py:127 | Local Variable l | AssignmentDefinition |
| d_globals.py:128 | Global Variable g1 | CallsiteRefinement |
| d_globals.py:128 | Global Variable g2 | CallsiteRefinement |
| d_globals.py:128 | Global Variable g3 | CallsiteRefinement |
| d_globals.py:128 | Global Variable g4 | CallsiteRefinement |
| d_globals.py:128 | Global Variable glob | CallsiteRefinement |
| d_globals.py:128 | Global Variable z | CallsiteRefinement |
| d_globals.py:128 | Local Variable l | ArgumentRefinement |
| g_class_init.py:0 | Global Variable __name__ | ScopeEntryDefinition |
| g_class_init.py:0 | Global Variable __package__ | ScopeEntryDefinition |
| g_class_init.py:3 | Global Variable C | AssignmentDefinition |
| g_class_init.py:5 | Local Variable __init__ | AssignmentDefinition |
| g_class_init.py:5 | Local Variable self | ParameterDefinition |
| g_class_init.py:6 | Local Variable self | SelfCallsiteRefinement |
| g_class_init.py:7 | Local Variable self | AttributeAssignment |
| g_class_init.py:9 | Local Variable _init | AssignmentDefinition |
| g_class_init.py:9 | Local Variable self | ParameterDefinition |
| g_class_init.py:10 | Local Variable self | AttributeAssignment |
| g_class_init.py:11 | Local Variable self | SelfCallsiteRefinement |
| g_class_init.py:13 | Local Variable _init2 | AssignmentDefinition |
| g_class_init.py:13 | Local Variable self | ParameterDefinition |
| g_class_init.py:14 | Local Variable self | AttributeAssignment |
| g_class_init.py:16 | Local Variable method | AssignmentDefinition |
| g_class_init.py:16 | Local Variable self | ParameterDefinition |
| g_class_init.py:19 | Local Variable self | PyEdgeRefinement |
| g_class_init.py:20 | Local Variable self | PhiFunction |
| g_class_init.py:20 | Local Variable self | PyEdgeRefinement |
| g_class_init.py:24 | Global Variable Oddities | AssignmentDefinition |
| g_class_init.py:24 | Local Variable float | ScopeEntryDefinition |
| g_class_init.py:24 | Local Variable int | ScopeEntryDefinition |
| g_class_init.py:26 | Local Variable int | AssignmentDefinition |
| g_class_init.py:27 | Local Variable float | AssignmentDefinition |
| g_class_init.py:28 | Local Variable l | AssignmentDefinition |
| g_class_init.py:29 | Local Variable h | AssignmentDefinition |
| g_class_init.py:32 | Global Variable D | AssignmentDefinition |
| g_class_init.py:34 | Global Variable D | ScopeEntryDefinition |
| g_class_init.py:34 | Local Variable __init__ | AssignmentDefinition |
| g_class_init.py:34 | Local Variable self | ParameterDefinition |
| g_class_init.py:35 | Global Variable D | ArgumentRefinement |
| g_class_init.py:42 | Global Variable V2 | AssignmentDefinition |
| g_class_init.py:43 | Global Variable V3 | AssignmentDefinition |
| g_class_init.py:45 | Global Variable E | AssignmentDefinition |
| g_class_init.py:46 | Global Variable V2 | ScopeEntryDefinition |
| g_class_init.py:46 | Global Variable V3 | ScopeEntryDefinition |
| g_class_init.py:46 | Local Variable __init__ | AssignmentDefinition |
| g_class_init.py:46 | Local Variable c | ParameterDefinition |
| g_class_init.py:46 | Local Variable c | PhiFunction |
| g_class_init.py:46 | Local Variable self | ParameterDefinition |
| g_class_init.py:46 | Local Variable self | PhiFunction |
| g_class_init.py:48 | Local Variable c | PyEdgeRefinement |
| g_class_init.py:48 | Local Variable self | AttributeAssignment |
| g_class_init.py:50 | Local Variable c | PyEdgeRefinement |
| g_class_init.py:50 | Local Variable self | AttributeAssignment |
| g_class_init.py:52 | Global Variable V2 | ScopeEntryDefinition |
| g_class_init.py:52 | Local Variable meth | AssignmentDefinition |
| g_class_init.py:52 | Local Variable self | ParameterDefinition |
| g_class_init.py:52 | Local Variable self | PhiFunction |
| g_class_init.py:52 | Local Variable self | PyEdgeRefinement |
| g_class_init.py:54 | Local Variable self | PyEdgeRefinement |
| k_getsetattr.py:0 | Global Variable __name__ | ScopeEntryDefinition |
| k_getsetattr.py:0 | Global Variable __package__ | ScopeEntryDefinition |
| k_getsetattr.py:4 | Global Variable C | AssignmentDefinition |
| k_getsetattr.py:6 | Local Variable meth1 | AssignmentDefinition |
| k_getsetattr.py:6 | Local Variable self | ParameterDefinition |
| k_getsetattr.py:7 | Local Variable self | ArgumentRefinement |
| k_getsetattr.py:8 | Local Variable self | ArgumentRefinement |
| k_getsetattr.py:9 | Local Variable self | ArgumentRefinement |
| k_getsetattr.py:10 | Local Variable self | ArgumentRefinement |
| k_getsetattr.py:12 | Local Variable meth2 | AssignmentDefinition |
| k_getsetattr.py:12 | Local Variable self | ParameterDefinition |
| k_getsetattr.py:13 | Local Variable self | ArgumentRefinement |
| k_getsetattr.py:14 | Local Variable self | ArgumentRefinement |
| k_getsetattr.py:15 | Local Variable self | SelfCallsiteRefinement |
| k_getsetattr.py:16 | Local Variable self | ArgumentRefinement |
| k_getsetattr.py:17 | Local Variable self | ArgumentRefinement |
| k_getsetattr.py:18 | Local Variable self | ArgumentRefinement |
| k_getsetattr.py:21 | Global Variable C | ScopeEntryDefinition |
| k_getsetattr.py:21 | Global Variable k | AssignmentDefinition |
| k_getsetattr.py:21 | Local Variable cond | ParameterDefinition |
| k_getsetattr.py:22 | Local Variable c1 | AssignmentDefinition |
| k_getsetattr.py:23 | Local Variable c2 | AssignmentDefinition |
| k_getsetattr.py:24 | Local Variable c3 | AssignmentDefinition |
| k_getsetattr.py:25 | Local Variable c1 | AttributeAssignment |
| k_getsetattr.py:27 | Local Variable c2 | AttributeAssignment |
| k_getsetattr.py:27 | Local Variable cond | PyEdgeRefinement |
| k_getsetattr.py:28 | Local Variable c2 | PhiFunction |
| k_getsetattr.py:28 | Local Variable cond | PhiFunction |
| k_getsetattr.py:28 | Local Variable cond | PyEdgeRefinement |
| k_getsetattr.py:31 | Local Variable c3 | AttributeAssignment |