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

make the default registration/dispatch extend DataFlow::InvokeNode

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2020-01-10 17:40:16 +01:00
parent 87bbbd643c
commit 1619a98bc8
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
javascript/ql/src/semmle/javascript/frameworks/EventEmitter.qll
View File

@@ -128,13 +128,13 @@ module EventRegistration {
* first argument is a string describing which channel is registered, and the second
* argument is the event handler callback.
*/
abstract class DefaultEventRegistration extends Range {
abstract class DefaultEventRegistration extends Range, DataFlow::InvokeNode {
override string getChannel() {
this.(DataFlow::InvokeNode).getArgument(0).mayHaveStringValue(result)
this.getArgument(0).mayHaveStringValue(result)
}
override DataFlow::Node getReceivedItem(int i) {
result = this.(DataFlow::InvokeNode).getABoundCallbackParameter(1, i)
result = this.getABoundCallbackParameter(1, i)
}
override DataFlow::Node getAReturnedValue() { none() }
@@ -190,13 +190,13 @@ module EventDispatch {
* where the first argument is a string describing the channel, and the `i`+1 argument
* is the `i`th item sent to the event handler.
*/
abstract class DefaultEventDispatch extends Range {
abstract class DefaultEventDispatch extends Range, DataFlow::InvokeNode {
override string getChannel() {
this.(DataFlow::InvokeNode).getArgument(0).mayHaveStringValue(result)
this.getArgument(0).mayHaveStringValue(result)
}
override DataFlow::Node getSentItem(int i) {
result = this.(DataFlow::InvokeNode).getArgument(i + 1)
result = this.getArgument(i + 1)
}
override EventRegistration::Range getAReceiver() { this.getEmitter() = result.getEmitter() }