hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-22 15:25:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

Amend test now that DataFlowCallable != Callable

Browse Source
This commit is contained in:
Chris Smowton
2023-03-28 16:08:28 +01:00
parent a5e5a5780d
commit 51ebc0bef2
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
go/ql/test/library-tests/semmle/go/dataflow/CallGraph/viableCallee.ql
View File

@@ -17,10 +17,10 @@ string metadata(Locatable l, string key) {
query predicate missingCallee(DataFlow::CallNode call, FuncDef callee) {
metadata(call.asExpr(), "callee") = metadata(callee, "name") and
not viableCallable(call.asExpr()).getFuncDef() = callee
not viableCallable(call.asExpr()).asCallable().getFuncDef() = callee
}
query predicate spuriousCallee(DataFlow::CallNode call, FuncDef callee) {
viableCallable(call.asExpr()).getFuncDef() = callee and
viableCallable(call.asExpr()).asCallable().getFuncDef() = callee and
not metadata(call.asExpr(), "callee") = metadata(callee, "name")
}