JavaScript: Sharpen result type of getAReceivedItem.

Max Schaefer · Max Schaefer · commit 0648d7aa0977 · 2019-02-27T08:51:43.000Z
diff --git a/javascript/ql/src/semmle/javascript/frameworks/SocketIO.qll b/javascript/ql/src/semmle/javascript/frameworks/SocketIO.qll
@@ -167,7 +167,7 @@ module SocketIO {
     string getEventName() { eventName.mayHaveStringValue(result) }
 
     /** Gets a data flow node representing data received from a client. */
-    DataFlow::Node getAReceivedItem() { result = getCallback(1).getAParameter() }
+    DataFlow::SourceNode getAReceivedItem() { result = getCallback(1).getAParameter() }
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -167,7 +167,7 @@ module SocketIO {`
`167`	`167`	`string getEventName() { eventName.mayHaveStringValue(result) }`
`168`	`168`
`169`	`169`	`/** Gets a data flow node representing data received from a client. */`
`170`		`- DataFlow::Node getAReceivedItem() { result = getCallback(1).getAParameter() }`
	`170`	`+ DataFlow::SourceNode getAReceivedItem() { result = getCallback(1).getAParameter() }`
`171`	`171`	`}`
`172`	`172`
`173`	`173`	`/**`