Python: remove spurious dataflow step

2026-05-02 04:05:14 +02:00 · 2021-10-27 15:33:27 +02:00
parent cca675a161
commit 56dab252c9
1 changed files with 1 additions and 0 deletions
--- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -171,6 +171,7 @@ module EssaFlow {
      // see `with_flow` in `python/ql/src/semmle/python/dataflow/Implementation.qll`
      with.getContextExpr() = contextManager.getNode() and
      with.getOptionalVars() = var.getNode() and
+      not with.isAsync() and
      contextManager.strictlyDominates(var)
    )
    or