Fix query12 and add test case

This commit is contained in:
Max Schlueter
2023-05-16 12:08:31 +02:00
parent 97b0012a5e
commit 40aa9417d0
3 changed files with 6 additions and 1 deletions

View File

@@ -4,7 +4,7 @@ query predicate test_query12(MethodCallExpr send) {
exists(SimpleParameter res, DataFlow::Node resNode |
res.getName() = "res" and
resNode = DataFlow::parameterNode(res) and
resNode.getASuccessor() = DataFlow::valueNode(send.getReceiver()) and
resNode.getASuccessor+() = DataFlow::valueNode(send.getReceiver()) and
send.getMethodName() = "send"
|
any()