We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9afe0c4 commit 207fc5bCopy full SHA for 207fc5b
rust/ql/lib/codeql/rust/frameworks/async-rs.model.yml
@@ -4,3 +4,9 @@ extensions:
4
extensible: sourceModel
5
data:
6
- ["<async_std::net::tcp::stream::TcpStream>::connect", "ReturnValue.Future.Field[core::result::Result::Ok(0)]", "remote", "manual"]
7
+ - addsTo:
8
+ pack: codeql/rust-all
9
+ extensible: summaryModel
10
+ data:
11
+ - ["<_ as async_std::io::read::ReadExt>::read", "Argument[self]", "Argument[0].Reference", "taint", "manual"]
12
+ - ["<_ as async_std::io::read::ReadExt>::read", "Argument[self].Reference", "Argument[0].Reference", "taint", "manual"]
0 commit comments