Skip to content

Commit 67eef3a

Browse files
committed
JS: Add back CallReceiverStep() restriction
This was initially lost after rebasing with indentation changes
1 parent b7cd35f commit 67eef3a

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

javascript/ql/lib/semmle/javascript/ApiGraphs.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1413,7 +1413,9 @@ module API {
14131413
exists(DataFlow::TypeBackTracker t, StepSummary summary, DataFlow::Node next |
14141414
next = trackDefNode(nd, t) and
14151415
StepSummary::step(prev, next, summary) and
1416-
result = t.prepend(summary)
1416+
result = t.prepend(summary) and
1417+
// Block argument-passing into 'this' when it determines the call target
1418+
not summary = CallReceiverStep()
14171419
)
14181420
}
14191421

0 commit comments

Comments
 (0)