Rust: Regenerate generated models

Author: paldepind

rust/ql/lib/ext/generated/actix-web.model.yml

@@ -4,21 +4,9 @@ extensions:
       pack: codeql/rust-all
       extensible: summaryModel
     data:
-      - ["<libc::unix::linux_like::linux::__c_anonymous_ifc_ifcu as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<libc::unix::linux_like::linux::__c_anonymous_ifr_ifru as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<libc::unix::linux_like::linux::__c_anonymous_iwreq as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_1 as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<libc::unix::linux_like::linux::__c_anonymous_ptp_perout_request_2 as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<libc::unix::linux_like::linux::__c_anonymous_sockaddr_can_can_addr as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<libc::unix::linux_like::linux::__c_anonymous_xsk_tx_metadata_union as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<libc::unix::linux_like::linux::gnu::__c_anonymous_ptrace_syscall_info_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<libc::unix::linux_like::linux::gnu::sifields_sigchld as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<libc::unix::linux_like::linux::iwreq_data as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<libc::unix::linux_like::linux::tpacket_bd_header_u as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<libc::unix::linux_like::linux::tpacket_req_u as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
-      - ["<style::style::StyleChecker>::check_file", "Argument[0].Field[alloc::borrow::Cow::Owned(0)]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]
       - ["<style::style::StyleChecker>::check_file", "Argument[0]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path].Field[std::path::PathBuf::inner]", "value", "dfc-generated"]
-      - ["<style_tests::style::StyleChecker>::check_file", "Argument[0].Field[alloc::borrow::Cow::Owned(0)]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path]", "value", "dfc-generated"]
       - ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "Argument[self].Field[style::style::StyleChecker::path].Field[style_tests::style::StyleChecker::path].Field[std::path::PathBuf::inner]", "value", "dfc-generated"]
       - ["libc::unix::linux_like::CMSG_LEN", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["libc::unix::linux_like::CMSG_SPACE", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -84,8 +72,18 @@ extensions:
       pack: codeql/rust-all
       extensible: sinkModel
     data:
+      - ["<style::style::StyleChecker>::check_file", "Argument[0]", "log-injection", "df-generated"]
       - ["<style::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
+      - ["<style::style::StyleChecker>::check_file", "Argument[0]", "pointer-access", "df-generated"]
+      - ["<style::style::StyleChecker>::finalize", "Argument[self]", "log-injection", "df-generated"]
+      - ["<style::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
+      - ["<style::style::StyleChecker>::finalize", "Argument[self]", "pointer-access", "df-generated"]
+      - ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "log-injection", "df-generated"]
       - ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "path-injection", "df-generated"]
+      - ["<style_tests::style::StyleChecker>::check_file", "Argument[0]", "pointer-access", "df-generated"]
+      - ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "log-injection", "df-generated"]
+      - ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "path-injection", "df-generated"]
+      - ["<style_tests::style::StyleChecker>::finalize", "Argument[self]", "pointer-access", "df-generated"]
   - addsTo:
       pack: codeql/rust-all
       extensible: sourceModel