Skip to content

Commit 76a1e22

Browse files
committed
Rust: Remove manual models that are now generated
1 parent da43e8c commit 76a1e22

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

rust/ql/lib/codeql/rust/frameworks/stdlib/fs.model.yml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -63,8 +63,6 @@ extensions:
6363
- ["<std::path::Path>::new", "Argument[0].Reference", "ReturnValue.Reference", "value", "manual"]
6464
- ["<std::path::Path>::join", "Argument[self].Reference", "ReturnValue", "taint", "manual"]
6565
- ["<std::path::Path>::join", "Argument[0]", "ReturnValue", "taint", "manual"]
66-
- ["<std::path::Path>::as_os_str", "Argument[self].Reference.Field[std::path::Path::inner]", "ReturnValue.Reference", "value", "manual"]
67-
- ["<std::path::Path>::as_mut_os_str", "Argument[self].Reference.Field[std::path::Path::inner]", "ReturnValue.Reference", "value", "manual"]
6866
- ["<std::path::Path>::canonicalize", "Argument[self].Reference.OptionalStep[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"]
6967
- ["<std::path::Path>::canonicalize", "Argument[self].Reference.OptionalBarrier[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"]
7068
- ["<std::path::Path>::extension", "Argument[self].Reference", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "taint", "manual"]

0 commit comments

Comments
 (0)