Rust: Lift content reads as taint steps

Author: paldepind

rust/ql/lib/codeql/rust/dataflow/internal/TaintTrackingImpl.qll

@@ -45,11 +45,7 @@ module RustTaintTracking implements InputSig<Location, RustDataFlow> {
       // or reference.
       // This is needed in order to support taint-tracking configurations where
       // the source is a collection or reference.
-      exists(SingletonContentSet cs | RustDataFlow::readStep(pred, cs, succ) |
-        cs.getContent() instanceof ElementContent
-        or
-        cs.getContent() instanceof ReferenceContent
-      )
+      RustDataFlow::readStep(pred, _, succ)
       or
       exists(FormatArgsExpr format | succ.asExpr() = format |
         pred.asExpr() = format.getAnArg().getExpr()