From 76a1e22ddc99eb25060524f970499c0b34855ffd Mon Sep 17 00:00:00 2001 From: Simon Friis Vindum Date: Tue, 13 Jan 2026 16:11:18 +0100 Subject: [PATCH] Rust: Remove manual models that are now generated --- rust/ql/lib/codeql/rust/frameworks/stdlib/fs.model.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/rust/ql/lib/codeql/rust/frameworks/stdlib/fs.model.yml b/rust/ql/lib/codeql/rust/frameworks/stdlib/fs.model.yml index 2a57b38ace5..7532a06a178 100644 --- a/rust/ql/lib/codeql/rust/frameworks/stdlib/fs.model.yml +++ b/rust/ql/lib/codeql/rust/frameworks/stdlib/fs.model.yml @@ -63,8 +63,6 @@ extensions: - ["::new", "Argument[0].Reference", "ReturnValue.Reference", "value", "manual"] - ["::join", "Argument[self].Reference", "ReturnValue", "taint", "manual"] - ["::join", "Argument[0]", "ReturnValue", "taint", "manual"] - - ["::as_os_str", "Argument[self].Reference.Field[std::path::Path::inner]", "ReturnValue.Reference", "value", "manual"] - - ["::as_mut_os_str", "Argument[self].Reference.Field[std::path::Path::inner]", "ReturnValue.Reference", "value", "manual"] - ["::canonicalize", "Argument[self].Reference.OptionalStep[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"] - ["::canonicalize", "Argument[self].Reference.OptionalBarrier[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"] - ["::extension", "Argument[self].Reference", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "taint", "manual"]