Python: stay in control flow layer

yoff · yoff · commit e5f087518ea0 · 2022-09-06T14:16:48.000+02:00
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatchPointsTo.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowDispatchPointsTo.qll
@@ -786,7 +786,7 @@ private module OutNodes {
   class ExprOutNode extends OutNode, ExprNode {
     private DataFlowCall call;
 
-    ExprOutNode() { call.(DataFlowSourceCall).getNode().getNode() = this.asExpr() }
+    ExprOutNode() { call.(DataFlowSourceCall).getNode() = this.getNode() }
 
     override DataFlowCall getCall(ReturnKind kind) {
       result = call and
