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.
ffi
1 parent 31b0d3e commit 7929085Copy full SHA for 7929085
rust/ql/lib/codeql/rust/frameworks/stdlib/ffi.model.yml
@@ -0,0 +1,8 @@
1
+extensions:
2
+ - addsTo:
3
+ pack: codeql/rust-all
4
+ extensible: summaryModel
5
+ data:
6
+ - ["<std::ffi::os_str::OsStr>::to_str", "Argument[self].Reference.Field[std::ffi::os_str::OsStr::inner]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "taint", "manual"]
7
+ - ["<std::ffi::os_str::OsStr>::to_string_lossy", "Argument[self].Reference.Field[std::ffi::os_str::OsStr::inner]", "ReturnValue.Field[alloc::borrow::Cow::Owned(0)]", "taint", "manual"]
8
+ - ["<std::ffi::os_str::OsStr>::as_encoded_bytes", "Argument[self].Reference.Field[std::ffi::os_str::OsStr::inner]", "ReturnValue.Reference", "taint", "manual"]
0 commit comments