Data flow: Sync files

2026-04-30 11:15:13 +02:00 · 2023-03-14 10:01:56 +01:00
parent 8dd99b951b
commit bdd56f1b6e
8 changed files with 8 additions and 0 deletions
--- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll
@@ -182,6 +182,7 @@ private module LambdaFlow {
    boolean toJump, DataFlowCallOption lastCall
  ) {
    revLambdaFlow0(lambdaCall, kind, node, t, toReturn, toJump, lastCall) and
+    not expectsContent(node, _) and
    if castNode(node) or node instanceof ArgNode or node instanceof ReturnNode
    then compatibleTypes(t, getNodeDataFlowType(node))
    else any()