Python: Allow general content in type-tracker

RasmusWL · RasmusWL · commit 636cf611ae8d · 2024-03-14T10:42:37.000+01:00
This should not result in many changes, since store/load steps are still
only implemented for attributes.
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackingImpl.qll b/python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackingImpl.qll
@@ -102,10 +102,7 @@ module TypeTrackingInput implements Shared::TypeTrackingInput {
 
   class LocalSourceNode = DataFlowPublic::LocalSourceNode;
 
-  class Content extends DataFlowPublic::Content {
-    // this char-pred is just a temporary restriction while transitioning to more general content
-    Content() { this instanceof DataFlowPublic::AttributeContent }
-  }
+  class Content = DataFlowPublic::Content;
 
   /**
    * A label to use for `WithContent` and `WithoutContent` steps, restricting
