Python: use imprecise content in cp

We had accidentally used precise content leadingto blowup
github · Oct 1, 2024 · f39dc41 · f39dc41
1 parent 64890a1
commit f39dc41
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -195,7 +195,7 @@ predicate yieldStoreStep(Node nodeFrom, Content c, Node nodeTo) {
       c instanceof SetElementContent
       or
       comp instanceof DictComp and
-      c instanceof DictionaryElementContent
+      c instanceof DictionaryElementAnyContent
     )
     or
     not exists(Comp comp | func = comp.getFunction()) and
@@ -204,7 +204,7 @@ predicate yieldStoreStep(Node nodeFrom, Content c, Node nodeTo) {
       or
       c instanceof SetElementContent
       or
-      c instanceof DictionaryElementContent
+      c instanceof DictionaryElementAnyContent
     )
   )
 }