Python points-to: Update 'analysis' query test results.

This commit is contained in:
Mark Shannon
2019-05-13 12:11:19 +01:00
parent 2905737a0e
commit 0491fe1356
5 changed files with 8 additions and 40 deletions

View File

@@ -8,11 +8,12 @@
*/
import python
import semmle.python.pointsto.PointsTo
predicate points_to_failure(Expr e) {
exists(ControlFlowNode f |
exists(ControlFlowNode f |
f = e.getAFlowNode() |
not exists(f.pointsTo())
not PointsTo::pointsTo(f, _, _, _)
)
}