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

Python points-to. Do not track tuples on lhs of assignment or in deletions.

Browse Source
This commit is contained in:
Mark Shannon
2019-08-12 11:04:28 +01:00
parent 5724fb0df0
commit 96ba9a2dfd
3 changed files with 1 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/test/library-tests/PointsTo/new/PointsToWithContext.expected
View File

@@ -22,12 +22,10 @@ WARNING: Predicate points_to has been deprecated and may be removed in future (P
| a_simple.py:18 | ControlFlowNode for multi_loop | Function multi_loop | builtin-class function | 18 | import |
| a_simple.py:19 | ControlFlowNode for None | NoneType None | builtin-class NoneType | 19 | runtime |
| a_simple.py:19 | ControlFlowNode for x | NoneType None | builtin-class NoneType | 19 | runtime |
| a_simple.py:20 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 20 | runtime |
| a_simple.py:23 | ControlFlowNode for FunctionExpr | Function with_definition | builtin-class function | 23 | import |
| a_simple.py:23 | ControlFlowNode for with_definition | Function with_definition | builtin-class function | 23 | import |
| a_simple.py:27 | ControlFlowNode for FunctionExpr | Function multi_loop_in_try | builtin-class function | 27 | import |
| a_simple.py:27 | ControlFlowNode for multi_loop_in_try | Function multi_loop_in_try | builtin-class function | 27 | import |
| a_simple.py:29 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 29 | runtime |
| a_simple.py:31 | ControlFlowNode for KeyError | builtin-class KeyError | builtin-class type | 31 | runtime |
| a_simple.py:34 | ControlFlowNode for FunctionExpr | Function f | builtin-class function | 34 | import |
| a_simple.py:34 | ControlFlowNode for args | args | builtin-class tuple | 34 | runtime |
@@ -55,10 +53,8 @@ WARNING: Predicate points_to has been deprecated and may be removed in future (P
| a_simple.py:40 | ControlFlowNode for c | 'c' | builtin-class str | 38 | runtime |
| a_simple.py:40 | ControlFlowNode for w | Tuple | builtin-class tuple | 40 | runtime |
| a_simple.py:41 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 39 | runtime |
| a_simple.py:41 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 41 | runtime |
| a_simple.py:41 | ControlFlowNode for t | Tuple | builtin-class tuple | 39 | runtime |
| a_simple.py:42 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 40 | runtime |
| a_simple.py:42 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 42 | runtime |
| a_simple.py:42 | ControlFlowNode for w | Tuple | builtin-class tuple | 40 | runtime |
| a_simple.py:49 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 49 | runtime |
| a_simple.py:49 | ControlFlowNode for b | 'b' | builtin-class str | 38 | runtime |

4
python/ql/test/library-tests/PointsTo/new/PointsToWithType.expected
View File

@@ -22,12 +22,10 @@ WARNING: Predicate points_to has been deprecated and may be removed in future (P
| a_simple.py:18 | ControlFlowNode for multi_loop | Function multi_loop | builtin-class function | 18 |
| a_simple.py:19 | ControlFlowNode for None | NoneType None | builtin-class NoneType | 19 |
| a_simple.py:19 | ControlFlowNode for x | NoneType None | builtin-class NoneType | 19 |
| a_simple.py:20 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 20 |
| a_simple.py:23 | ControlFlowNode for FunctionExpr | Function with_definition | builtin-class function | 23 |
| a_simple.py:23 | ControlFlowNode for with_definition | Function with_definition | builtin-class function | 23 |
| a_simple.py:27 | ControlFlowNode for FunctionExpr | Function multi_loop_in_try | builtin-class function | 27 |
| a_simple.py:27 | ControlFlowNode for multi_loop_in_try | Function multi_loop_in_try | builtin-class function | 27 |
| a_simple.py:29 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 29 |
| a_simple.py:31 | ControlFlowNode for KeyError | builtin-class KeyError | builtin-class type | 31 |
| a_simple.py:34 | ControlFlowNode for FunctionExpr | Function f | builtin-class function | 34 |
| a_simple.py:34 | ControlFlowNode for args | args | builtin-class tuple | 34 |
@@ -55,10 +53,8 @@ WARNING: Predicate points_to has been deprecated and may be removed in future (P
| a_simple.py:40 | ControlFlowNode for c | 'c' | builtin-class str | 38 |
| a_simple.py:40 | ControlFlowNode for w | Tuple | builtin-class tuple | 40 |
| a_simple.py:41 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 39 |
| a_simple.py:41 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 41 |
| a_simple.py:41 | ControlFlowNode for t | Tuple | builtin-class tuple | 39 |
| a_simple.py:42 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 40 |
| a_simple.py:42 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 42 |
| a_simple.py:42 | ControlFlowNode for w | Tuple | builtin-class tuple | 40 |
| a_simple.py:49 | ControlFlowNode for Tuple | Tuple | builtin-class tuple | 49 |
| a_simple.py:49 | ControlFlowNode for b | 'b' | builtin-class str | 38 |