Merge pull request #20497 from hvitved/rust/missing-model

Rust: Add missing model

Author: hvitved

rust/ql/lib/codeql/rust/frameworks/async-rs.model.yml

@@ -4,3 +4,9 @@ extensions:
       extensible: sourceModel
     data:
       - ["<async_std::net::tcp::stream::TcpStream>::connect", "ReturnValue.Future.Field[core::result::Result::Ok(0)]", "remote", "manual"]
+  - addsTo:
+      pack: codeql/rust-all
+      extensible: summaryModel
+    data:
+      - ["<_ as async_std::io::read::ReadExt>::read", "Argument[self]", "Argument[0].Reference", "taint", "manual"]
+      - ["<_ as async_std::io::read::ReadExt>::read", "Argument[self].Reference", "Argument[0].Reference", "taint", "manual"]