Skip to content

Commit 0491fe1

Browse files
markshannonmarkshannon
committed
Python points-to: Update 'analysis' query test results.
1 parent 2905737 commit 0491fe1

5 files changed

Lines changed: 8 additions & 40 deletions

File tree

‎python/ql/src/analysis/KeyPointsToFailure.ql‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,11 +8,12 @@
88
*/
99

1010
import python
11+
import semmle.python.pointsto.PointsTo
1112

1213
predicate points_to_failure(Expr e) {
13-
exists(ControlFlowNode f |
14+
exists(ControlFlowNode f |
1415
f = e.getAFlowNode() |
15-
not exists(f.pointsTo())
16+
not PointsTo::pointsTo(f, _, _, _)
1617
)
1718
}
1819

‎python/ql/test/query-tests/analysis/pointsto/CallGraphEfficiency.expected‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
| 0 | 31 | 31 | 100.0 |
2-
| 1 | 4 | 40 | 10.0 |
1+
| 0 | 53 | 53 | 100.0 |
2+
| 1 | 3 | 39 | 7.6923076923076925 |

‎python/ql/test/query-tests/analysis/pointsto/CallGraphMarginalEfficiency.expected‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
| 0 | 31 | 31 | 100.0 |
2-
| 1 | 3 | 40 | 7.5 |
1+
| 0 | 53 | 53 | 100.0 |
2+
| 1 | 3 | 39 | 7.6923076923076925 |

‎python/ql/test/query-tests/analysis/pointsto/KeyPointsToFailure.expected‎

Lines changed: 0 additions & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -1,33 +0,0 @@
1-
| test.py:30:13:30:21 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
2-
| test.py:37:21:37:29 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
3-
| test.py:43:9:43:17 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
4-
| test.py:50:17:50:25 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
5-
| test.py:52:13:52:21 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
6-
| test.py:55:13:55:21 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
7-
| test.py:65:43:65:51 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
8-
| test.py:118:43:118:55 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
9-
| test.py:129:24:129:32 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
10-
| test.py:133:24:133:32 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
11-
| test.py:137:24:137:32 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
12-
| test.py:141:24:141:32 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
13-
| test.py:155:16:155:30 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
14-
| test.py:229:17:229:27 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
15-
| test.py:230:18:230:31 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
16-
| test.py:422:16:422:29 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
17-
| test.py:443:21:443:34 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
18-
| test.py:445:18:445:31 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
19-
| test.py:454:21:454:34 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
20-
| test.py:460:20:460:33 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
21-
| test.py:461:18:461:31 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
22-
| test.py:470:20:470:33 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
23-
| test.py:476:20:476:33 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
24-
| test.py:477:20:477:33 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
25-
| test.py:509:16:509:33 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
26-
| test.py:531:21:531:29 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
27-
| test.py:645:35:645:48 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
28-
| test.py:656:39:656:52 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
29-
| test.py:663:20:663:28 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
30-
| test.py:676:23:676:33 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
31-
| test.py:686:30:686:53 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
32-
| test.py:712:37:712:49 | Attribute | Expression does not 'point-to' any object, but all its sources do. |
33-
| test.py:712:55:712:63 | Attribute | Expression does not 'point-to' any object, but all its sources do. |

‎python/ql/test/query-tests/analysis/pointsto/Pruned.expected‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
| 1418 |
1+
| 1284 |

0 commit comments

Comments
 (0)