@@ -10,16 +10,15 @@ extensions:
10
10
- ["<std::fs::DirEntry>::file_name", "ReturnValue", "file", "manual"]
11
11
- ["<std::fs::File>::open", "ReturnValue.Field[core::result::Result::Ok(0)]", "file", "manual"]
12
12
- ["<std::fs::File>::open_buffered", "ReturnValue.Field[core::result::Result::Ok(0)]", "file", "manual"]
13
+ - ["<std::fs::OpenOptions>::open", "ReturnValue.Field[core::result::Result::Ok(0)]", "file", "manual"]
13
14
- addsTo :
14
15
pack : codeql/rust-all
15
16
extensible : sinkModel
16
17
data :
17
- - ["std::fs::copy", "Argument[0]", "path-injection", "manual"]
18
- - ["std::fs::copy", "Argument[1]", "path-injection", "manual"]
18
+ - ["std::fs::copy", "Argument[0,1]", "path-injection", "manual"]
19
19
- ["std::fs::create_dir", "Argument[0]", "path-injection", "manual"]
20
20
- ["std::fs::create_dir_all", "Argument[0]", "path-injection", "manual"]
21
- - ["std::fs::hard_link", "Argument[0]", "path-injection", "manual"]
22
- - ["std::fs::hard_link", "Argument[1]", "path-injection", "manual"]
21
+ - ["std::fs::hard_link", "Argument[0,1]", "path-injection", "manual"]
23
22
- ["std::fs::metadata", "Argument[0]", "path-injection", "manual"]
24
23
- ["std::fs::read", "Argument[0]", "path-injection", "manual"]
25
24
- ["std::fs::read_dir", "Argument[0]", "path-injection", "manual"]
@@ -28,11 +27,9 @@ extensions:
28
27
- ["std::fs::remove_dir", "Argument[0]", "path-injection", "manual"]
29
28
- ["std::fs::remove_dir_all", "Argument[0]", "path-injection", "manual"]
30
29
- ["std::fs::remove_file", "Argument[0]", "path-injection", "manual"]
31
- - ["std::fs::rename", "Argument[0]", "path-injection", "manual"]
32
- - ["std::fs::rename", "Argument[1]", "path-injection", "manual"]
30
+ - ["std::fs::rename", "Argument[0,1]", "path-injection", "manual"]
33
31
- ["std::fs::set_permissions", "Argument[0]", "path-injection", "manual"]
34
- - ["std::fs::soft_link", "Argument[0]", "path-injection", "manual"]
35
- - ["std::fs::soft_link", "Argument[1]", "path-injection", "manual"]
32
+ - ["std::fs::soft_link", "Argument[0,1]", "path-injection", "manual"]
36
33
- ["std::fs::symlink_metadata", "Argument[0]", "path-injection", "manual"]
37
34
- ["std::fs::write", "Argument[0]", "path-injection", "manual"]
38
35
- ["<std::fs::DirBuilder>::create", "Argument[0]", "path-injection", "manual"]
@@ -41,12 +38,34 @@ extensions:
41
38
- ["<std::fs::File>::create_new", "Argument[0]", "path-injection", "manual"]
42
39
- ["<std::fs::File>::open", "Argument[0]", "path-injection", "manual"]
43
40
- ["<std::fs::File>::open_buffered", "Argument[0]", "path-injection", "manual"]
41
+ - ["<std::fs::OpenOptions>::open", "Argument[0]", "path-injection", "manual"]
44
42
- addsTo :
45
43
pack : codeql/rust-all
46
44
extensible : summaryModel
47
45
data :
48
- - ["<std::path::PathBuf as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "manual"]
46
+ - ["std::fs::canonicalize", "Argument[0].OptionalStep[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"]
47
+ - ["std::fs::canonicalize", "Argument[0].OptionalBarrier[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"]
48
+ - ["<std::path::PathBuf as core::convert::From>::from", "Argument[0]", "ReturnValue", "value", "manual"]
49
+ - ["<std::path::PathBuf>::as_path", "Argument[Self]", "ReturnValue.Reference", "value", "manual"]
50
+ - ["<std::path::PathBuf>::as_mut_os_string", "Argument[Self].Reference", "ReturnValue.Reference", "value", "manual"]
51
+ - ["<std::path::PathBuf>::into_os_string", "Argument[Self]", "ReturnValue", "value", "manual"]
52
+ - ["<std::path::PathBuf>::into_boxed_path", "Argument[Self]", "ReturnValue.Reference", "value", "manual"]
53
+ - ["<std::path::Path>::new", "Argument[0].Reference", "ReturnValue.Reference", "value", "manual"]
49
54
- ["<std::path::Path>::join", "Argument[self]", "ReturnValue", "taint", "manual"]
50
55
- ["<std::path::Path>::join", "Argument[0]", "ReturnValue", "taint", "manual"]
51
- - ["<std::path::Path>::canonicalize", "Argument[self].OptionalStep[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"]
52
- - ["<std::path::Path>::canonicalize", "Argument[self].OptionalBarrier[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"]
56
+ - ["<std::path::Path>::as_os_string", "Argument[Self].Reference", "ReturnValue.Reference", "value", "manual"]
57
+ - ["<std::path::Path>::as_mut_os_string", "Argument[Self].Reference", "ReturnValue.Reference", "value", "manual"]
58
+ - ["<std::path::Path>::canonicalize", "Argument[self].Reference.OptionalStep[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"]
59
+ - ["<std::path::Path>::canonicalize", "Argument[self].Reference.OptionalBarrier[normalize-path]", "ReturnValue.Field[core::result::Result::Ok(0)]", "taint", "manual"]
60
+ - ["<std::path::Path>::extension", "Argument[Self].Reference", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "taint", "manual"]
61
+ - ["<std::path::Path>::file_name", "Argument[Self].Reference", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "taint", "manual"]
62
+ - ["<std::path::Path>::file_prefix", "Argument[Self].Reference", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "taint", "manual"]
63
+ - ["<std::path::Path>::file_stem", "Argument[Self].Reference", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "taint", "manual"]
64
+ - ["<std::path::Path>::into_path_buf", "Argument[Self].Reference", "ReturnValue", "value", "manual"]
65
+ - ["<std::path::Path>::parent", "Argument[Self].Reference", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "taint", "manual"]
66
+ - ["<std::path::Path>::to_path_buf", "Argument[Self].Reference", "ReturnValue", "value", "manual"]
67
+ - ["<std::path::Path>::to_str", "Argument[Self].Reference", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "manual"]
68
+ - ["<std::path::Path>::with_added_extension", "Argument[Self].Reference", "ReturnValue", "taint", "manual"]
69
+ - ["<std::path::Path>::with_extension", "Argument[Self].Reference", "ReturnValue", "taint", "manual"]
70
+ - ["<std::path::Path>::with_file_name", "Argument[Self].Reference", "ReturnValue", "taint", "manual"]
71
+ - ["<std::path::Path>::with_file_name", "Argument[0]", "ReturnValue", "taint", "manual"]
0 commit comments