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

Python points-to: Update some more expected test results.

Browse Source
This commit is contained in:
Mark Shannon
2019-05-13 09:58:30 +01:00
parent 315fe0ab94
commit 7244b9fc6f
7 changed files with 39 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
python/ql/test/library-tests/PointsTo/decorators/Test.expected
View File

@@ -1,3 +1,2 @@
| 41 | ControlFlowNode for func1 | Function func1 | test.py:23 |
| 42 | ControlFlowNode for func2 | Function wrapper | test.py:10 |
| 43 | ControlFlowNode for func3 | Function wrapper | test.py:17 |

5
python/ql/test/library-tests/PointsTo/general/GlobalPointsTo.expected
View File

@@ -32,7 +32,9 @@
| Class X | 36 | ControlFlowNode for classmethod() | classmethod() |
| Class X | 37 | ControlFlowNode for FunctionExpr | Function method1 |
| Class X | 37 | ControlFlowNode for method1 | classmethod() |
| Class X | 40 | ControlFlowNode for deco() | Function method2 |
| Class X | 41 | ControlFlowNode for FunctionExpr | Function method2 |
| Class X | 41 | ControlFlowNode for method2 | Function method2 |
| Module pointsto_test | 17 | ControlFlowNode for Attribute | list object |
| Module pointsto_test | 17 | ControlFlowNode for Compare | bool False |
| Module pointsto_test | 17 | ControlFlowNode for Compare | bool True |
@@ -81,7 +83,9 @@
| Module pointsto_test | 64 | ControlFlowNode for dict | int 7 |
| Module pointsto_test | 65 | ControlFlowNode for tuple | builtin-class tuple |
| Module pointsto_test | 66 | ControlFlowNode for tuple | builtin-class tuple |
| Module pointsto_test | 69 | ControlFlowNode for Attribute | Attribute |
| Module pointsto_test | 69 | ControlFlowNode for X | class X |
| Module pointsto_test | 70 | ControlFlowNode for Attribute | Function method2 |
| Module pointsto_test | 70 | ControlFlowNode for X | class X |
| Module pointsto_test | 72 | ControlFlowNode for ImportExpr | Module abc |
| Module pointsto_test | 72 | ControlFlowNode for ImportMember | Function abstractmethod |
@@ -99,6 +103,7 @@
| Module pointsto_test | 79 | ControlFlowNode for Tuple | Tuple |
| Module pointsto_test | 79 | ControlFlowNode for object | builtin-class object |
| Module pointsto_test | 79 | ControlFlowNode for type | builtin-class type |
| Module pointsto_test | 79 | ControlFlowNode for type() | type() |
| Module pointsto_test | 81 | ControlFlowNode for FunctionExpr | Function k |
| Module pointsto_test | 81 | ControlFlowNode for k | Function k |
| Module pointsto_test | 88 | ControlFlowNode for FunctionExpr | Function outer |

10
python/ql/test/library-tests/PointsTo/general/LocalPointsTo.expected
View File

@@ -49,7 +49,9 @@
| 36 | ControlFlowNode for classmethod() | classmethod() |
| 37 | ControlFlowNode for FunctionExpr | Function method1 |
| 37 | ControlFlowNode for method1 | classmethod() |
| 40 | ControlFlowNode for deco() | Function method2 |
| 41 | ControlFlowNode for FunctionExpr | Function method2 |
| 41 | ControlFlowNode for method2 | Function method2 |
| 44 | ControlFlowNode for FunctionExpr | Function deco |
| 44 | ControlFlowNode for deco | Function deco |
| 47 | ControlFlowNode for v1 | class C |
@@ -89,7 +91,9 @@
| 64 | ControlFlowNode for dict | int 7 |
| 65 | ControlFlowNode for tuple | builtin-class tuple |
| 66 | ControlFlowNode for tuple | builtin-class tuple |
| 69 | ControlFlowNode for Attribute | Attribute |
| 69 | ControlFlowNode for X | class X |
| 70 | ControlFlowNode for Attribute | Function method2 |
| 70 | ControlFlowNode for X | class X |
| 72 | ControlFlowNode for ImportExpr | Module abc |
| 72 | ControlFlowNode for ImportMember | Function abstractmethod |
@@ -107,6 +111,7 @@
| 79 | ControlFlowNode for Tuple | Tuple |
| 79 | ControlFlowNode for object | builtin-class object |
| 79 | ControlFlowNode for type | builtin-class type |
| 79 | ControlFlowNode for type() | type() |
| 81 | ControlFlowNode for FunctionExpr | Function k |
| 81 | ControlFlowNode for k | Function k |
| 82 | ControlFlowNode for C | class C |
@@ -121,6 +126,7 @@
| 85 | ControlFlowNode for Tuple | Tuple |
| 85 | ControlFlowNode for object | builtin-class object |
| 85 | ControlFlowNode for type | builtin-class type |
| 85 | ControlFlowNode for type() | type() |
| 88 | ControlFlowNode for FunctionExpr | Function outer |
| 88 | ControlFlowNode for outer | Function outer |
| 89 | ControlFlowNode for IntegerLiteral | int 1 |
@@ -247,7 +253,7 @@
| 180 | ControlFlowNode for Derived4 | class Derived4 |
| 182 | ControlFlowNode for FunctionExpr | Function __init__ |
| 182 | ControlFlowNode for __init__ | Function __init__ |
| 183 | ControlFlowNode for Attribute | super().x |
| 183 | ControlFlowNode for Attribute | int 1 |
| 183 | ControlFlowNode for Derived4 | class Derived4 |
| 183 | ControlFlowNode for self | self |
| 183 | ControlFlowNode for super | builtin-class super |
@@ -335,6 +341,7 @@
| 263 | ControlFlowNode for Attribute | int 3 |
| 263 | ControlFlowNode for IntegerLiteral | int 3 |
| 263 | ControlFlowNode for self | self |
| 264 | ControlFlowNode for Attribute | int 0 |
| 264 | ControlFlowNode for Attribute | int 3 |
| 264 | ControlFlowNode for self | self |
| 267 | ControlFlowNode for Derived4 | class Derived4 |
@@ -349,7 +356,6 @@
| 273 | ControlFlowNode for self | self |
| 275 | ControlFlowNode for FunctionExpr | Function add_node |
| 275 | ControlFlowNode for add_node | Function add_node |
| 276 | ControlFlowNode for Attribute | Dict |
| 276 | ControlFlowNode for IntegerLiteral | int 0 |
| 276 | ControlFlowNode for Subscript | int 0 |
| 276 | ControlFlowNode for self | self |

10
python/ql/test/library-tests/PointsTo/general/LocalPointsToType.expected
View File

@@ -51,7 +51,9 @@
| 36 | ControlFlowNode for classmethod() | classmethod() | builtin-class classmethod |
| 37 | ControlFlowNode for FunctionExpr | Function method1 | builtin-class function |
| 37 | ControlFlowNode for method1 | classmethod() | builtin-class classmethod |
| 40 | ControlFlowNode for deco() | Function method2 | builtin-class function |
| 41 | ControlFlowNode for FunctionExpr | Function method2 | builtin-class function |
| 41 | ControlFlowNode for method2 | Function method2 | builtin-class function |
| 44 | ControlFlowNode for FunctionExpr | Function deco | builtin-class function |
| 44 | ControlFlowNode for deco | Function deco | builtin-class function |
| 47 | ControlFlowNode for v1 | class C | builtin-class type |
@@ -92,7 +94,9 @@
| 64 | ControlFlowNode for dict | int 7 | builtin-class int |
| 65 | ControlFlowNode for tuple | builtin-class tuple | builtin-class type |
| 66 | ControlFlowNode for tuple | builtin-class tuple | builtin-class type |
| 69 | ControlFlowNode for Attribute | Attribute | builtin-class method |
| 69 | ControlFlowNode for X | class X | builtin-class type |
| 70 | ControlFlowNode for Attribute | Function method2 | builtin-class function |
| 70 | ControlFlowNode for X | class X | builtin-class type |
| 72 | ControlFlowNode for ImportExpr | Module abc | builtin-class module |
| 72 | ControlFlowNode for ImportMember | Function abstractmethod | builtin-class function |
@@ -110,6 +114,7 @@
| 79 | ControlFlowNode for Tuple | Tuple | builtin-class tuple |
| 79 | ControlFlowNode for object | builtin-class object | builtin-class type |
| 79 | ControlFlowNode for type | builtin-class type | builtin-class type |
| 79 | ControlFlowNode for type() | type() | builtin-class type |
| 81 | ControlFlowNode for FunctionExpr | Function k | builtin-class function |
| 81 | ControlFlowNode for k | Function k | builtin-class function |
| 82 | ControlFlowNode for C | class C | builtin-class type |
@@ -124,6 +129,7 @@
| 85 | ControlFlowNode for Tuple | Tuple | builtin-class tuple |
| 85 | ControlFlowNode for object | builtin-class object | builtin-class type |
| 85 | ControlFlowNode for type | builtin-class type | builtin-class type |
| 85 | ControlFlowNode for type() | type() | builtin-class type |
| 88 | ControlFlowNode for FunctionExpr | Function outer | builtin-class function |
| 88 | ControlFlowNode for outer | Function outer | builtin-class function |
| 89 | ControlFlowNode for IntegerLiteral | int 1 | builtin-class int |
@@ -250,7 +256,7 @@
| 180 | ControlFlowNode for Derived4 | class Derived4 | builtin-class type |
| 182 | ControlFlowNode for FunctionExpr | Function __init__ | builtin-class function |
| 182 | ControlFlowNode for __init__ | Function __init__ | builtin-class function |
| 183 | ControlFlowNode for Attribute | super().x | builtin-class method |
| 183 | ControlFlowNode for Attribute | int 1 | builtin-class int |
| 183 | ControlFlowNode for Derived4 | class Derived4 | builtin-class type |
| 183 | ControlFlowNode for self | self | class Derived4 |
| 183 | ControlFlowNode for super | builtin-class super | builtin-class type |
@@ -338,6 +344,7 @@
| 263 | ControlFlowNode for Attribute | int 3 | builtin-class int |
| 263 | ControlFlowNode for IntegerLiteral | int 3 | builtin-class int |
| 263 | ControlFlowNode for self | self | class G |
| 264 | ControlFlowNode for Attribute | int 0 | builtin-class int |
| 264 | ControlFlowNode for Attribute | int 3 | builtin-class int |
| 264 | ControlFlowNode for self | self | class G |
| 267 | ControlFlowNode for Derived4 | class Derived4 | builtin-class type |
@@ -352,7 +359,6 @@
| 273 | ControlFlowNode for self | self | class DiGraph |
| 275 | ControlFlowNode for FunctionExpr | Function add_node | builtin-class function |
| 275 | ControlFlowNode for add_node | Function add_node | builtin-class function |
| 276 | ControlFlowNode for Attribute | Dict | builtin-class dict |
| 276 | ControlFlowNode for IntegerLiteral | int 0 | builtin-class int |
| 276 | ControlFlowNode for Subscript | int 0 | builtin-class int |
| 276 | ControlFlowNode for self | self | class DiGraph |

14
python/ql/test/library-tests/PointsTo/guarded/PointsTo.expected
View File

@@ -43,24 +43,28 @@
| test.py | 215 | ControlFlowNode for s | class C2 | 202 |
| test.py | 220 | ControlFlowNode for s | int 0 | 219 |
| test.py | 234 | ControlFlowNode for f | int 0 | 233 |
| test.py | 252 | ControlFlowNode for Attribute | int 1 | 242 |
| test.py | 254 | ControlFlowNode for Attribute | int 2 | 245 |
| test.py | 272 | ControlFlowNode for x | int 1 | 271 |
| test.py | 276 | ControlFlowNode for Attribute | int 1 | 271 |
| test.py | 286 | ControlFlowNode for y | NoneType None | 281 |
| test.py | 297 | ControlFlowNode for y | NoneType None | 291 |
| test.py | 301 | ControlFlowNode for x | NoneType None | 291 |
| test.py | 308 | ControlFlowNode for z | int 7 | 305 |
| test.py | 314 | ControlFlowNode for b | NoneType None | 311 |
| test.py | 330 | ControlFlowNode for Attribute | NoneType None | 324 |
| test.py | 330 | ControlFlowNode for Attribute | int 3 | 324 |
| test.py | 332 | ControlFlowNode for Attribute | NoneType None | 322 |
| test.py | 332 | ControlFlowNode for Attribute | int 4 | 322 |
| test.py | 339 | ControlFlowNode for Attribute | int 4 | 322 |
| test.py | 337 | ControlFlowNode for Attribute | NoneType None | 324 |
| test.py | 337 | ControlFlowNode for Attribute | int 3 | 324 |
| test.py | 345 | ControlFlowNode for Attribute | NoneType None | 324 |
| test.py | 345 | ControlFlowNode for Attribute | int 3 | 324 |
| test.py | 347 | ControlFlowNode for Attribute | NoneType None | 322 |
| test.py | 347 | ControlFlowNode for Attribute | int 4 | 322 |
| test.py | 357 | ControlFlowNode for g1 | float 7.0 | 356 |
| test.py | 369 | ControlFlowNode for g2 | float 2.0 | 366 |
| test.py | 382 | ControlFlowNode for g3 | bool True | 379 |
| test.py | 389 | ControlFlowNode for g4 | int 7 | 396 |
| test.py | 408 | ControlFlowNode for x | int 1 | 404 |
| test.py | 420 | ControlFlowNode for Attribute | NoneType None | 418 |
| test.py | 427 | ControlFlowNode for Attribute | NoneType None | 418 |
| test.py | 435 | ControlFlowNode for y | int 1 | 433 |
| type_test.py | 5 | ControlFlowNode for d | Dict | 2 |
| type_test.py | 14 | ControlFlowNode for x | int 0 | 11 |

14
python/ql/test/library-tests/PointsTo/guarded/PointsToWithType.expected
View File

@@ -43,24 +43,28 @@
| test.py | 215 | ControlFlowNode for s | class C2 | builtin-class type | 202 |
| test.py | 220 | ControlFlowNode for s | int 0 | builtin-class int | 219 |
| test.py | 234 | ControlFlowNode for f | int 0 | builtin-class int | 233 |
| test.py | 252 | ControlFlowNode for Attribute | int 1 | builtin-class int | 242 |
| test.py | 254 | ControlFlowNode for Attribute | int 2 | builtin-class int | 245 |
| test.py | 272 | ControlFlowNode for x | int 1 | builtin-class int | 271 |
| test.py | 276 | ControlFlowNode for Attribute | int 1 | builtin-class int | 271 |
| test.py | 286 | ControlFlowNode for y | NoneType None | builtin-class NoneType | 281 |
| test.py | 297 | ControlFlowNode for y | NoneType None | builtin-class NoneType | 291 |
| test.py | 301 | ControlFlowNode for x | NoneType None | builtin-class NoneType | 291 |
| test.py | 308 | ControlFlowNode for z | int 7 | builtin-class int | 305 |
| test.py | 314 | ControlFlowNode for b | NoneType None | builtin-class NoneType | 311 |
| test.py | 330 | ControlFlowNode for Attribute | NoneType None | builtin-class NoneType | 324 |
| test.py | 330 | ControlFlowNode for Attribute | int 3 | builtin-class int | 324 |
| test.py | 332 | ControlFlowNode for Attribute | NoneType None | builtin-class NoneType | 322 |
| test.py | 332 | ControlFlowNode for Attribute | int 4 | builtin-class int | 322 |
| test.py | 339 | ControlFlowNode for Attribute | int 4 | builtin-class int | 322 |
| test.py | 337 | ControlFlowNode for Attribute | NoneType None | builtin-class NoneType | 324 |
| test.py | 337 | ControlFlowNode for Attribute | int 3 | builtin-class int | 324 |
| test.py | 345 | ControlFlowNode for Attribute | NoneType None | builtin-class NoneType | 324 |
| test.py | 345 | ControlFlowNode for Attribute | int 3 | builtin-class int | 324 |
| test.py | 347 | ControlFlowNode for Attribute | NoneType None | builtin-class NoneType | 322 |
| test.py | 347 | ControlFlowNode for Attribute | int 4 | builtin-class int | 322 |
| test.py | 357 | ControlFlowNode for g1 | float 7.0 | builtin-class float | 356 |
| test.py | 369 | ControlFlowNode for g2 | float 2.0 | builtin-class float | 366 |
| test.py | 382 | ControlFlowNode for g3 | bool True | builtin-class bool | 379 |
| test.py | 389 | ControlFlowNode for g4 | int 7 | builtin-class int | 396 |
| test.py | 408 | ControlFlowNode for x | int 1 | builtin-class int | 404 |
| test.py | 420 | ControlFlowNode for Attribute | NoneType None | builtin-class NoneType | 418 |
| test.py | 427 | ControlFlowNode for Attribute | NoneType None | builtin-class NoneType | 418 |
| test.py | 435 | ControlFlowNode for y | int 1 | builtin-class int | 433 |
| type_test.py | 5 | ControlFlowNode for d | Dict | builtin-class dict | 2 |
| type_test.py | 14 | ControlFlowNode for x | int 0 | builtin-class int | 11 |

3
python/ql/test/library-tests/PointsTo/inheritance/MetaClass.expected
View File

@@ -5,8 +5,5 @@
| class Derived4 | builtin-class type |
| class Derived5 | builtin-class type |
| class Derived6 | builtin-class type |
| class Missing1 | builtin-class type |
| class Missing2 | builtin-class type |
| class Missing3 | builtin-class type |
| class Wrong1 | builtin-class type |
| class Wrong2 | builtin-class type |