Skip to content

Commit 1631787

Browse files
committed
Python: Fix points-to regressions Test.ql
Only being able to debug missing pointsTo for NameNode was quite limiting ...
1 parent 8746876 commit 1631787

File tree

2 files changed

+10
-10
lines changed
  • python/ql/test/library-tests/PointsTo/regressions/missing

2 files changed

+10
-10
lines changed
Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
import python
22

3-
from NameNode name, CallNode call, string debug
3+
from ControlFlowNode arg, CallNode call, string debug
44
where
5-
call.getAnArg() = name and
5+
call.getAnArg() = arg and
66
call.getFunction().(NameNode).getId() = "check" and
7-
if exists(name.pointsTo())
8-
then debug = name.pointsTo().toString()
7+
if exists(arg.pointsTo())
8+
then debug = arg.pointsTo().toString()
99
else debug = "<MISSING pointsTo()>"
10-
select name, debug
10+
select arg, debug
Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
import python
22

3-
from NameNode name, CallNode call, string debug
3+
from ControlFlowNode arg, CallNode call, string debug
44
where
5-
call.getAnArg() = name and
5+
call.getAnArg() = arg and
66
call.getFunction().(NameNode).getId() = "check" and
7-
if exists(name.pointsTo())
8-
then debug = name.pointsTo().toString()
7+
if exists(arg.pointsTo())
8+
then debug = arg.pointsTo().toString()
99
else debug = "<MISSING pointsTo()>"
10-
select name, debug
10+
select arg, debug

0 commit comments

Comments
 (0)