From 260763a7486fa3a3a94de249f0451ff0ceb9dbaf Mon Sep 17 00:00:00 2001 From: Taus Brock-Nannestad Date: Fri, 4 Sep 2020 16:35:49 +0200 Subject: [PATCH] Python: Update consistency test results --- .../consistency/dataflow-consistency.expected | 85 +++++++++++-------- 1 file changed, 51 insertions(+), 34 deletions(-) diff --git a/python/ql/test/experimental/dataflow/consistency/dataflow-consistency.expected b/python/ql/test/experimental/dataflow/consistency/dataflow-consistency.expected index a539a9298f6..8d2dadf8b4f 100644 --- a/python/ql/test/experimental/dataflow/consistency/dataflow-consistency.expected +++ b/python/ql/test/experimental/dataflow/consistency/dataflow-consistency.expected @@ -1,4 +1,12 @@ uniqueEnclosingCallable +| module.py:1:1:1:9 | GSSA Variable dangerous | Node should have one enclosing callable but has 0. | +| module.py:1:13:1:18 | ControlFlowNode for SOURCE | Node should have one enclosing callable but has 0. | +| module.py:2:1:2:4 | GSSA Variable safe | Node should have one enclosing callable but has 0. | +| module.py:2:8:2:13 | ControlFlowNode for Str | Node should have one enclosing callable but has 0. | +| module.py:5:1:5:21 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| module.py:5:5:5:18 | GSSA Variable dangerous_func | Node should have one enclosing callable but has 0. | +| module.py:10:1:10:5 | GSSA Variable safe2 | Node should have one enclosing callable but has 0. | +| module.py:10:9:10:14 | ControlFlowNode for Str | Node should have one enclosing callable but has 0. | | test.py:6:1:6:12 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | | test.py:6:5:6:9 | GSSA Variable test1 | Node should have one enclosing callable but has 0. | | test.py:9:1:9:12 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | @@ -45,24 +53,50 @@ uniqueEnclosingCallable | test.py:99:5:99:10 | GSSA Variable test15 | Node should have one enclosing callable but has 0. | | test.py:103:1:103:13 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | | test.py:103:5:103:10 | GSSA Variable test16 | Node should have one enclosing callable but has 0. | -| test.py:108:1:108:17 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | -| test.py:108:5:108:10 | GSSA Variable test20 | Node should have one enclosing callable but has 0. | -| test.py:118:1:118:17 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | -| test.py:118:5:118:10 | GSSA Variable test21 | Node should have one enclosing callable but has 0. | +| test.py:107:1:107:16 | ControlFlowNode for ClassExpr | Node should have one enclosing callable but has 0. | +| test.py:107:7:107:7 | GSSA Variable C | Node should have one enclosing callable but has 0. | +| test.py:109:1:109:16 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:109:5:109:10 | GSSA Variable x_sink | Node should have one enclosing callable but has 0. | +| test.py:112:1:112:13 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:112:5:112:10 | GSSA Variable test17 | Node should have one enclosing callable but has 0. | +| test.py:117:1:117:13 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:117:5:117:10 | GSSA Variable test18 | Node should have one enclosing callable but has 0. | +| test.py:123:1:123:13 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:123:5:123:10 | GSSA Variable test19 | Node should have one enclosing callable but has 0. | | test.py:128:1:128:17 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | -| test.py:128:5:128:10 | GSSA Variable test22 | Node should have one enclosing callable but has 0. | -| test.py:139:20:139:38 | ControlFlowNode for ImportMember | Node should have one enclosing callable but has 0. | -| test.py:139:33:139:38 | GSSA Variable unsafe | Node should have one enclosing callable but has 0. | -| test.py:140:1:140:12 | GSSA Variable unsafe | Node should have one enclosing callable but has 0. | -| test.py:140:6:140:11 | ControlFlowNode for unsafe | Node should have one enclosing callable but has 0. | -| test.py:142:1:142:13 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | -| test.py:142:5:142:10 | GSSA Variable test23 | Node should have one enclosing callable but has 0. | -| test.py:146:1:146:13 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | -| test.py:146:5:146:10 | GSSA Variable test24 | Node should have one enclosing callable but has 0. | -| test.py:151:1:151:29 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | -| test.py:151:5:151:22 | GSSA Variable test_update_extend | Node should have one enclosing callable but has 0. | -| test.py:161:1:161:17 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | -| test.py:161:5:161:14 | GSSA Variable test_truth | Node should have one enclosing callable but has 0. | +| test.py:128:5:128:10 | GSSA Variable test20 | Node should have one enclosing callable but has 0. | +| test.py:138:1:138:17 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:138:5:138:10 | GSSA Variable test21 | Node should have one enclosing callable but has 0. | +| test.py:148:1:148:17 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:148:5:148:10 | GSSA Variable test22 | Node should have one enclosing callable but has 0. | +| test.py:159:20:159:38 | ControlFlowNode for ImportMember | Node should have one enclosing callable but has 0. | +| test.py:159:33:159:38 | GSSA Variable unsafe | Node should have one enclosing callable but has 0. | +| test.py:160:1:160:12 | GSSA Variable unsafe | Node should have one enclosing callable but has 0. | +| test.py:160:6:160:11 | ControlFlowNode for unsafe | Node should have one enclosing callable but has 0. | +| test.py:162:1:162:13 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:162:5:162:10 | GSSA Variable test23 | Node should have one enclosing callable but has 0. | +| test.py:166:1:166:13 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:166:5:166:10 | GSSA Variable test24 | Node should have one enclosing callable but has 0. | +| test.py:171:1:171:29 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:171:5:171:22 | GSSA Variable test_update_extend | Node should have one enclosing callable but has 0. | +| test.py:181:1:181:17 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:181:5:181:14 | GSSA Variable test_truth | Node should have one enclosing callable but has 0. | +| test.py:192:1:192:22 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:192:5:192:19 | GSSA Variable test_early_exit | Node should have one enclosing callable but has 0. | +| test.py:198:1:198:41 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:198:5:198:38 | GSSA Variable flow_through_type_test_if_no_class | Node should have one enclosing callable but has 0. | +| test.py:205:1:205:24 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:205:5:205:21 | GSSA Variable flow_in_iteration | Node should have one enclosing callable but has 0. | +| test.py:211:1:211:24 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:211:5:211:21 | GSSA Variable flow_in_generator | Node should have one enclosing callable but has 0. | +| test.py:216:1:216:26 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:216:5:216:23 | GSSA Variable flow_from_generator | Node should have one enclosing callable but has 0. | +| test.py:220:1:220:28 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:220:5:220:25 | GSSA Variable const_eq_clears_taint | Node should have one enclosing callable but has 0. | +| test.py:226:1:226:29 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:226:5:226:26 | GSSA Variable const_eq_clears_taint2 | Node should have one enclosing callable but has 0. | +| test.py:232:1:232:36 | ControlFlowNode for FunctionExpr | Node should have one enclosing callable but has 0. | +| test.py:232:5:232:32 | GSSA Variable non_const_eq_preserves_taint | Node should have one enclosing callable but has 0. | uniqueType uniqueNodeLocation missingLocation @@ -78,21 +112,4 @@ postHasUniquePre uniquePostUpdate postIsInSameCallable reverseRead -storeIsPostUpdate -| test.py:152:9:152:16 | ControlFlowNode for List | Store targets should be PostUpdateNodes. | -| test.py:153:9:153:24 | ControlFlowNode for Dict | Store targets should be PostUpdateNodes. | argHasPostUpdate -| test.py:25:10:25:10 | ControlFlowNode for t | ArgumentNode is missing PostUpdateNode. | -| test.py:29:10:29:10 | ControlFlowNode for t | ArgumentNode is missing PostUpdateNode. | -| test.py:48:19:48:21 | ControlFlowNode for arg | ArgumentNode is missing PostUpdateNode. | -| test.py:51:10:51:12 | ControlFlowNode for arg | ArgumentNode is missing PostUpdateNode. | -| test.py:55:14:55:16 | ControlFlowNode for arg | ArgumentNode is missing PostUpdateNode. | -| test.py:59:11:59:11 | ControlFlowNode for t | ArgumentNode is missing PostUpdateNode. | -| test.py:67:11:67:14 | ControlFlowNode for cond | ArgumentNode is missing PostUpdateNode. | -| test.py:67:17:67:17 | ControlFlowNode for t | ArgumentNode is missing PostUpdateNode. | -| test.py:74:11:74:14 | ControlFlowNode for cond | ArgumentNode is missing PostUpdateNode. | -| test.py:74:17:74:17 | ControlFlowNode for t | ArgumentNode is missing PostUpdateNode. | -| test.py:81:13:81:13 | ControlFlowNode for t | ArgumentNode is missing PostUpdateNode. | -| test.py:86:13:86:13 | ControlFlowNode for t | ArgumentNode is missing PostUpdateNode. | -| test.py:158:15:158:15 | ControlFlowNode for l | ArgumentNode is missing PostUpdateNode. | -| test.py:159:15:159:15 | ControlFlowNode for d | ArgumentNode is missing PostUpdateNode. |