codeql/python/ql/test/library-tests/PointsTo/new/TestEvaluate.expected at a3c55c2aec8765520da76e3e9c0e2870c34e9dba · github/codeql · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
| b_condition.py:7 | Compare | true | x | NoneType None |
| b_condition.py:13 | Compare | false | x | NoneType None |
| b_condition.py:19 | UnaryExpr | true | x | NoneType None |
| b_condition.py:25 | x | false | x | NoneType None |
| b_condition.py:32 | UnaryExpr | false | x | int 1 |
| b_condition.py:36 | isinstance() | true | x | int 1 |
| b_condition.py:36 | isinstance() | true | x | int 7 |
| b_condition.py:71 | UnaryExpr | false | b | bool True |
| b_condition.py:77 | Compare | true | t | builtin-class type |
| b_condition.py:82 | callable() | false | foo | bool True |
| b_condition.py:88 | x | false | x | NoneType None |
| b_condition.py:88 | y | false | y | NoneType None |
| b_condition.py:90 | x | false | x | NoneType None |
| b_condition.py:90 | y | false | y | NoneType None |
| b_condition.py:92 | x | false | x | NoneType None |
| b_condition.py:96 | y | false | y | NoneType None |
| b_condition.py:102 | UnaryExpr | false | a | a |
| b_condition.py:104 | UnaryExpr | false | a | a |
| b_condition.py:104 | UnaryExpr | true | a | a |
| b_condition.py:105 | UnaryExpr | false | a | a |
| b_condition.py:105 | UnaryExpr | true | a | a |
| c_tests.py:7 | Compare | true | x | NoneType None |
| c_tests.py:12 | x | false | x | int 0 |
| c_tests.py:12 | x | true | x | int 1 |
| c_tests.py:17 | Compare | false | x | int 1 |
| c_tests.py:17 | Compare | true | x | int 0 |
| c_tests.py:23 | len() | false | x | List |
| c_tests.py:23 | len() | true | x | List |
| c_tests.py:23 | len() | true | x | Tuple |
| c_tests.py:26 | Compare | false | x | List |
| c_tests.py:26 | Compare | false | x | Tuple |
| c_tests.py:26 | Compare | true | x | List |
| c_tests.py:26 | Compare | true | x | Tuple |
| c_tests.py:29 | isinstance() | false | x | List |
| c_tests.py:29 | isinstance() | true | x | Tuple |
| c_tests.py:60 | issubclass() | false | x | builtin-class type |
| c_tests.py:60 | issubclass() | true | x | builtin-class bool |
| c_tests.py:65 | hasattr() | false | x | builtin-class float |
| c_tests.py:65 | hasattr() | true | x | int 0 |
| c_tests.py:68 | callable() | false | x | int 0 |
| c_tests.py:68 | callable() | true | x | builtin-class float |
| c_tests.py:73 | x | true | x | int 1 |
| c_tests.py:73 | y | false | y | int 0 |
| c_tests.py:76 | x | true | x | int 1 |
| c_tests.py:76 | y | false | y | int 0 |
| c_tests.py:81 | b | true | b | bool True |
| c_tests.py:84 | UnaryExpr | false | b | bool True |
| c_tests.py:91 | x | false | x | NoneType None |
| c_tests.py:95 | UnaryExpr | true | x | NoneType None |