Python: Add missing getNode invocation

tausbn · tausbn · commit 6a96c53d1563 · 2020-09-01T14:04:31.000+02:00
diff --git a/python/ql/src/experimental/dataflow/TypeTracker.qll b/python/ql/src/experimental/dataflow/TypeTracker.qll
@@ -79,7 +79,7 @@ predicate callStep(ArgumentNode nodeFrom, ParameterNode nodeTo) {
 /** Holds if `nodeFrom` steps to `nodeTo` by being returned from a call. */
 predicate returnStep(ReturnNode nodeFrom, Node nodeTo) {
   exists(DataFlowCall call |
-    nodeFrom.getEnclosingCallable() = call.getCallable() and nodeTo.asCfgNode() = call
+    nodeFrom.getEnclosingCallable() = call.getCallable() and nodeTo.asCfgNode() = call.getNode()
   )
 }
 

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ predicate callStep(ArgumentNode nodeFrom, ParameterNode nodeTo) {`
`79`	`79`	/** Holds if `nodeFrom` steps to `nodeTo` by being returned from a call. */
`80`	`80`	`predicate returnStep(ReturnNode nodeFrom, Node nodeTo) {`
`81`	`81`	`exists(DataFlowCall call \|`
`82`		`- nodeFrom.getEnclosingCallable() = call.getCallable() and nodeTo.asCfgNode() = call`
	`82`	`+ nodeFrom.getEnclosingCallable() = call.getCallable() and nodeTo.asCfgNode() = call.getNode()`
`83`	`83`	`)`
`84`	`84`	`}`
`85`	`85`