hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 04:39:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: fix indefinite check on callback

Browse Source
This commit is contained in:
Asger F
2018-09-26 15:25:26 +01:00
parent 0936cda0e9
commit f0886fd0bb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
javascript/ql/src/semmle/javascript/dataflow/internal/FlowSteps.qll
View File

@@ -35,7 +35,7 @@ predicate calls(DataFlow::InvokeNode invk, Function f) {
private predicate partiallyCalls(DataFlow::AdditionalPartialInvokeNode invk, DataFlow::AnalyzedNode callback, Function f) {
invk.isPartialArgument(callback, _, _) and
exists (AbstractFunction callee | callee = callback.getAValue() |
if invk.isIndefinite("global") then
if callback.getAValue().isIndefinite("global") then
(f = callee.getFunction() and f.getFile() = invk.getFile())
else
f = callee.getFunction()