diff --git a/rust/ql/lib/ext/generated/actix-web.model.yml b/rust/ql/lib/ext/generated/actix-web.model.yml
index ea9da767d9c8..e925255eb831 100644
--- a/rust/ql/lib/ext/generated/actix-web.model.yml
+++ b/rust/ql/lib/ext/generated/actix-web.model.yml
@@ -26,6 +26,8 @@ extensions:
       - ["<actix_files::files::Files>::use_hidden_files", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_files::files::Files>::use_last_modified", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_files::named::NamedFile as actix_service::ServiceFactory>::new_service", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<actix_files::named::NamedFile as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_files::named::NamedFile::file]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_files::named::NamedFile as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_files::named::NamedFile::file]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_files::named::NamedFile>::content_disposition", "Argument[self].Field[actix_files::named::NamedFile::content_disposition]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_files::named::NamedFile>::content_encoding", "Argument[self].Field[actix_files::named::NamedFile::encoding]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_files::named::NamedFile>::content_type", "Argument[self].Field[actix_files::named::NamedFile::content_type]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -57,6 +59,7 @@ extensions:
       - ["<actix_files::named::NamedFileService as actix_service::Service>::call", "Argument[self].Field[actix_files::named::NamedFileService::path]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_files::path_buf::PathBufWrap as core::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_files::service::FilesService as actix_service::Service>::call", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_files::service::FilesService as actix_service::Service>::call", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_files::service::FilesService as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_files::service::FilesService as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_files::service::FilesService(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_http::OnConnectData>::from_io", "Argument[1]", "Argument[0]", "taint", "df-generated"]
@@ -119,6 +122,11 @@ extensions:
       - ["<actix_http::encoding::encoder::Encoder>::response", "Argument[2]", "ReturnValue.Field[actix_http::encoding::encoder::Encoder::body].Field[actix_http::encoding::encoder::EncoderBody::Stream::body]", "value", "dfc-generated"]
       - ["<actix_http::encoding::encoder::EncoderBody as actix_http::body::message_body::MessageBody>::try_into_bytes", "Argument[self]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<actix_http::encoding::encoder::EncoderError as core::error::Error>::source", "Argument[self].Field[actix_http::encoding::encoder::EncoderError::Io(0)]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<actix_http::error::DispatchError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::error::DispatchError::Body(0)]", "value", "dfc-generated"]
+      - ["<actix_http::error::DispatchError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::error::DispatchError::H2(0)]", "value", "dfc-generated"]
+      - ["<actix_http::error::DispatchError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::error::DispatchError::Io(0)]", "value", "dfc-generated"]
+      - ["<actix_http::error::DispatchError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::error::DispatchError::Parse(0)]", "value", "dfc-generated"]
+      - ["<actix_http::error::DispatchError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::error::DispatchError::Service(0)]", "value", "dfc-generated"]
       - ["<actix_http::error::DispatchError as core::error::Error>::source", "Argument[self].Field[actix_http::error::DispatchError::H2(0)]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<actix_http::error::DispatchError as core::error::Error>::source", "Argument[self].Field[actix_http::error::DispatchError::Io(0)]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<actix_http::error::DispatchError as core::error::Error>::source", "Argument[self].Field[actix_http::error::DispatchError::Parse(0)]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
@@ -149,8 +157,7 @@ extensions:
       - ["<actix_http::h1::dispatcher::InnerDispatcher>::project_ref", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_http::h1::encoder::TransferEncoding>::encode", "Argument[self].Field[actix_http::h1::encoder::TransferEncoding::kind].Field[actix_http::h1::encoder::TransferEncodingKind::Chunked(0)]", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
       - ["<actix_http::h1::encoder::TransferEncoding>::length", "Argument[0]", "ReturnValue.Field[actix_http::h1::encoder::TransferEncoding::kind].Field[actix_http::h1::encoder::TransferEncodingKind::Length(0)]", "value", "dfc-generated"]
-      - ["<actix_http::h1::service::H1Service as actix_service::ServiceFactory>::new_service", "Argument[self].Field[actix_http::h1::service::H1Service::on_connect_ext].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
-      - ["<actix_http::h1::service::H1Service as actix_service::ServiceFactory>::new_service", "Argument[self].Field[actix_http::h1::service::H1Service::on_connect_ext]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_http::h1::service::H1Service as actix_service::ServiceFactory>::new_service", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_http::h1::service::H1Service>::expect", "Argument[0]", "ReturnValue.Field[actix_http::h1::service::H1Service::expect]", "value", "dfc-generated"]
       - ["<actix_http::h1::service::H1Service>::on_connect_ext", "Argument[0]", "Argument[self].Field[actix_http::h1::service::H1Service::on_connect_ext]", "value", "dfc-generated"]
       - ["<actix_http::h1::service::H1Service>::on_connect_ext", "Argument[0]", "ReturnValue.Field[actix_http::h1::service::H1Service::on_connect_ext]", "value", "dfc-generated"]
@@ -172,8 +179,7 @@ extensions:
       - ["<actix_http::h2::dispatcher::Dispatcher>::new", "Argument[3]", "ReturnValue.Field[actix_http::h2::dispatcher::Dispatcher::peer_addr]", "value", "dfc-generated"]
       - ["<actix_http::h2::dispatcher::Dispatcher>::project", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_http::h2::dispatcher::Dispatcher>::project_ref", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<actix_http::h2::service::H2Service as actix_service::ServiceFactory>::new_service", "Argument[self].Field[actix_http::h2::service::H2Service::on_connect_ext].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
-      - ["<actix_http::h2::service::H2Service as actix_service::ServiceFactory>::new_service", "Argument[self].Field[actix_http::h2::service::H2Service::on_connect_ext]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_http::h2::service::H2Service as actix_service::ServiceFactory>::new_service", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_http::h2::service::H2Service>::on_connect_ext", "Argument[0]", "Argument[self].Field[actix_http::h2::service::H2Service::on_connect_ext]", "value", "dfc-generated"]
       - ["<actix_http::h2::service::H2Service>::on_connect_ext", "Argument[0]", "ReturnValue.Field[actix_http::h2::service::H2Service::on_connect_ext]", "value", "dfc-generated"]
       - ["<actix_http::h2::service::H2Service>::on_connect_ext", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -195,6 +201,8 @@ extensions:
       - ["<actix_http::keep_alive::KeepAlive>::duration", "Argument[self].Field[actix_http::keep_alive::KeepAlive::Timeout(0)].Reference", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<actix_http::keep_alive::KeepAlive>::normalize", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_http::message::Message as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_http::message::Message::head].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_http::message::Message as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_http::message::Message::head]", "ReturnValue.Reference.Reference", "value", "dfc-generated"]
+      - ["<actix_http::message::Message as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_http::message::Message::head]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_http::payload::Payload as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::payload::Payload::H1::payload]", "value", "dfc-generated"]
       - ["<actix_http::payload::Payload as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::payload::Payload::H2::payload].Field[actix_http::h2::Payload::stream]", "value", "dfc-generated"]
       - ["<actix_http::payload::Payload as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::payload::Payload::H2::payload]", "value", "dfc-generated"]
@@ -271,8 +279,7 @@ extensions:
       - ["<actix_http::responses::response::Response>::set_body", "Argument[self].Field[actix_http::responses::response::Response::extensions]", "ReturnValue.Field[actix_http::responses::response::Response::extensions]", "value", "dfc-generated"]
       - ["<actix_http::responses::response::Response>::set_body", "Argument[self].Field[actix_http::responses::response::Response::head]", "ReturnValue.Field[actix_http::responses::response::Response::head]", "value", "dfc-generated"]
       - ["<actix_http::responses::response::Response>::with_body", "Argument[1]", "ReturnValue.Field[actix_http::responses::response::Response::body]", "value", "dfc-generated"]
-      - ["<actix_http::service::HttpService as actix_service::ServiceFactory>::new_service", "Argument[self].Field[actix_http::service::HttpService::on_connect_ext].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
-      - ["<actix_http::service::HttpService as actix_service::ServiceFactory>::new_service", "Argument[self].Field[actix_http::service::HttpService::on_connect_ext]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_http::service::HttpService as actix_service::ServiceFactory>::new_service", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_http::service::HttpService>::expect", "Argument[0]", "ReturnValue.Field[actix_http::service::HttpService::expect]", "value", "dfc-generated"]
       - ["<actix_http::service::HttpService>::on_connect_ext", "Argument[0]", "Argument[self].Field[actix_http::service::HttpService::on_connect_ext]", "value", "dfc-generated"]
       - ["<actix_http::service::HttpService>::on_connect_ext", "Argument[0]", "ReturnValue.Field[actix_http::service::HttpService::on_connect_ext]", "value", "dfc-generated"]
@@ -285,12 +292,21 @@ extensions:
       - ["<actix_http::service::HttpServiceHandlerResponse>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[actix_http::service::HttpServiceHandlerResponse::state]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<actix_http::service::TlsAcceptorConfig>::handshake_timeout", "Argument[0]", "ReturnValue.Field[actix_http::service::TlsAcceptorConfig::handshake_timeout].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<actix_http::test::TestBuffer>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<actix_http::test::TestBuffer>::read_buf_slice", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<actix_http::test::TestBuffer>::write_buf_slice", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_http::test::TestRequest>::append_header", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_http::test::TestRequest>::insert_header", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_http::test::TestRequest>::method", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_http::test::TestRequest>::set_payload", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_http::test::TestRequest>::uri", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_http::test::TestRequest>::version", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<actix_http::test::TestSeqBuffer>::err", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<actix_http::test::TestSeqBuffer>::read_buf", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<actix_http::test::TestSeqBuffer>::write_buf", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<actix_http::ws::ProtocolError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::ws::ProtocolError::ContinuationFragment(0)]", "value", "dfc-generated"]
+      - ["<actix_http::ws::ProtocolError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::ws::ProtocolError::InvalidLength(0)]", "value", "dfc-generated"]
+      - ["<actix_http::ws::ProtocolError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::ws::ProtocolError::InvalidOpcode(0)]", "value", "dfc-generated"]
+      - ["<actix_http::ws::ProtocolError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::ws::ProtocolError::Io(0)]", "value", "dfc-generated"]
       - ["<actix_http::ws::codec::Codec as tokio_util::codec::decoder::Decoder>::decode", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_http::ws::codec::Codec>::client_mode", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_http::ws::codec::Codec>::max_size", "Argument[0]", "Argument[self].Field[actix_http::ws::codec::Codec::max_size]", "value", "dfc-generated"]
@@ -316,9 +332,43 @@ extensions:
       - ["<actix_http::ws::proto::CloseReason as core::convert::From>::from", "Argument[0].Field[0]", "ReturnValue.Field[actix_http::ws::proto::CloseReason::code]", "value", "dfc-generated"]
       - ["<actix_http::ws::proto::CloseReason as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_http::ws::proto::CloseReason::code]", "value", "dfc-generated"]
       - ["<actix_http_test::TestServer>::addr", "Argument[self].Field[actix_http_test::TestServer::addr]", "ReturnValue", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::delete", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::delete", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::get", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::get", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::head", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::head", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::options", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::options", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::patch", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::patch", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::post", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::post", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::put", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::put", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
       - ["<actix_http_test::TestServer>::request", "Argument[0]", "ReturnValue.Field[awc::request::ClientRequest::head].Field[actix_http::requests::head::RequestHead::method]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::request", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::request", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::sdelete", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::sdelete", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::sget", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::sget", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::shead", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::shead", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::soptions", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::soptions", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::spatch", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::spatch", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::spost", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::spost", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::sput", "Argument[self].Field[actix_http_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_http_test::TestServer>::sput", "Argument[self].Field[actix_http_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
       - ["<actix_http_test::TestServer>::surl", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_http_test::TestServer>::url", "Argument[0]", "ReturnValue", "taint", "df-generated"]
+      - ["<actix_multipart::error::Error as core::convert::From>::from", "Argument[0].Field[0]", "ReturnValue.Field[actix_multipart::error::Error::Field::name]", "value", "dfc-generated"]
+      - ["<actix_multipart::error::Error as core::convert::From>::from", "Argument[0].Field[1]", "ReturnValue.Field[actix_multipart::error::Error::Field::source]", "value", "dfc-generated"]
+      - ["<actix_multipart::error::Error as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_multipart::error::Error::Parse(0)]", "value", "dfc-generated"]
+      - ["<actix_multipart::error::Error as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_multipart::error::Error::Payload(0)]", "value", "dfc-generated"]
       - ["<actix_multipart::field::Field>::content_disposition", "Argument[self].Field[actix_multipart::field::Field::content_disposition].Field[core::option::Option::Some(0)]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
       - ["<actix_multipart::field::Field>::content_type", "Argument[self].Field[actix_multipart::field::Field::content_type].Field[core::option::Option::Some(0)]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
       - ["<actix_multipart::field::Field>::headers", "Argument[self].Field[actix_multipart::field::Field::headers]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -332,6 +382,10 @@ extensions:
       - ["<actix_multipart::field::InnerField>::new", "Argument[1]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[actix_multipart::field::InnerField::boundary]", "value", "dfc-generated"]
       - ["<actix_multipart::form::Limits>::new", "Argument[0]", "ReturnValue.Field[actix_multipart::form::Limits::total_limit_remaining]", "value", "dfc-generated"]
       - ["<actix_multipart::form::Limits>::new", "Argument[1]", "ReturnValue.Field[actix_multipart::form::Limits::memory_limit_remaining]", "value", "dfc-generated"]
+      - ["<actix_multipart::form::MultipartForm as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::MultipartForm as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_multipart::form::MultipartForm(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::MultipartForm as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::MultipartForm as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_multipart::form::MultipartForm(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::MultipartForm>::into_inner", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_multipart::form::MultipartForm>::into_inner", "Argument[self].Field[actix_multipart::form::MultipartForm(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_multipart::form::MultipartFormConfig>::error_handler", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -341,11 +395,19 @@ extensions:
       - ["<actix_multipart::form::MultipartFormConfig>::total_limit", "Argument[0]", "Argument[self].Field[actix_multipart::form::MultipartFormConfig::total_limit]", "value", "dfc-generated"]
       - ["<actix_multipart::form::MultipartFormConfig>::total_limit", "Argument[0]", "ReturnValue.Field[actix_multipart::form::MultipartFormConfig::total_limit]", "value", "dfc-generated"]
       - ["<actix_multipart::form::MultipartFormConfig>::total_limit", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<actix_multipart::form::State as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::State as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_multipart::form::State(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::State as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::State as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_multipart::form::State(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::bytes::Bytes as actix_multipart::form::FieldReader>::read_field", "Argument[1]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::bytes::Bytes as actix_multipart::form::FieldReader>::read_field", "Argument[2]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::json::Json as actix_multipart::form::FieldReader>::read_field", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::json::Json as actix_multipart::form::FieldReader>::read_field", "Argument[1]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::json::Json as actix_multipart::form::FieldReader>::read_field", "Argument[2]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::json::Json as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::json::Json as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_multipart::form::json::Json(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::json::Json as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::json::Json as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_multipart::form::json::Json(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::json::Json>::into_inner", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_multipart::form::json::Json>::into_inner", "Argument[self].Field[actix_multipart::form::json::Json(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_multipart::form::json::JsonConfig>::error_handler", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -360,6 +422,10 @@ extensions:
       - ["<actix_multipart::form::text::Text as actix_multipart::form::FieldReader>::read_field", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::text::Text as actix_multipart::form::FieldReader>::read_field", "Argument[1]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::text::Text as actix_multipart::form::FieldReader>::read_field", "Argument[2]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::text::Text as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::text::Text as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_multipart::form::text::Text(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::text::Text as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_multipart::form::text::Text as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_multipart::form::text::Text(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_multipart::form::text::Text>::into_inner", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_multipart::form::text::Text>::into_inner", "Argument[self].Field[actix_multipart::form::text::Text(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_multipart::form::text::TextConfig>::error_handler", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -378,6 +444,7 @@ extensions:
       - ["<actix_router::path::Path>::new", "Argument[0]", "ReturnValue.Field[actix_router::path::Path::path]", "value", "dfc-generated"]
       - ["<actix_router::path::Path>::segment_count", "Argument[self].Field[actix_router::path::Path::segments].Field[alloc::vec::Vec::len]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_router::path::Path>::set", "Argument[0]", "Argument[self].Field[actix_router::path::Path::path]", "value", "dfc-generated"]
+      - ["<actix_router::pattern::Patterns as actix_router::pattern::IntoPatterns>::patterns", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_router::resource::ResourceDef>::capture_match_info_fn", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
       - ["<actix_router::resource::ResourceDef>::id", "Argument[self].Field[actix_router::resource::ResourceDef::id]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_router::resource::ResourceDef>::is_prefix", "Argument[self].Field[actix_router::resource::ResourceDef::is_prefix]", "ReturnValue", "value", "dfc-generated"]
@@ -389,9 +456,27 @@ extensions:
       - ["<actix_router::url::Url>::new", "Argument[0]", "ReturnValue.Field[actix_router::url::Url::uri]", "value", "dfc-generated"]
       - ["<actix_router::url::Url>::new_with_quoter", "Argument[0]", "ReturnValue.Field[actix_router::url::Url::uri]", "value", "dfc-generated"]
       - ["<actix_router::url::Url>::path", "Argument[self].Field[actix_router::url::Url::path].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_router::url::Url>::update", "Argument[0].Reference", "Argument[self].Field[actix_router::url::Url::uri]", "value", "dfc-generated"]
+      - ["<actix_router::url::Url>::update_with_quoter", "Argument[0].Reference", "Argument[self].Field[actix_router::url::Url::uri]", "value", "dfc-generated"]
       - ["<actix_router::url::Url>::uri", "Argument[self].Field[actix_router::url::Url::uri]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_test::TestServer>::addr", "Argument[self].Field[actix_test::TestServer::addr]", "ReturnValue", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::delete", "Argument[self].Field[actix_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::delete", "Argument[self].Field[actix_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::get", "Argument[self].Field[actix_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::get", "Argument[self].Field[actix_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::head", "Argument[self].Field[actix_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::head", "Argument[self].Field[actix_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::options", "Argument[self].Field[actix_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::options", "Argument[self].Field[actix_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::patch", "Argument[self].Field[actix_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::patch", "Argument[self].Field[actix_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::post", "Argument[self].Field[actix_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::post", "Argument[self].Field[actix_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::put", "Argument[self].Field[actix_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::put", "Argument[self].Field[actix_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
       - ["<actix_test::TestServer>::request", "Argument[0]", "ReturnValue.Field[awc::request::ClientRequest::head].Field[actix_http::requests::head::RequestHead::method]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::request", "Argument[self].Field[actix_test::TestServer::client].Field[0]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
+      - ["<actix_test::TestServer>::request", "Argument[self].Field[actix_test::TestServer::client].Field[awc::client::Client(0)]", "ReturnValue.Field[awc::request::ClientRequest::config]", "value", "dfc-generated"]
       - ["<actix_test::TestServer>::url", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_test::TestServer>::url", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_test::TestServerConfig>::client_request_timeout", "Argument[0]", "Argument[self].Field[actix_test::TestServerConfig::client_request_timeout]", "value", "dfc-generated"]
@@ -454,6 +539,8 @@ extensions:
       - ["<actix_web::config::AppConfig>::new", "Argument[1]", "ReturnValue.Field[actix_web::config::AppConfig::host]", "value", "dfc-generated"]
       - ["<actix_web::config::AppConfig>::new", "Argument[2]", "ReturnValue.Field[actix_web::config::AppConfig::addr]", "value", "dfc-generated"]
       - ["<actix_web::config::AppConfig>::secure", "Argument[self].Field[actix_web::config::AppConfig::secure]", "ReturnValue", "value", "dfc-generated"]
+      - ["<actix_web::config::AppService>::clone_config", "Argument[self].Field[actix_web::config::AppService::config].Reference", "ReturnValue.Field[actix_web::config::AppService::config]", "value", "dfc-generated"]
+      - ["<actix_web::config::AppService>::clone_config", "Argument[self].Field[actix_web::config::AppService::config]", "ReturnValue.Field[actix_web::config::AppService::config]", "value", "dfc-generated"]
       - ["<actix_web::config::AppService>::clone_config", "Argument[self].Field[actix_web::config::AppService::default]", "ReturnValue.Field[actix_web::config::AppService::default]", "value", "dfc-generated"]
       - ["<actix_web::config::AppService>::config", "Argument[self].Field[actix_web::config::AppService::config]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::config::AppService>::default_service", "Argument[self].Field[actix_web::config::AppService::default]", "ReturnValue", "value", "dfc-generated"]
@@ -475,10 +562,18 @@ extensions:
       - ["<actix_web::data::Data as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::data::Data(0)]", "value", "dfc-generated"]
       - ["<actix_web::data::Data as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::data::Data as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::data::Data(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
-      - ["<actix_web::data::Data>::get_ref", "Argument[self].Field[0].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
-      - ["<actix_web::data::Data>::get_ref", "Argument[self].Field[actix_web::data::Data(0)].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::data::Data>::get_ref", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<actix_web::data::Data>::into_inner", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::data::Data>::into_inner", "Argument[self].Field[actix_web::data::Data(0)]", "ReturnValue", "value", "dfc-generated"]
+      - ["<actix_web::error::QueryPayloadError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::error::QueryPayloadError::Deserialize(0)]", "value", "dfc-generated"]
+      - ["<actix_web::error::ReadlinesError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::error::ReadlinesError::ContentTypeError(0)]", "value", "dfc-generated"]
+      - ["<actix_web::error::ReadlinesError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::error::ReadlinesError::Payload(0)]", "value", "dfc-generated"]
+      - ["<actix_web::error::UrlGenerationError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::error::UrlGenerationError::ParseError(0)]", "value", "dfc-generated"]
+      - ["<actix_web::error::UrlencodedError as core::convert::From>::from", "Argument[0].Field[0]", "ReturnValue.Field[actix_web::error::UrlencodedError::Overflow::size]", "value", "dfc-generated"]
+      - ["<actix_web::error::UrlencodedError as core::convert::From>::from", "Argument[0].Field[1]", "ReturnValue.Field[actix_web::error::UrlencodedError::Overflow::limit]", "value", "dfc-generated"]
+      - ["<actix_web::error::UrlencodedError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::error::UrlencodedError::Parse(0)]", "value", "dfc-generated"]
+      - ["<actix_web::error::UrlencodedError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::error::UrlencodedError::Payload(0)]", "value", "dfc-generated"]
+      - ["<actix_web::error::UrlencodedError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::error::UrlencodedError::Serialize(0)]", "value", "dfc-generated"]
       - ["<actix_web::error::error::Error as core::convert::From>::from", "Argument[0].Field[actix_web::types::either::EitherExtractError::Bytes(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::error::error::Error as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::error::error::Error::cause].Reference", "value", "dfc-generated"]
       - ["<actix_web::error::error::Error as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::error::error::Error::cause]", "value", "dfc-generated"]
@@ -499,11 +594,56 @@ extensions:
       - ["<actix_web::guard::acceptable::Acceptable>::match_star_star", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::guard::acceptable::Acceptable>::new", "Argument[0]", "ReturnValue.Field[actix_web::guard::acceptable::Acceptable::mime]", "value", "dfc-generated"]
       - ["<actix_web::guard::host::HostGuard>::scheme", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept::Accept as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept::Accept as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::accept::Accept(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept::Accept as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept::Accept as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::accept::Accept(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_charset::AcceptCharset as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_charset::AcceptCharset as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::accept_charset::AcceptCharset(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_charset::AcceptCharset as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_charset::AcceptCharset as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::accept_charset::AcceptCharset(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_encoding::AcceptEncoding as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_encoding::AcceptEncoding as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::accept_encoding::AcceptEncoding(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_encoding::AcceptEncoding as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_encoding::AcceptEncoding as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::accept_encoding::AcceptEncoding(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_encoding::AcceptEncoding>::preference", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<actix_web::http::header::accept_language::AcceptLanguage as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_language::AcceptLanguage as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::accept_language::AcceptLanguage(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_language::AcceptLanguage as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::accept_language::AcceptLanguage as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::accept_language::AcceptLanguage(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::allow::Allow as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::allow::Allow as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::allow::Allow(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::allow::Allow as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::allow::Allow as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::allow::Allow(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::cache_control::CacheControl as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::cache_control::CacheControl as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::cache_control::CacheControl(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::cache_control::CacheControl as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::cache_control::CacheControl as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::cache_control::CacheControl(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::http::header::content_disposition::DispositionParam>::as_filename_ext", "Argument[self].Field[actix_web::http::header::content_disposition::DispositionParam::FilenameExt(0)]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<actix_web::http::header::content_disposition::DispositionParam>::as_unknown_ext", "Argument[self].Field[actix_web::http::header::content_disposition::DispositionParam::UnknownExt(1)]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_language::ContentLanguage as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_language::ContentLanguage as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::content_language::ContentLanguage(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_language::ContentLanguage as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_language::ContentLanguage as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::content_language::ContentLanguage(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::http::header::content_length::ContentLength as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::http::header::content_length::ContentLength(0)]", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_length::ContentLength as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_length::ContentLength as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::content_length::ContentLength(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_length::ContentLength as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_length::ContentLength as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::content_length::ContentLength(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::http::header::content_length::ContentLength>::into_inner", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::http::header::content_length::ContentLength>::into_inner", "Argument[self].Field[actix_web::http::header::content_length::ContentLength(0)]", "ReturnValue", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_range::ContentRange as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_range::ContentRange as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::content_range::ContentRange(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_range::ContentRange as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_range::ContentRange as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::content_range::ContentRange(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_type::ContentType as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_type::ContentType as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::content_type::ContentType(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_type::ContentType as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::content_type::ContentType as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::content_type::ContentType(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::date::Date as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::date::Date as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::date::Date(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::date::Date as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::date::Date as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::date::Date(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::http::header::entity::EntityTag>::new", "Argument[0]", "ReturnValue.Field[actix_web::http::header::entity::EntityTag::weak]", "value", "dfc-generated"]
       - ["<actix_web::http::header::entity::EntityTag>::new", "Argument[1]", "ReturnValue.Field[actix_web::http::header::entity::EntityTag::tag]", "value", "dfc-generated"]
       - ["<actix_web::http::header::entity::EntityTag>::new_strong", "Argument[0]", "ReturnValue.Field[actix_web::http::header::entity::EntityTag::tag]", "value", "dfc-generated"]
@@ -512,6 +652,26 @@ extensions:
       - ["<actix_web::http::header::entity::EntityTag>::tag", "Argument[self].Field[actix_web::http::header::entity::EntityTag::tag]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::http::header::entity::EntityTag>::tag", "Argument[self].Field[actix_web::http::header::entity::EntityTag::tag]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::http::header::entity::EntityTag>::weak", "Argument[0]", "ReturnValue.Field[actix_web::http::header::entity::EntityTag::tag]", "value", "dfc-generated"]
+      - ["<actix_web::http::header::etag::ETag as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::etag::ETag as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::etag::ETag(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::etag::ETag as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::etag::ETag as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::etag::ETag(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::expires::Expires as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::expires::Expires as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::expires::Expires(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::expires::Expires as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::expires::Expires as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::expires::Expires(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::if_modified_since::IfModifiedSince as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::if_modified_since::IfModifiedSince as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::if_modified_since::IfModifiedSince(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::if_modified_since::IfModifiedSince as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::if_modified_since::IfModifiedSince as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::if_modified_since::IfModifiedSince(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::if_unmodified_since::IfUnmodifiedSince as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::if_unmodified_since::IfUnmodifiedSince as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::if_unmodified_since::IfUnmodifiedSince(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::if_unmodified_since::IfUnmodifiedSince as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::if_unmodified_since::IfUnmodifiedSince as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::if_unmodified_since::IfUnmodifiedSince(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::last_modified::LastModified as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::last_modified::LastModified as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::http::header::last_modified::LastModified(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::last_modified::LastModified as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::http::header::last_modified::LastModified as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::http::header::last_modified::LastModified(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::http::header::preference::Preference>::into_item", "Argument[self].Field[actix_web::http::header::preference::Preference::Specific(0)]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<actix_web::http::header::preference::Preference>::item", "Argument[self].Field[actix_web::http::header::preference::Preference::Specific(0)]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
       - ["<actix_web::http::header::range::ByteRangeSpec>::to_satisfiable_range", "Argument[self].Reference.Field[actix_web::http::header::range::ByteRangeSpec::From(0)]", "ReturnValue.Field[core::option::Option::Some(0)].Field[0]", "value", "dfc-generated"]
@@ -750,12 +910,14 @@ extensions:
       - ["<actix_web::thin_data::ThinData as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::thin_data::ThinData(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::thin_data::ThinData as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::thin_data::ThinData as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::thin_data::ThinData(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::types::either::Either as actix_web::extract::FromRequest>::from_request", "Argument[0].Reference", "ReturnValue.Field[actix_web::types::either::EitherExtractFut::req]", "value", "dfc-generated"]
       - ["<actix_web::types::either::Either>::unwrap_left", "Argument[self].Field[actix_web::types::either::Either::Left(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::types::either::Either>::unwrap_right", "Argument[self].Field[actix_web::types::either::Either::Right(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::types::either::EitherExtractFut>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[actix_web::types::either::EitherExtractFut::req]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::types::either::EitherExtractFut>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[actix_web::types::either::EitherExtractFut::state]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<actix_web::types::either::EitherExtractFut>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[actix_web::types::either::EitherExtractFut::req]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::types::either::EitherExtractFut>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[actix_web::types::either::EitherExtractFut::state]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
+      - ["<actix_web::types::form::Form as actix_web::extract::FromRequest>::from_request", "Argument[0].Reference", "ReturnValue.Field[actix_web::types::form::FormExtractFut::req]", "value", "dfc-generated"]
       - ["<actix_web::types::form::Form as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::types::form::Form as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::types::form::Form(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::types::form::Form as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -777,6 +939,7 @@ extensions:
       - ["<actix_web::types::header::Header>::into_inner", "Argument[self].Field[actix_web::types::header::Header(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::types::html::Html as actix_web::response::responder::Responder>::respond_to", "Argument[self].Field[0]", "ReturnValue.Field[actix_web::response::response::HttpResponse::res].Field[actix_http::responses::response::Response::body]", "value", "dfc-generated"]
       - ["<actix_web::types::html::Html as actix_web::response::responder::Responder>::respond_to", "Argument[self].Field[actix_web::types::html::Html(0)]", "ReturnValue.Field[actix_web::response::response::HttpResponse::res].Field[actix_http::responses::response::Response::body]", "value", "dfc-generated"]
+      - ["<actix_web::types::json::Json as actix_web::extract::FromRequest>::from_request", "Argument[0].Reference", "ReturnValue.Field[actix_web::types::json::JsonExtractFut::req].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<actix_web::types::json::Json as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::types::json::Json as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::types::json::Json(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::types::json::Json as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -792,6 +955,13 @@ extensions:
       - ["<actix_web::types::json::JsonConfig>::limit", "Argument[0]", "Argument[self].Field[actix_web::types::json::JsonConfig::limit]", "value", "dfc-generated"]
       - ["<actix_web::types::json::JsonConfig>::limit", "Argument[0]", "ReturnValue.Field[actix_web::types::json::JsonConfig::limit]", "value", "dfc-generated"]
       - ["<actix_web::types::json::JsonConfig>::limit", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<actix_web::types::path::Path as core::convert::AsRef>::as_ref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::types::path::Path as core::convert::AsRef>::as_ref", "Argument[self].Field[actix_web::types::path::Path(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::types::path::Path as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[actix_web::types::path::Path(0)]", "value", "dfc-generated"]
+      - ["<actix_web::types::path::Path as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::types::path::Path as core::ops::deref::Deref>::deref", "Argument[self].Field[actix_web::types::path::Path(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::types::path::Path as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<actix_web::types::path::Path as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[actix_web::types::path::Path(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<actix_web::types::path::Path>::into_inner", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::types::path::Path>::into_inner", "Argument[self].Field[actix_web::types::path::Path(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web::types::path::PathConfig>::error_handler", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -834,6 +1004,7 @@ extensions:
       - ["<actix_web_actors::ws::WsResponseBuilder>::protocols", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<actix_web_codegen::route::MethodTypeExt as core::convert::TryFrom>::try_from", "Argument[0].Reference", "ReturnValue.Field[core::result::Result::Ok(0)].Field[actix_web_codegen::route::MethodTypeExt::Custom(0)]", "value", "dfc-generated"]
       - ["<actix_web_codegen::route::Route>::new", "Argument[0].Field[actix_web_codegen::route::RouteArgs::path]", "ReturnValue.Field[actix_web_codegen::route::Args::path]", "value", "dfc-generated"]
+      - ["<actix_web_codegen::route::Route>::new", "Argument[1].Field[syn::item::ItemFn::sig].Field[syn::item::Signature::ident]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[actix_web_codegen::route::Route::name]", "value", "dfc-generated"]
       - ["<actix_web_codegen::route::Route>::new", "Argument[1]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[actix_web_codegen::route::Route::ast]", "value", "dfc-generated"]
       - ["<alloc::string::String as actix_http::body::message_body::MessageBody>::size", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::string::String as actix_router::pattern::IntoPatterns>::patterns", "Argument[self].Field[alloc::string::String::vec].Reference", "ReturnValue.Field[actix_router::pattern::Patterns::Single(0)].Field[alloc::string::String::vec]", "value", "dfc-generated"]
@@ -873,7 +1044,18 @@ extensions:
       - ["<awc::builder::ClientBuilder>::timeout", "Argument[0]", "ReturnValue.Field[awc::builder::ClientBuilder::timeout].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<awc::builder::ClientBuilder>::timeout", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<awc::builder::ClientBuilder>::wrap", "Argument[0]", "ReturnValue.Field[awc::builder::ClientBuilder::middleware].Field[awc::middleware::NestTransform::parent]", "value", "dfc-generated"]
+      - ["<awc::client::Client>::delete", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<awc::client::Client>::get", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<awc::client::Client>::head", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<awc::client::Client>::options", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<awc::client::Client>::patch", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<awc::client::Client>::post", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<awc::client::Client>::put", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<awc::client::Client>::request", "Argument[0]", "ReturnValue.Field[awc::request::ClientRequest::head].Field[actix_http::requests::head::RequestHead::method]", "value", "dfc-generated"]
+      - ["<awc::client::Client>::request_from", "Argument[1].Field[actix_http::requests::head::RequestHead::method].Reference", "ReturnValue.Field[awc::request::ClientRequest::head].Field[actix_http::requests::head::RequestHead::method]", "value", "dfc-generated"]
+      - ["<awc::client::Client>::request_from", "Argument[1].Field[actix_http::requests::head::RequestHead::method]", "ReturnValue.Field[awc::request::ClientRequest::head].Field[actix_http::requests::head::RequestHead::method]", "value", "dfc-generated"]
+      - ["<awc::client::Client>::ws", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<awc::client::config::ConnectorConfig>::no_disconnect_timeout", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<awc::client::connection::Connection>::open_tunnel", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<awc::client::connection::Connection>::open_tunnel", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<awc::client::connection::Connection>::send_request", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -937,6 +1119,24 @@ extensions:
       - ["<awc::client::connector::TlsConnectorService as actix_service::Service>::call", "Argument[self].Field[awc::client::connector::TlsConnectorService::timeout]", "ReturnValue.Field[awc::client::connector::TlsConnectorFuture::TcpConnect::timeout]", "value", "dfc-generated"]
       - ["<awc::client::connector::TlsConnectorService as actix_service::Service>::call", "Argument[self].Field[awc::client::connector::TlsConnectorService::tls_service].Reference", "ReturnValue.Field[awc::client::connector::TlsConnectorFuture::TcpConnect::tls_service].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<awc::client::connector::TlsConnectorService as actix_service::Service>::call", "Argument[self].Field[awc::client::connector::TlsConnectorService::tls_service]", "ReturnValue.Field[awc::client::connector::TlsConnectorFuture::TcpConnect::tls_service].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::ConnectError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::ConnectError::H2(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::ConnectError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::ConnectError::Io(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::ConnectError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::ConnectError::Resolver(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::ConnectError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::ConnectError::SslError(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::FreezeRequestError as core::convert::From>::from", "Argument[0].Field[0]", "ReturnValue.Field[awc::client::error::FreezeRequestError::Custom(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::FreezeRequestError as core::convert::From>::from", "Argument[0].Field[1]", "ReturnValue.Field[awc::client::error::FreezeRequestError::Custom(1)]", "value", "dfc-generated"]
+      - ["<awc::client::error::FreezeRequestError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::FreezeRequestError::Http(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::FreezeRequestError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::FreezeRequestError::Url(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::InvalidUrl as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::InvalidUrl::HttpError(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::SendRequestError as core::convert::From>::from", "Argument[0].Field[0]", "ReturnValue.Field[awc::client::error::SendRequestError::Custom(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::SendRequestError as core::convert::From>::from", "Argument[0].Field[1]", "ReturnValue.Field[awc::client::error::SendRequestError::Custom(1)]", "value", "dfc-generated"]
+      - ["<awc::client::error::SendRequestError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::SendRequestError::Body(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::SendRequestError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::SendRequestError::Connect(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::SendRequestError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::SendRequestError::H2(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::SendRequestError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::SendRequestError::Http(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::SendRequestError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::SendRequestError::Response(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::SendRequestError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::SendRequestError::Send(0)]", "value", "dfc-generated"]
+      - ["<awc::client::error::SendRequestError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::client::error::SendRequestError::Url(0)]", "value", "dfc-generated"]
       - ["<awc::client::h1proto::PlStream>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[awc::client::h1proto::PlStream::framed]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<awc::client::h1proto::PlStream>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[awc::client::h1proto::PlStream::framed]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<awc::client::pool::ConnectionPool as actix_service::Service>::call", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -951,7 +1151,17 @@ extensions:
       - ["<awc::connect::ConnectResponse>::into_tunnel_response", "Argument[self].Field[awc::connect::ConnectResponse::Tunnel(1)]", "ReturnValue.Field[1]", "value", "dfc-generated"]
       - ["<awc::connect::DefaultConnector as actix_service::Service>::call", "Argument[0]", "ReturnValue.Field[awc::connect::ConnectRequestFuture::Connection::req].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<awc::connect::DefaultConnector>::new", "Argument[0]", "ReturnValue.Field[awc::connect::DefaultConnector::connector]", "value", "dfc-generated"]
+      - ["<awc::error::JsonPayloadError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::error::JsonPayloadError::Deserialize(0)]", "value", "dfc-generated"]
+      - ["<awc::error::JsonPayloadError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::error::JsonPayloadError::Payload(0)]", "value", "dfc-generated"]
+      - ["<awc::error::WsClientError as core::convert::From>::from", "Argument[0].Field[0]", "ReturnValue.Field[awc::error::WsClientError::InvalidChallengeResponse(0)]", "value", "dfc-generated"]
+      - ["<awc::error::WsClientError as core::convert::From>::from", "Argument[0].Field[1]", "ReturnValue.Field[awc::error::WsClientError::InvalidChallengeResponse(1)]", "value", "dfc-generated"]
+      - ["<awc::error::WsClientError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::error::WsClientError::InvalidConnectionHeader(0)]", "value", "dfc-generated"]
+      - ["<awc::error::WsClientError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::error::WsClientError::InvalidResponseStatus(0)]", "value", "dfc-generated"]
+      - ["<awc::error::WsClientError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::error::WsClientError::Protocol(0)]", "value", "dfc-generated"]
+      - ["<awc::error::WsClientError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::error::WsClientError::SendRequest(0)]", "value", "dfc-generated"]
+      - ["<awc::frozen::FrozenClientRequest>::extra_header", "Argument[self].Reference", "ReturnValue.Field[awc::frozen::FrozenSendBuilder::req]", "value", "dfc-generated"]
       - ["<awc::frozen::FrozenClientRequest>::extra_headers", "Argument[0]", "ReturnValue.Field[awc::frozen::FrozenSendBuilder::extra_headers]", "value", "dfc-generated"]
+      - ["<awc::frozen::FrozenClientRequest>::extra_headers", "Argument[self].Reference", "ReturnValue.Field[awc::frozen::FrozenSendBuilder::req]", "value", "dfc-generated"]
       - ["<awc::frozen::FrozenClientRequest>::send", "Argument[self].Field[awc::frozen::FrozenClientRequest::response_decompress]", "ReturnValue.Field[awc::sender::SendClientRequest::Fut(2)]", "value", "dfc-generated"]
       - ["<awc::frozen::FrozenClientRequest>::send_body", "Argument[self].Field[awc::frozen::FrozenClientRequest::response_decompress]", "ReturnValue.Field[awc::sender::SendClientRequest::Fut(2)]", "value", "dfc-generated"]
       - ["<awc::frozen::FrozenClientRequest>::send_form", "Argument[self].Field[awc::frozen::FrozenClientRequest::response_decompress]", "ReturnValue.Field[awc::sender::SendClientRequest::Fut(2)]", "value", "dfc-generated"]
@@ -1037,6 +1247,10 @@ extensions:
       - ["<awc::responses::response_body::ResponseBody>::limit", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<awc::responses::response_body::ResponseBody>::project", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<awc::responses::response_body::ResponseBody>::project_ref", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<awc::sender::PrepForSendingError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::sender::PrepForSendingError::Form(0)]", "value", "dfc-generated"]
+      - ["<awc::sender::PrepForSendingError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::sender::PrepForSendingError::Http(0)]", "value", "dfc-generated"]
+      - ["<awc::sender::PrepForSendingError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::sender::PrepForSendingError::Json(0)]", "value", "dfc-generated"]
+      - ["<awc::sender::PrepForSendingError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[awc::sender::PrepForSendingError::Url(0)]", "value", "dfc-generated"]
       - ["<awc::sender::RequestSender>::send", "Argument[1]", "ReturnValue.Field[awc::sender::SendClientRequest::Fut(2)]", "value", "dfc-generated"]
       - ["<awc::sender::RequestSender>::send_body", "Argument[1]", "ReturnValue.Field[awc::sender::SendClientRequest::Fut(2)]", "value", "dfc-generated"]
       - ["<awc::sender::RequestSender>::send_form", "Argument[1]", "ReturnValue.Field[awc::sender::SendClientRequest::Fut(2)]", "value", "dfc-generated"]
@@ -1084,6 +1298,7 @@ extensions:
       - ["<std::time::SystemTime as core::convert::From>::from", "Argument[0].Field[actix_http::header::shared::http_date::HttpDate(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["actix_files::chunked::new_chunked_read", "Argument[0]", "ReturnValue.Field[actix_files::chunked::ChunkedReadFile::size]", "value", "dfc-generated"]
       - ["actix_files::chunked::new_chunked_read", "Argument[1]", "ReturnValue.Field[actix_files::chunked::ChunkedReadFile::offset]", "value", "dfc-generated"]
+      - ["actix_files::directory::directory_listing", "Argument[1].Reference", "ReturnValue.Field[core::result::Result::Ok(0)].Field[actix_web::service::ServiceResponse::request]", "value", "dfc-generated"]
       - ["actix_files::encoding::equiv_utf8_text", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["actix_router::resource::insert_slash", "Argument[0]", "ReturnValue.Field[alloc::borrow::Cow::Borrowed(0)]", "value", "dfc-generated"]
       - ["actix_web::guard::Method", "Argument[0]", "ReturnValue.Field[actix_web::guard::MethodGuard(0)]", "value", "dfc-generated"]
diff --git a/rust/ql/lib/ext/generated/clap.model.yml b/rust/ql/lib/ext/generated/clap.model.yml
index cd563c5420b4..376b4ca530b3 100644
--- a/rust/ql/lib/ext/generated/clap.model.yml
+++ b/rust/ql/lib/ext/generated/clap.model.yml
@@ -8,6 +8,7 @@ extensions:
       - ["<04_01_enum::Mode as core::str::traits::FromStr>::from_str", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<clap_builder::builder::action::ArgAction as clap_builder::builder::resettable::IntoResettable>::into_resettable", "Argument[self]", "ReturnValue.Field[clap_builder::builder::resettable::Resettable::Value(0)]", "value", "dfc-generated"]
       - ["<clap_builder::builder::app_settings::AppFlags as core::ops::bit::BitOr>::bitor", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<clap_builder::builder::arg::Arg as core::convert::From>::from", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg::Arg>::action", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg::Arg>::add", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg::Arg>::alias", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -98,6 +99,7 @@ extensions:
       - ["<clap_builder::builder::arg::Arg>::visible_aliases", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg::Arg>::visible_short_alias", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg::Arg>::visible_short_aliases", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<clap_builder::builder::arg_group::ArgGroup as core::convert::From>::from", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg_group::ArgGroup>::arg", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg_group::ArgGroup>::args", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg_group::ArgGroup>::conflicts_with", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -115,6 +117,7 @@ extensions:
       - ["<clap_builder::builder::arg_group::ArgGroup>::requires", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg_group::ArgGroup>::requires_all", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::arg_settings::ArgFlags as core::ops::bit::BitOr>::bitor", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<clap_builder::builder::command::Command as core::convert::From>::from", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::command::Command>::about", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::command::Command>::add", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::command::Command>::after_help", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -215,6 +218,7 @@ extensions:
       - ["<clap_builder::builder::command::Command>::visible_short_flag_alias", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::command::Command>::visible_short_flag_aliases", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::ext::Extensions>::get", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<clap_builder::builder::os_str::OsStr as core::convert::From>::from", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::possible_value::PossibleValue>::alias", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::possible_value::PossibleValue>::aliases", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::possible_value::PossibleValue>::get_help", "Argument[self].Field[clap_builder::builder::possible_value::PossibleValue::help].Field[core::option::Option::Some(0)]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
@@ -231,13 +235,12 @@ extensions:
       - ["<clap_builder::builder::range::ValueRange>::raw", "Argument[0]", "ReturnValue.Field[clap_builder::builder::range::ValueRange::start_inclusive]", "value", "dfc-generated"]
       - ["<clap_builder::builder::range::ValueRange>::raw", "Argument[1]", "ReturnValue.Field[clap_builder::builder::range::ValueRange::end_inclusive]", "value", "dfc-generated"]
       - ["<clap_builder::builder::resettable::Resettable as clap_builder::builder::resettable::IntoResettable>::into_resettable", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
-      - ["<clap_builder::builder::str::Str as core::convert::AsRef>::as_ref", "Argument[self].Reference.Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::str::Str as core::convert::From>::from", "Argument[0].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::str::Str as core::convert::From>::from", "Argument[0].Field[clap_builder::util::id::Id(0)]", "ReturnValue", "value", "dfc-generated"]
+      - ["<clap_builder::builder::str::Str as core::convert::From>::from", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::builder::str::Str>::into_inner", "Argument[self].Field[clap_builder::builder::str::Str::name]", "ReturnValue", "value", "dfc-generated"]
-      - ["<clap_builder::builder::styled_str::StyledStr as core::convert::From>::from", "Argument[0].Reference.Reference", "ReturnValue.Field[clap_builder::builder::styled_str::StyledStr(0)]", "value", "dfc-generated"]
-      - ["<clap_builder::builder::styled_str::StyledStr as core::convert::From>::from", "Argument[0].Reference", "ReturnValue.Field[clap_builder::builder::styled_str::StyledStr(0)]", "value", "dfc-generated"]
       - ["<clap_builder::builder::styled_str::StyledStr as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[clap_builder::builder::styled_str::StyledStr(0)]", "value", "dfc-generated"]
+      - ["<clap_builder::builder::styled_str::StyledStr as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<clap_builder::builder::styled_str::StyledStr>::ansi", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<clap_builder::builder::styled_str::StyledStr>::as_styled_str", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<clap_builder::builder::styled_str::StyledStr>::as_styled_str", "Argument[self].Field[clap_builder::builder::styled_str::StyledStr(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -370,6 +373,7 @@ extensions:
       - ["<clap_builder::util::flat_map::Iter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[clap_builder::util::flat_map::Iter::values].Element", "ReturnValue.Field[core::option::Option::Some(0)].Field[1]", "value", "dfc-generated"]
       - ["<clap_builder::util::graph::ChildGraph>::insert_child", "Argument[self].Field[0].Field[alloc::vec::Vec::len]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::util::graph::ChildGraph>::insert_child", "Argument[self].Field[clap_builder::util::graph::ChildGraph(0)].Field[alloc::vec::Vec::len]", "ReturnValue", "value", "dfc-generated"]
+      - ["<clap_builder::util::id::Id as core::convert::From>::from", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_builder::util::id::Id>::as_internal_str", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<clap_builder::util::id::Id>::as_internal_str", "Argument[self].Field[clap_builder::util::id::Id(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<clap_complete::aot::shells::bash::Bash as clap_complete::aot::generator::Generator>::file_name", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -421,6 +425,7 @@ extensions:
       - ["<clap_derive::attr::ClapAttr>::value_or_abort", "Argument[self]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<clap_derive::item::Item>::action", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<clap_derive::item::Item>::action", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<clap_derive::item::Item>::cased_name", "Argument[self].Field[clap_derive::item::Item::name].Field[clap_derive::item::Name::Assigned(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_derive::item::Item>::casing", "Argument[self].Field[clap_derive::item::Item::casing]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_derive::item::Item>::env_casing", "Argument[self].Field[clap_derive::item::Item::env_casing]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_derive::item::Item>::from_args_field", "Argument[1]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[clap_derive::item::Item::casing]", "value", "dfc-generated"]
@@ -435,7 +440,10 @@ extensions:
       - ["<clap_derive::item::Item>::group_id", "Argument[self].Field[clap_derive::item::Item::group_id]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<clap_derive::item::Item>::id", "Argument[self].Field[clap_derive::item::Item::name]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<clap_derive::item::Item>::is_positional", "Argument[self].Field[clap_derive::item::Item::is_positional]", "ReturnValue", "value", "dfc-generated"]
+      - ["<clap_derive::item::Item>::kind", "Argument[self].Field[clap_derive::item::Item::kind].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<clap_derive::item::Item>::kind", "Argument[self].Field[clap_derive::item::Item::kind]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_derive::item::Item>::skip_group", "Argument[self].Field[clap_derive::item::Item::skip_group]", "ReturnValue", "value", "dfc-generated"]
+      - ["<clap_derive::item::Item>::value_name", "Argument[self].Field[clap_derive::item::Item::name].Field[clap_derive::item::Name::Assigned(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<clap_derive::item::Item>::value_parser", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<clap_derive::item::Item>::value_parser", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<clap_derive::item::Method>::args", "Argument[self].Field[clap_derive::item::Method::args]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -467,12 +475,24 @@ extensions:
       - ["<complex::Args>::name", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<complex::Args>::name", "Argument[self].Field[complex::Args(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::option::Option as clap_builder::builder::resettable::IntoResettable>::into_resettable", "Argument[self].Field[core::option::Option::Some(0)]", "ReturnValue.Field[clap_builder::builder::resettable::Resettable::Value(0)]", "value", "dfc-generated"]
+      - ["<git-derive::ColorWhen as core::fmt::Display>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<std::ffi::os_str::OsStr as clap_lex::ext::OsStrExt>::split", "Argument[0]", "ReturnValue.Field[clap_lex::ext::Split::needle]", "value", "dfc-generated"]
       - ["<std::ffi::os_str::OsStr as clap_lex::ext::OsStrExt>::split", "Argument[self]", "ReturnValue.Field[clap_lex::ext::Split::haystack].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<typed-derive::foreign_crate::LogLevel as core::fmt::Display>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<typed-derive::foreign_crate::LogLevel as core::str::traits::FromStr>::from_str", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["clap_builder::output::textwrap::word_separators::find_words_ascii_space", "Argument[0]", "ReturnValue.Field[core::iter::sources::from_fn::FromFn(0)]", "value", "dfc-generated"]
       - ["clap_complete::aot::generator::utils::find_subcommand_with_path", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
+      - ["clap_derive::derives::args::derive_args", "Argument[0].Field[syn::derive::DeriveInput::ident].Reference", "ReturnValue.Field[clap_derive::item::Item::group_id].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::args::derive_args", "Argument[0].Field[syn::derive::DeriveInput::ident]", "ReturnValue.Field[clap_derive::item::Item::group_id].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::args::derive_args", "Argument[0].Field[syn::derive::DeriveInput::ident]", "ReturnValue.Field[clap_derive::item::Item::name].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::parser::derive_parser", "Argument[0].Field[syn::derive::DeriveInput::ident].Reference", "ReturnValue.Field[clap_derive::item::Item::group_id].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::parser::derive_parser", "Argument[0].Field[syn::derive::DeriveInput::ident]", "ReturnValue.Field[clap_derive::item::Item::group_id].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::subcommand::derive_subcommand", "Argument[0].Field[syn::derive::DeriveInput::ident].Reference", "ReturnValue.Field[clap_derive::item::Item::group_id].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::subcommand::derive_subcommand", "Argument[0].Field[syn::derive::DeriveInput::ident]", "ReturnValue.Field[clap_derive::item::Item::group_id].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::subcommand::derive_subcommand", "Argument[0].Field[syn::derive::DeriveInput::ident]", "ReturnValue.Field[clap_derive::item::Item::name].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::value_enum::derive_value_enum", "Argument[0].Field[syn::derive::DeriveInput::ident].Reference", "ReturnValue.Field[clap_derive::item::Item::group_id].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::value_enum::derive_value_enum", "Argument[0].Field[syn::derive::DeriveInput::ident]", "ReturnValue.Field[clap_derive::item::Item::group_id].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
+      - ["clap_derive::derives::value_enum::derive_value_enum", "Argument[0].Field[syn::derive::DeriveInput::ident]", "ReturnValue.Field[clap_derive::item::Item::name].Field[clap_derive::item::Name::Derived(0)]", "value", "dfc-generated"]
       - ["clap_derive::utils::ty::inner_type", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
   - addsTo:
       pack: codeql/rust-all
@@ -539,7 +559,9 @@ extensions:
       - ["<clap_derive::item::Item>::value_parser", "Argument[self]", "pointer-access", "df-generated"]
       - ["<clap_mangen::Man>::generate_to", "Argument[self]", "path-injection", "df-generated"]
       - ["<find::Value>::from_matches", "Argument[0]", "log-injection", "df-generated"]
+      - ["<interop_flatten_hand_args::CliArgs as clap_builder::derive::FromArgMatches>::from_arg_matches", "Argument[0]", "log-injection", "df-generated"]
       - ["<interop_flatten_hand_args::CliArgs as clap_builder::derive::FromArgMatches>::from_arg_matches_mut", "Argument[0]", "log-injection", "df-generated"]
+      - ["<interop_flatten_hand_args::CliArgs as clap_builder::derive::FromArgMatches>::update_from_arg_matches", "Argument[0]", "log-injection", "df-generated"]
       - ["<interop_flatten_hand_args::CliArgs as clap_builder::derive::FromArgMatches>::update_from_arg_matches_mut", "Argument[0]", "log-injection", "df-generated"]
       - ["clap_complete::engine::complete::complete", "Argument[1]", "log-injection", "df-generated"]
       - ["clap_complete::engine::complete::complete", "Argument[2]", "log-injection", "df-generated"]
diff --git a/rust/ql/lib/ext/generated/hyper.model.yml b/rust/ql/lib/ext/generated/hyper.model.yml
index ceb116fa6452..306bf248543c 100644
--- a/rust/ql/lib/ext/generated/hyper.model.yml
+++ b/rust/ql/lib/ext/generated/hyper.model.yml
@@ -82,6 +82,7 @@ extensions:
       - ["<hyper::client::conn::http1::Builder>::allow_obsolete_multiline_headers_in_responses", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::allow_spaces_after_header_name_in_responses", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::handshake", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
+      - ["<hyper::client::conn::http1::Builder>::handshake", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::http09_responses", "Argument[0]", "Argument[self].Field[hyper::client::conn::http1::Builder::h09_responses]", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::http09_responses", "Argument[0]", "ReturnValue.Field[hyper::client::conn::http1::Builder::h09_responses]", "value", "dfc-generated"]
       - ["<hyper::client::conn::http1::Builder>::http09_responses", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -114,6 +115,7 @@ extensions:
       - ["<hyper::client::conn::http2::Builder>::adaptive_window", "Argument[0]", "ReturnValue.Field[hyper::client::conn::http2::Builder::h2_builder].Field[hyper::proto::h2::client::Config::adaptive_window]", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::adaptive_window", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::handshake", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
+      - ["<hyper::client::conn::http2::Builder>::handshake", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::header_table_size", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::initial_connection_window_size", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::initial_max_send_streams", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -137,9 +139,7 @@ extensions:
       - ["<hyper::client::conn::http2::Builder>::max_send_buf_size", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::new", "Argument[0]", "ReturnValue.Field[hyper::client::conn::http2::Builder::exec]", "value", "dfc-generated"]
       - ["<hyper::client::conn::http2::Builder>::timer", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
-      - ["<hyper::client::conn::http2::SendRequest as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::conn::http2::SendRequest::dispatch].Field[hyper::client::dispatch::UnboundedSender::inner]", "ReturnValue.Field[hyper::client::conn::http2::SendRequest::dispatch].Field[hyper::client::dispatch::UnboundedSender::inner]", "value", "dfc-generated"]
-      - ["<hyper::client::conn::http2::SendRequest as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::conn::http2::SendRequest::dispatch].Reference", "ReturnValue.Field[hyper::client::conn::http2::SendRequest::dispatch]", "value", "dfc-generated"]
-      - ["<hyper::client::conn::http2::SendRequest as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::conn::http2::SendRequest::dispatch]", "ReturnValue.Field[hyper::client::conn::http2::SendRequest::dispatch]", "value", "dfc-generated"]
+      - ["<hyper::client::conn::http2::SendRequest as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<hyper::client::dispatch::SendWhen>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::client::dispatch::SendWhen::call_back]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<hyper::client::dispatch::SendWhen>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::client::dispatch::SendWhen::when]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<hyper::client::dispatch::SendWhen>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::client::dispatch::SendWhen::call_back]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
@@ -148,9 +148,7 @@ extensions:
       - ["<hyper::client::dispatch::Sender>::try_send", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<hyper::client::dispatch::Sender>::unbound", "Argument[self].Field[hyper::client::dispatch::Sender::inner]", "ReturnValue.Field[hyper::client::dispatch::UnboundedSender::inner]", "value", "dfc-generated"]
       - ["<hyper::client::dispatch::TrySendError>::into_error", "Argument[self].Field[hyper::client::dispatch::TrySendError::error]", "ReturnValue", "value", "dfc-generated"]
-      - ["<hyper::client::dispatch::UnboundedSender as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::dispatch::UnboundedSender::inner].Field[tokio::sync::mpsc::unbounded::UnboundedSender::chan]", "ReturnValue.Field[hyper::client::dispatch::UnboundedSender::inner].Field[tokio::sync::mpsc::unbounded::UnboundedSender::chan]", "value", "dfc-generated"]
-      - ["<hyper::client::dispatch::UnboundedSender as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::dispatch::UnboundedSender::inner].Reference", "ReturnValue.Field[hyper::client::dispatch::UnboundedSender::inner]", "value", "dfc-generated"]
-      - ["<hyper::client::dispatch::UnboundedSender as core::clone::Clone>::clone", "Argument[self].Field[hyper::client::dispatch::UnboundedSender::inner]", "ReturnValue.Field[hyper::client::dispatch::UnboundedSender::inner]", "value", "dfc-generated"]
+      - ["<hyper::client::dispatch::UnboundedSender as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<hyper::common::buf::BufList>::bufs_cnt", "Argument[self].Field[hyper::common::buf::BufList::bufs].Field[alloc::collections::vec_deque::VecDeque::len]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::common::io::compat::Compat>::new", "Argument[0]", "ReturnValue.Field[hyper::common::io::compat::Compat(0)]", "value", "dfc-generated"]
       - ["<hyper::common::io::rewind::Rewind>::into_inner", "Argument[self].Field[hyper::common::io::rewind::Rewind::inner]", "ReturnValue.Field[0]", "value", "dfc-generated"]
@@ -170,6 +168,8 @@ extensions:
       - ["<hyper::ext::h1_reason_phrase::ReasonPhrase>::as_bytes", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<hyper::ext::h1_reason_phrase::ReasonPhrase>::as_bytes", "Argument[self].Field[hyper::ext::h1_reason_phrase::ReasonPhrase(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<hyper::ffi::http_types::hyper_response>::wrap", "Argument[0]", "ReturnValue.Field[hyper::ffi::http_types::hyper_response(0)]", "value", "dfc-generated"]
+      - ["<hyper::ffi::task::hyper_executor>::downgrade", "Argument[0].Field[alloc::sync::Arc::alloc].Reference", "ReturnValue.Field[hyper::ffi::task::WeakExec(0)].Field[alloc::sync::Weak::alloc]", "value", "dfc-generated"]
+      - ["<hyper::ffi::task::hyper_executor>::downgrade", "Argument[0].Field[alloc::sync::Arc::alloc]", "ReturnValue.Field[hyper::ffi::task::WeakExec(0)].Field[alloc::sync::Weak::alloc]", "value", "dfc-generated"]
       - ["<hyper::ffi::task::hyper_executor>::downgrade", "Argument[0].Field[alloc::sync::Arc::ptr]", "ReturnValue.Field[hyper::ffi::task::WeakExec(0)].Field[alloc::sync::Weak::ptr]", "value", "dfc-generated"]
       - ["<hyper::ffi::task::hyper_task>::boxed", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<hyper::proto::h1::conn::Conn>::into_inner", "Argument[self].Field[hyper::proto::h1::conn::Conn::io].Field[hyper::proto::h1::io::Buffered::io]", "ReturnValue.Field[0]", "value", "dfc-generated"]
@@ -324,6 +324,8 @@ extensions:
       - ["<hyper::server::conn::http2::Builder>::max_send_buf_size", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Builder>::new", "Argument[0]", "ReturnValue.Field[hyper::server::conn::http2::Builder::exec]", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Builder>::serve_connection", "Argument[1]", "ReturnValue.Field[hyper::server::conn::http2::Connection::conn].Field[hyper::proto::h2::server::Server::service]", "value", "dfc-generated"]
+      - ["<hyper::server::conn::http2::Builder>::serve_connection", "Argument[self].Field[hyper::server::conn::http2::Builder::timer].Reference", "ReturnValue.Field[hyper::server::conn::http2::Connection::conn].Field[hyper::proto::h2::server::Server::timer]", "value", "dfc-generated"]
+      - ["<hyper::server::conn::http2::Builder>::serve_connection", "Argument[self].Field[hyper::server::conn::http2::Builder::timer]", "ReturnValue.Field[hyper::server::conn::http2::Connection::conn].Field[hyper::proto::h2::server::Server::timer]", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Builder>::timer", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Connection>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::server::conn::http2::Connection::conn]", "ReturnValue", "value", "dfc-generated"]
       - ["<hyper::server::conn::http2::Connection>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[hyper::server::conn::http2::Connection::conn]", "ReturnValue", "value", "dfc-generated"]
diff --git a/rust/ql/lib/ext/generated/libc.model.yml b/rust/ql/lib/ext/generated/libc.model.yml
index b264de98fa93..352eb1338a8b 100644
--- a/rust/ql/lib/ext/generated/libc.model.yml
+++ b/rust/ql/lib/ext/generated/libc.model.yml
@@ -4,8 +4,18 @@ 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"]
diff --git a/rust/ql/lib/ext/generated/log.model.yml b/rust/ql/lib/ext/generated/log.model.yml
index bc523f01214c..4b8a9ebfc1a6 100644
--- a/rust/ql/lib/ext/generated/log.model.yml
+++ b/rust/ql/lib/ext/generated/log.model.yml
@@ -11,6 +11,8 @@ extensions:
       - ["<log::LevelFilter as core::fmt::Display>::fmt", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<log::Metadata>::level", "Argument[self].Field[log::Metadata::level]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::Metadata>::target", "Argument[self].Field[log::Metadata::target]", "ReturnValue", "value", "dfc-generated"]
+      - ["<log::MetadataBuilder>::build", "Argument[self].Field[log::MetadataBuilder::metadata].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<log::MetadataBuilder>::build", "Argument[self].Field[log::MetadataBuilder::metadata]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::MetadataBuilder>::level", "Argument[0]", "Argument[self].Field[log::MetadataBuilder::metadata].Field[log::Metadata::level]", "value", "dfc-generated"]
       - ["<log::MetadataBuilder>::level", "Argument[0]", "ReturnValue.Field[log::MetadataBuilder::metadata].Field[log::Metadata::level]", "value", "dfc-generated"]
       - ["<log::MetadataBuilder>::level", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -30,6 +32,8 @@ extensions:
       - ["<log::RecordBuilder>::args", "Argument[0]", "Argument[self].Field[log::RecordBuilder::record].Field[log::Record::args]", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::args", "Argument[0]", "ReturnValue.Field[log::RecordBuilder::record].Field[log::Record::args]", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::args", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<log::RecordBuilder>::build", "Argument[self].Field[log::RecordBuilder::record].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<log::RecordBuilder>::build", "Argument[self].Field[log::RecordBuilder::record]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::file", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::file_static", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::RecordBuilder>::key_values", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -55,6 +59,8 @@ extensions:
       - ["<log::kv::key::Key>::as_str", "Argument[self].Field[log::kv::key::Key::key]", "ReturnValue", "value", "dfc-generated"]
       - ["<log::kv::key::Key>::from_str", "Argument[0]", "ReturnValue.Field[log::kv::key::Key::key]", "value", "dfc-generated"]
       - ["<log::kv::key::Key>::to_borrowed_str", "Argument[self].Field[log::kv::key::Key::key]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<log::kv::value::Value as log::kv::value::ToValue>::to_value", "Argument[self].Field[log::kv::value::Value::inner].Reference", "ReturnValue.Field[log::kv::value::Value::inner]", "value", "dfc-generated"]
+      - ["<log::kv::value::Value as log::kv::value::ToValue>::to_value", "Argument[self].Field[log::kv::value::Value::inner]", "ReturnValue.Field[log::kv::value::Value::inner]", "value", "dfc-generated"]
   - addsTo:
       pack: codeql/rust-all
       extensible: sinkModel
diff --git a/rust/ql/lib/ext/generated/memchr.model.yml b/rust/ql/lib/ext/generated/memchr.model.yml
index a0600551e01e..4555f3ffe484 100644
--- a/rust/ql/lib/ext/generated/memchr.model.yml
+++ b/rust/ql/lib/ext/generated/memchr.model.yml
@@ -113,24 +113,37 @@ extensions:
       - ["<memchr::memchr::Memchr3>::new", "Argument[2]", "ReturnValue.Field[memchr::memchr::Memchr3::needle3]", "value", "dfc-generated"]
       - ["<memchr::memchr::Memchr>::new", "Argument[0]", "ReturnValue.Field[memchr::memchr::Memchr::needle1]", "value", "dfc-generated"]
       - ["<memchr::memmem::FindIter as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<memchr::memmem::FindIter>::into_owned", "Argument[self].Field[memchr::memmem::FindIter::haystack]", "ReturnValue.Field[memchr::memmem::FindIter::haystack]", "value", "dfc-generated"]
-      - ["<memchr::memmem::FindIter>::into_owned", "Argument[self].Field[memchr::memmem::FindIter::pos]", "ReturnValue.Field[memchr::memmem::FindIter::pos]", "value", "dfc-generated"]
-      - ["<memchr::memmem::FindIter>::into_owned", "Argument[self].Field[memchr::memmem::FindIter::prestate]", "ReturnValue.Field[memchr::memmem::FindIter::prestate]", "value", "dfc-generated"]
+      - ["<memchr::memmem::FindIter>::into_owned", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<memchr::memmem::FindIter>::new", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindIter::haystack]", "value", "dfc-generated"]
       - ["<memchr::memmem::FindIter>::new", "Argument[1]", "ReturnValue.Field[memchr::memmem::FindIter::finder]", "value", "dfc-generated"]
+      - ["<memchr::memmem::FindRevIter>::into_owned", "Argument[self].Field[memchr::memmem::FindRevIter::finder].Field[memchr::memmem::FinderRev::searcher]", "ReturnValue.Field[memchr::memmem::FindRevIter::finder].Field[memchr::memmem::FinderRev::searcher]", "value", "dfc-generated"]
       - ["<memchr::memmem::FindRevIter>::into_owned", "Argument[self].Field[memchr::memmem::FindRevIter::haystack]", "ReturnValue.Field[memchr::memmem::FindRevIter::haystack]", "value", "dfc-generated"]
       - ["<memchr::memmem::FindRevIter>::into_owned", "Argument[self].Field[memchr::memmem::FindRevIter::pos]", "ReturnValue.Field[memchr::memmem::FindRevIter::pos]", "value", "dfc-generated"]
       - ["<memchr::memmem::FindRevIter>::new", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindRevIter::haystack]", "value", "dfc-generated"]
       - ["<memchr::memmem::FindRevIter>::new", "Argument[1]", "ReturnValue.Field[memchr::memmem::FindRevIter::finder]", "value", "dfc-generated"]
+      - ["<memchr::memmem::Finder>::as_ref", "Argument[self].Field[memchr::memmem::Finder::searcher].Reference", "ReturnValue.Field[memchr::memmem::Finder::searcher]", "value", "dfc-generated"]
+      - ["<memchr::memmem::Finder>::as_ref", "Argument[self].Field[memchr::memmem::Finder::searcher]", "ReturnValue.Field[memchr::memmem::Finder::searcher]", "value", "dfc-generated"]
       - ["<memchr::memmem::Finder>::find_iter", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindIter::haystack]", "value", "dfc-generated"]
+      - ["<memchr::memmem::Finder>::find_iter", "Argument[self].Field[memchr::memmem::Finder::searcher].Reference", "ReturnValue.Field[memchr::memmem::FindIter::finder].Field[memchr::memmem::Finder::searcher]", "value", "dfc-generated"]
+      - ["<memchr::memmem::Finder>::find_iter", "Argument[self].Field[memchr::memmem::Finder::searcher]", "ReturnValue.Field[memchr::memmem::FindIter::finder].Field[memchr::memmem::Finder::searcher]", "value", "dfc-generated"]
+      - ["<memchr::memmem::Finder>::into_owned", "Argument[self].Field[memchr::memmem::Finder::searcher].Reference", "ReturnValue.Field[memchr::memmem::Finder::searcher]", "value", "dfc-generated"]
+      - ["<memchr::memmem::Finder>::into_owned", "Argument[self].Field[memchr::memmem::Finder::searcher]", "ReturnValue.Field[memchr::memmem::Finder::searcher]", "value", "dfc-generated"]
       - ["<memchr::memmem::FinderBuilder>::prefilter", "Argument[0]", "Argument[self].Field[memchr::memmem::FinderBuilder::prefilter]", "value", "dfc-generated"]
       - ["<memchr::memmem::FinderBuilder>::prefilter", "Argument[0]", "ReturnValue.Field[memchr::memmem::FinderBuilder::prefilter]", "value", "dfc-generated"]
       - ["<memchr::memmem::FinderBuilder>::prefilter", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<memchr::memmem::FinderRev>::as_ref", "Argument[self].Field[memchr::memmem::FinderRev::searcher].Reference", "ReturnValue.Field[memchr::memmem::FinderRev::searcher]", "value", "dfc-generated"]
+      - ["<memchr::memmem::FinderRev>::as_ref", "Argument[self].Field[memchr::memmem::FinderRev::searcher]", "ReturnValue.Field[memchr::memmem::FinderRev::searcher]", "value", "dfc-generated"]
+      - ["<memchr::memmem::FinderRev>::into_owned", "Argument[self].Field[memchr::memmem::FinderRev::searcher].Reference", "ReturnValue.Field[memchr::memmem::FinderRev::searcher]", "value", "dfc-generated"]
+      - ["<memchr::memmem::FinderRev>::into_owned", "Argument[self].Field[memchr::memmem::FinderRev::searcher]", "ReturnValue.Field[memchr::memmem::FinderRev::searcher]", "value", "dfc-generated"]
       - ["<memchr::memmem::FinderRev>::rfind_iter", "Argument[0]", "ReturnValue.Field[memchr::memmem::FindRevIter::haystack]", "value", "dfc-generated"]
+      - ["<memchr::memmem::FinderRev>::rfind_iter", "Argument[self].Field[memchr::memmem::FinderRev::searcher].Reference", "ReturnValue.Field[memchr::memmem::FindRevIter::finder].Field[memchr::memmem::FinderRev::searcher]", "value", "dfc-generated"]
+      - ["<memchr::memmem::FinderRev>::rfind_iter", "Argument[self].Field[memchr::memmem::FinderRev::searcher]", "ReturnValue.Field[memchr::memmem::FindRevIter::finder].Field[memchr::memmem::FinderRev::searcher]", "value", "dfc-generated"]
+      - ["<memchr::memmem::searcher::PrefilterKind as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<memchr::memmem::searcher::Searcher>::find", "Argument[0]", "Argument[self]", "taint", "df-generated"]
       - ["<memchr::memmem::searcher::Searcher>::find", "Argument[1]", "Argument[self]", "taint", "df-generated"]
       - ["<memchr::memmem::searcher::Searcher>::find", "Argument[2]", "Argument[self]", "taint", "df-generated"]
       - ["<memchr::memmem::searcher::Searcher>::find", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<memchr::memmem::searcher::SearcherKind as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<memchr::memmem::searcher::SearcherRev>::new", "Argument[0].Element", "ReturnValue.Field[memchr::memmem::searcher::SearcherRev::kind].Field[memchr::memmem::searcher::SearcherRevKind::OneByte::needle]", "value", "dfc-generated"]
       - ["<memchr::vector::SensibleMoveMask as memchr::vector::MoveMask>::all_zeros_except_least_significant", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<memchr::vector::SensibleMoveMask as memchr::vector::MoveMask>::and", "Argument[0]", "ReturnValue", "taint", "df-generated"]
diff --git a/rust/ql/lib/ext/generated/once_cell.model.yml b/rust/ql/lib/ext/generated/once_cell.model.yml
index aea0b46936b9..ef8ffdc22289 100644
--- a/rust/ql/lib/ext/generated/once_cell.model.yml
+++ b/rust/ql/lib/ext/generated/once_cell.model.yml
@@ -9,8 +9,8 @@ extensions:
       - ["<once_cell::race::OnceNonZeroUsize>::get_or_try_init", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["<once_cell::race::OnceRef>::get_or_init", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["<once_cell::race::OnceRef>::get_or_try_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
-      - ["<once_cell::race::once_box::OnceBox>::get_or_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
-      - ["<once_cell::race::once_box::OnceBox>::get_or_try_init", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
+      - ["<once_cell::race::once_box::OnceBox>::get_or_init", "Argument[0].ReturnValue", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<once_cell::race::once_box::OnceBox>::get_or_try_init", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<once_cell::sync::Lazy>::into_value", "Argument[0].Field[once_cell::sync::Lazy::init]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<once_cell::sync::OnceCell as core::clone::Clone>::clone_from", "Argument[0].Reference", "Argument[self].Reference", "value", "dfc-generated"]
       - ["<once_cell::sync::OnceCell>::set", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
@@ -22,4 +22,3 @@ extensions:
       - ["<once_cell::unsync::OnceCell>::into_inner", "Argument[self].Field[once_cell::unsync::OnceCell::inner].Field[core::cell::UnsafeCell::value]", "ReturnValue", "value", "dfc-generated"]
       - ["<once_cell::unsync::OnceCell>::set", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<once_cell::unsync::OnceCell>::try_insert", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)].Field[1]", "value", "dfc-generated"]
-      - ["<once_cell::unsync::OnceCell>::try_insert", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)].Reference", "value", "dfc-generated"]
diff --git a/rust/ql/lib/ext/generated/reqwest.model.yml b/rust/ql/lib/ext/generated/reqwest.model.yml
index d262da197659..109a35a39e0b 100644
--- a/rust/ql/lib/ext/generated/reqwest.model.yml
+++ b/rust/ql/lib/ext/generated/reqwest.model.yml
@@ -23,6 +23,13 @@ extensions:
       - ["<reqwest::async_impl::body::TotalTimeoutBody>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[reqwest::async_impl::body::TotalTimeoutBody::timeout]", "ReturnValue", "value", "dfc-generated"]
       - ["<reqwest::async_impl::body::TotalTimeoutBody>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[reqwest::async_impl::body::TotalTimeoutBody::inner]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<reqwest::async_impl::body::TotalTimeoutBody>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[reqwest::async_impl::body::TotalTimeoutBody::timeout]", "ReturnValue", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::client::Client>::delete", "Argument[self].Reference", "ReturnValue.Field[reqwest::async_impl::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::client::Client>::get", "Argument[self].Reference", "ReturnValue.Field[reqwest::async_impl::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::client::Client>::head", "Argument[self].Reference", "ReturnValue.Field[reqwest::async_impl::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::client::Client>::patch", "Argument[self].Reference", "ReturnValue.Field[reqwest::async_impl::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::client::Client>::post", "Argument[self].Reference", "ReturnValue.Field[reqwest::async_impl::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::client::Client>::put", "Argument[self].Reference", "ReturnValue.Field[reqwest::async_impl::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::client::Client>::request", "Argument[self].Reference", "ReturnValue.Field[reqwest::async_impl::request::RequestBuilder::client]", "value", "dfc-generated"]
       - ["<reqwest::async_impl::client::ClientBuilder>::add_crl", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<reqwest::async_impl::client::ClientBuilder>::add_crls", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<reqwest::async_impl::client::ClientBuilder>::add_root_certificate", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -147,6 +154,8 @@ extensions:
       - ["<reqwest::async_impl::h3_client::pool::PoolClient>::new", "Argument[0]", "ReturnValue.Field[reqwest::async_impl::h3_client::pool::PoolClient::inner]", "value", "dfc-generated"]
       - ["<reqwest::async_impl::h3_client::pool::PoolConnection>::new", "Argument[0]", "ReturnValue.Field[reqwest::async_impl::h3_client::pool::PoolConnection::client]", "value", "dfc-generated"]
       - ["<reqwest::async_impl::h3_client::pool::PoolConnection>::new", "Argument[1]", "ReturnValue.Field[reqwest::async_impl::h3_client::pool::PoolConnection::close_rx]", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::h3_client::pool::PoolConnection>::pool", "Argument[self].Field[reqwest::async_impl::h3_client::pool::PoolConnection::client].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::h3_client::pool::PoolConnection>::pool", "Argument[self].Field[reqwest::async_impl::h3_client::pool::PoolConnection::client]", "ReturnValue", "value", "dfc-generated"]
       - ["<reqwest::async_impl::multipart::Form>::boundary", "Argument[self].Field[reqwest::async_impl::multipart::Form::inner].Field[reqwest::async_impl::multipart::FormParts::boundary]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<reqwest::async_impl::multipart::FormParts>::boundary", "Argument[self].Field[reqwest::async_impl::multipart::FormParts::boundary]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<reqwest::async_impl::multipart::FormParts>::part", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -174,6 +183,8 @@ extensions:
       - ["<reqwest::async_impl::request::Request>::new", "Argument[0]", "ReturnValue.Field[reqwest::async_impl::request::Request::method]", "value", "dfc-generated"]
       - ["<reqwest::async_impl::request::Request>::new", "Argument[1]", "ReturnValue.Field[reqwest::async_impl::request::Request::url]", "value", "dfc-generated"]
       - ["<reqwest::async_impl::request::Request>::pieces", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<reqwest::async_impl::request::Request>::try_clone", "Argument[self].Field[reqwest::async_impl::request::Request::method]", "ReturnValue.Field[core::option::Option::Some(0)].Field[reqwest::async_impl::request::Request::method]", "value", "dfc-generated"]
+      - ["<reqwest::async_impl::request::Request>::try_clone", "Argument[self].Field[reqwest::async_impl::request::Request::url]", "ReturnValue.Field[core::option::Option::Some(0)].Field[reqwest::async_impl::request::Request::url]", "value", "dfc-generated"]
       - ["<reqwest::async_impl::request::Request>::url", "Argument[self].Field[reqwest::async_impl::request::Request::url]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<reqwest::async_impl::request::Request>::url_mut", "Argument[self].Field[reqwest::async_impl::request::Request::url]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<reqwest::async_impl::request::Request>::version", "Argument[self].Field[reqwest::async_impl::request::Request::version]", "ReturnValue", "value", "dfc-generated"]
@@ -210,6 +221,13 @@ extensions:
       - ["<reqwest::blocking::body::Body>::len", "Argument[self].Field[reqwest::blocking::body::Body::kind].Field[reqwest::blocking::body::Kind::Reader(1)]", "ReturnValue", "value", "dfc-generated"]
       - ["<reqwest::blocking::body::Body>::new", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<reqwest::blocking::body::Body>::sized", "Argument[0]", "ReturnValue", "taint", "df-generated"]
+      - ["<reqwest::blocking::client::Client>::delete", "Argument[self].Reference", "ReturnValue.Field[reqwest::blocking::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::blocking::client::Client>::get", "Argument[self].Reference", "ReturnValue.Field[reqwest::blocking::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::blocking::client::Client>::head", "Argument[self].Reference", "ReturnValue.Field[reqwest::blocking::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::blocking::client::Client>::patch", "Argument[self].Reference", "ReturnValue.Field[reqwest::blocking::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::blocking::client::Client>::post", "Argument[self].Reference", "ReturnValue.Field[reqwest::blocking::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::blocking::client::Client>::put", "Argument[self].Reference", "ReturnValue.Field[reqwest::blocking::request::RequestBuilder::client]", "value", "dfc-generated"]
+      - ["<reqwest::blocking::client::Client>::request", "Argument[self].Reference", "ReturnValue.Field[reqwest::blocking::request::RequestBuilder::client]", "value", "dfc-generated"]
       - ["<reqwest::blocking::client::ClientBuilder as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[reqwest::blocking::client::ClientBuilder::inner]", "value", "dfc-generated"]
       - ["<reqwest::blocking::client::ClientBuilder>::add_crl", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<reqwest::blocking::client::ClientBuilder>::add_crls", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -359,6 +377,7 @@ extensions:
       - ["<reqwest::connect::verbose::Wrapper>::wrap", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<reqwest::dns::gai::GaiResolver as reqwest::dns::resolve::Resolve>::resolve", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<reqwest::dns::hickory::HickoryDnsResolver as reqwest::dns::resolve::Resolve>::resolve", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<reqwest::dns::hickory::HickoryDnsResolver as reqwest::dns::resolve::Resolve>::resolve", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<reqwest::dns::hickory::HickoryDnsSystemConfError as core::error::Error>::source", "Argument[self].Field[0]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
       - ["<reqwest::dns::hickory::HickoryDnsSystemConfError as core::error::Error>::source", "Argument[self].Field[reqwest::dns::hickory::HickoryDnsSystemConfError(0)]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
       - ["<reqwest::dns::resolve::DnsResolverWithOverrides>::new", "Argument[0]", "ReturnValue.Field[reqwest::dns::resolve::DnsResolverWithOverrides::dns_resolver]", "value", "dfc-generated"]
@@ -389,6 +408,8 @@ extensions:
       - ["<reqwest::redirect::TowerRedirectPolicy>::with_referer", "Argument[0]", "Argument[self].Field[reqwest::redirect::TowerRedirectPolicy::referer]", "value", "dfc-generated"]
       - ["<reqwest::redirect::TowerRedirectPolicy>::with_referer", "Argument[0]", "ReturnValue.Field[reqwest::redirect::TowerRedirectPolicy::referer]", "value", "dfc-generated"]
       - ["<reqwest::redirect::TowerRedirectPolicy>::with_referer", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<reqwest::tls::CertificateRevocationList>::as_rustls_crl", "Argument[self].Field[reqwest::tls::CertificateRevocationList::inner].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<reqwest::tls::CertificateRevocationList>::as_rustls_crl", "Argument[self].Field[reqwest::tls::CertificateRevocationList::inner]", "ReturnValue", "value", "dfc-generated"]
       - ["<reqwest::tls::IgnoreHostname>::new", "Argument[0]", "ReturnValue.Field[reqwest::tls::IgnoreHostname::roots]", "value", "dfc-generated"]
       - ["<reqwest::tls::IgnoreHostname>::new", "Argument[1]", "ReturnValue.Field[reqwest::tls::IgnoreHostname::signature_algorithms]", "value", "dfc-generated"]
       - ["<reqwest::tls::TlsInfo>::peer_certificate", "Argument[self]", "ReturnValue", "taint", "df-generated"]
diff --git a/rust/ql/lib/ext/generated/rocket.model.yml b/rust/ql/lib/ext/generated/rocket.model.yml
index 6f6a60edd8d6..d17297267634 100644
--- a/rust/ql/lib/ext/generated/rocket.model.yml
+++ b/rust/ql/lib/ext/generated/rocket.model.yml
@@ -52,7 +52,6 @@ extensions:
       - ["<cookies::session::User as rocket::request::from_request::FromRequest>::from_request", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::net::ip_addr::IpAddr as rocket::form::from_form_field::FromFormField>::from_value", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<core::net::ip_addr::IpAddr as rocket::request::from_request::FromRequest>::from_request", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
-      - ["<core::net::ip_addr::IpAddr as rocket::request::from_request::FromRequest>::from_request", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<core::net::ip_addr::IpAddr as rocket_http::uri::fmt::from_uri_param::FromUriParam>::from_uri_param", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::net::ip_addr::Ipv4Addr as rocket::form::from_form_field::FromFormField>::from_value", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<core::net::ip_addr::Ipv4Addr as rocket_http::uri::fmt::from_uri_param::FromUriParam>::from_uri_param", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
@@ -99,6 +98,26 @@ extensions:
       - ["<core::result::Result as rocket_http::uri::fmt::from_uri_param::FromUriParam>::from_uri_param", "Argument[0].Field[core::result::Result::Err(0)]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<core::result::Result as rocket_http::uri::fmt::from_uri_param::FromUriParam>::from_uri_param", "Argument[0].Field[core::result::Result::Ok(0)]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[std::fs::File::inner]", "value", "dfc-generated"]
       - ["<core::result::Result as rocket_http::uri::fmt::from_uri_param::FromUriParam>::from_uri_param", "Argument[0]", "ReturnValue", "taint", "df-generated"]
+      - ["<databases::diesel_mysql::Db as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<databases::diesel_mysql::Db as core::ops::deref::Deref>::deref", "Argument[self].Field[databases::diesel_mysql::Db(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<databases::diesel_mysql::Db as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<databases::diesel_mysql::Db as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[databases::diesel_mysql::Db(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<databases::diesel_mysql::posts::columns::id as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_mysql::posts::columns::published as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_mysql::posts::columns::star as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_mysql::posts::columns::text as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_mysql::posts::columns::title as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_mysql::posts::table as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_sqlite::posts::columns::id as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_sqlite::posts::columns::published as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_sqlite::posts::columns::star as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_sqlite::posts::columns::text as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_sqlite::posts::columns::title as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::diesel_sqlite::posts::table as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<databases::sqlx::Db as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<databases::sqlx::Db as core::ops::deref::Deref>::deref", "Argument[self].Field[databases::sqlx::Db(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<databases::sqlx::Db as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<databases::sqlx::Db as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[databases::sqlx::Db(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<deadpool::managed::Pool as rocket_db_pools::pool::Pool>::close", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<deadpool::managed::Pool as rocket_db_pools::pool::Pool>::get", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<deadpool::managed::Pool as rocket_db_pools::pool::Pool>::init", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -111,6 +130,7 @@ extensions:
       - ["<manual_routes::CustomHandler as rocket::route::handler::Handler>::handle", "Argument[1]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<manual_routes::CustomHandler as rocket::route::handler::Handler>::handle", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<mongodb::client::Client as rocket_db_pools::pool::Pool>::close", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<mongodb::client::Client as rocket_db_pools::pool::Pool>::get", "Argument[self].Reference", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
       - ["<mongodb::client::Client as rocket_db_pools::pool::Pool>::get", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<mongodb::client::Client as rocket_db_pools::pool::Pool>::init", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<pastebin::paste_id::PasteId as rocket::request::from_param::FromParam>::from_param", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
@@ -120,6 +140,8 @@ extensions:
       - ["<rocket::catcher::catcher::Catcher>::map_base", "Argument[self].Field[rocket::catcher::catcher::Catcher::base]", "Argument[0].Parameter[0]", "value", "dfc-generated"]
       - ["<rocket::catcher::catcher::Catcher>::map_base", "Argument[self]", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
       - ["<rocket::catcher::catcher::Catcher>::new", "Argument[1]", "ReturnValue.Field[rocket::catcher::catcher::Catcher::handler].Reference", "value", "dfc-generated"]
+      - ["<rocket::config::config::Config as figment::provider::Provider>::profile", "Argument[self].Field[rocket::config::config::Config::profile].Reference", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<rocket::config::config::Config as figment::provider::Provider>::profile", "Argument[self].Field[rocket::config::config::Config::profile]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<rocket::config::tls::MutualTls>::ca_certs", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<rocket::config::tls::MutualTls>::mandatory", "Argument[0]", "Argument[self].Field[rocket::config::tls::MutualTls::mandatory]", "value", "dfc-generated"]
       - ["<rocket::config::tls::MutualTls>::mandatory", "Argument[0]", "ReturnValue.Field[rocket::config::tls::MutualTls::mandatory]", "value", "dfc-generated"]
@@ -253,10 +275,10 @@ extensions:
       - ["<rocket::form::error::Errors as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Field[rocket::form::error::Errors(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<rocket::form::error::Errors>::with_name", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket::form::error::Errors>::with_value", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
-      - ["<rocket::form::field::DataField>::shift", "Argument[self]", "ReturnValue", "value", "df-generated"]
+      - ["<rocket::form::field::DataField>::shift", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket::form::field::ValueField as core::convert::From>::from", "Argument[0].Field[1]", "ReturnValue.Field[rocket::form::field::ValueField::value]", "value", "dfc-generated"]
       - ["<rocket::form::field::ValueField>::from_value", "Argument[0]", "ReturnValue.Field[rocket::form::field::ValueField::value]", "value", "dfc-generated"]
-      - ["<rocket::form::field::ValueField>::shift", "Argument[self]", "ReturnValue", "value", "df-generated"]
+      - ["<rocket::form::field::ValueField>::shift", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket::form::form::Form as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[rocket::form::form::Form(0)]", "value", "dfc-generated"]
       - ["<rocket::form::form::Form as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<rocket::form::form::Form as core::ops::deref::Deref>::deref", "Argument[self].Field[rocket::form::form::Form(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -281,6 +303,8 @@ extensions:
       - ["<rocket::form::name::buf::NameBuf as rocket_http::ext::IntoOwned>::into_owned", "Argument[self].Field[rocket::form::name::buf::NameBuf::right].Field[alloc::borrow::Cow::Owned(0)]", "ReturnValue.Field[rocket::form::name::buf::NameBuf::right].Field[alloc::borrow::Cow::Owned(0)]", "value", "dfc-generated"]
       - ["<rocket::form::name::key::Key as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<rocket::form::name::key::Key as core::ops::deref::Deref>::deref", "Argument[self].Field[rocket::form::name::key::Key(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<rocket::form::name::key::Key>::as_str", "Argument[self].Field[0]", "ReturnValue.Reference.Reference", "value", "dfc-generated"]
+      - ["<rocket::form::name::key::Key>::as_str", "Argument[self].Field[rocket::form::name::key::Key(0)]", "ReturnValue.Reference.Reference", "value", "dfc-generated"]
       - ["<rocket::form::name::key::Key>::as_str", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<rocket::form::name::name::Name as core::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket::form::name::name::Name as core::ops::deref::Deref>::deref", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -461,13 +485,16 @@ extensions:
       - ["<rocket::response::response::Response>::join", "Argument[0].Field[rocket::response::response::Response::status]", "Argument[self].Field[rocket::response::response::Response::status]", "value", "dfc-generated"]
       - ["<rocket::response::response::Response>::merge", "Argument[0].Field[rocket::response::response::Response::body]", "Argument[self].Field[rocket::response::response::Response::body]", "value", "dfc-generated"]
       - ["<rocket::response::response::Response>::set_status", "Argument[0]", "Argument[self].Field[rocket::response::response::Response::status].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
-      - ["<rocket::response::response::Response>::set_streamed_body", "Argument[0]", "Argument[self]", "taint", "df-generated"]
       - ["<rocket::response::response::Response>::status", "Argument[self].Field[rocket::response::response::Response::status].Field[core::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket::response::status::Created>::body", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket::response::status::Created>::tagged_body", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket::response::stream::bytes::ByteStream as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[rocket::response::stream::bytes::ByteStream(0)]", "value", "dfc-generated"]
       - ["<rocket::response::stream::one::One as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[rocket::response::stream::one::One(0)].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<rocket::response::stream::reader::ReaderStream as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[rocket::response::stream::reader::ReaderStream::stream]", "value", "dfc-generated"]
+      - ["<rocket::response::stream::reader::ReaderStream>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[rocket::response::stream::reader::ReaderStream::state]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
+      - ["<rocket::response::stream::reader::ReaderStream>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[rocket::response::stream::reader::ReaderStream::stream]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
+      - ["<rocket::response::stream::reader::ReaderStream>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[rocket::response::stream::reader::ReaderStream::state]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
+      - ["<rocket::response::stream::reader::ReaderStream>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[rocket::response::stream::reader::ReaderStream::stream]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
       - ["<rocket::response::stream::sse::Event>::event", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket::response::stream::sse::Event>::id", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket::response::stream::sse::Event>::retry", "Argument[0]", "ReturnValue.Field[rocket::response::stream::sse::Event::retry].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
@@ -699,6 +726,8 @@ extensions:
       - ["<rocket_http::status::serde::DeVisitor as serde::de::Visitor>::visit_i64", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<rocket_http::status::serde::DeVisitor as serde::de::Visitor>::visit_u64", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<rocket_http::tls::listener::TlsStream as rocket_http::listener::Connection>::peer_address", "Argument[self].Field[rocket_http::tls::listener::TlsStream::remote]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<rocket_http::tls::listener::TlsStream as rocket_http::listener::Connection>::peer_certificates", "Argument[self].Field[rocket_http::tls::listener::TlsStream::certs].Reference", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<rocket_http::tls::listener::TlsStream as rocket_http::listener::Connection>::peer_certificates", "Argument[self].Field[rocket_http::tls::listener::TlsStream::certs]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<rocket_http::tls::mtls::Certificate as core::ops::deref::Deref>::deref", "Argument[self].Field[rocket_http::tls::mtls::Certificate::x509].Field[x509_parser::certificate::X509Certificate::tbs_certificate]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<rocket_http::tls::mtls::Certificate as rocket::request::from_request::FromRequest>::from_request", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<rocket_http::tls::mtls::Certificate>::as_bytes", "Argument[self].Field[rocket_http::tls::mtls::Certificate::data].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -778,7 +807,6 @@ extensions:
       - ["<rocket_http::uri::reference::Reference>::scheme", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<rocket_http::uri::reference::Reference>::with_query_fragment_of", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<rocket_http::uri::segments::Segments as core::iter::traits::iterator::Iterator>::count", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<rocket_http::uri::segments::Segments as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<rocket_http::uri::segments::Segments as core::iter::traits::iterator::Iterator>::size_hint", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<rocket_http::uri::segments::Segments as rocket::request::from_param::FromSegments>::from_segments", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
       - ["<rocket_http::uri::segments::Segments>::get", "Argument[self]", "ReturnValue", "taint", "df-generated"]
@@ -836,6 +864,11 @@ extensions:
       - ["<tls::redirector::Redirector as rocket::fairing::Fairing>::on_liftoff", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<tls::redirector::Redirector>::try_launch", "Argument[self].Field[tls::redirector::Redirector::port]", "Argument[0].Field[rocket::config::config::Config::port]", "value", "dfc-generated"]
       - ["<todo::Context>::raw", "Argument[1]", "ReturnValue.Field[todo::Context::flash]", "value", "dfc-generated"]
+      - ["<todo::task::schema::tasks::columns::completed as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<todo::task::schema::tasks::columns::description as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<todo::task::schema::tasks::columns::id as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<todo::task::schema::tasks::columns::star as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<todo::task::schema::tasks::table as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<uuid::Uuid as rocket::request::from_param::FromParam>::from_param", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<uuid::Uuid as rocket_http::uri::fmt::from_uri_param::FromUriParam>::from_uri_param", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["rocket::form::validate::try_with", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
@@ -868,7 +901,6 @@ extensions:
       - ["<rocket::rkt::Rocket>::dispatch", "Argument[1]", "log-injection", "df-generated"]
       - ["<rocket::rkt::Rocket>::handle_error", "Argument[0]", "log-injection", "df-generated"]
       - ["<rocket::route::route::Route>::matches", "Argument[0]", "log-injection", "df-generated"]
-      - ["<rocket::route::uri::RouteUri>::query", "Argument[self]", "pointer-access", "df-generated"]
       - ["<rocket_codegen::attribute::route::parse::Route>::from", "Argument[0]", "pointer-access", "df-generated"]
       - ["<rocket_codegen::syn_ext::Child as rocket_http::ext::IntoOwned>::into_owned", "Argument[self]", "pointer-access", "df-generated"]
       - ["<rocket_dyn_templates::metadata::Metadata>::render", "Argument[self]", "log-injection", "df-generated"]
diff --git a/rust/ql/lib/ext/generated/rust.model.yml b/rust/ql/lib/ext/generated/rust.model.yml
index 90d4a9856f6d..9c39cc545956 100644
--- a/rust/ql/lib/ext/generated/rust.model.yml
+++ b/rust/ql/lib/ext/generated/rust.model.yml
@@ -8,6 +8,7 @@ extensions:
       - ["<alloc::borrow::Cow as core::clone::Clone>::clone", "Argument[self].Reference.Field[alloc::borrow::Cow::Borrowed(0)]", "ReturnValue.Field[alloc::borrow::Cow::Borrowed(0)]", "value", "dfc-generated"]
       - ["<alloc::borrow::Cow as core::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::borrow::Cow as core::convert::From>::from", "Argument[0].Reference", "ReturnValue.Field[alloc::borrow::Cow::Borrowed(0)].Reference", "value", "dfc-generated"]
+      - ["<alloc::borrow::Cow as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[alloc::borrow::Cow::Borrowed(0)].Reference", "value", "dfc-generated"]
       - ["<alloc::borrow::Cow as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[alloc::borrow::Cow::Borrowed(0)]", "value", "dfc-generated"]
       - ["<alloc::borrow::Cow as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[alloc::borrow::Cow::Owned(0)]", "value", "dfc-generated"]
       - ["<alloc::borrow::Cow as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -19,6 +20,7 @@ extensions:
       - ["<alloc::boxed::Box as core::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box as core::borrow::BorrowMut>::borrow_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box as core::clone::Clone>::clone_from", "Argument[0].Reference", "Argument[self].Reference", "value", "dfc-generated"]
+      - ["<alloc::boxed::Box as core::clone::Clone>::clone_from", "Argument[0]", "Argument[self].Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box as core::convert::AsMut>::as_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box as core::convert::AsRef>::as_ref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box as core::convert::From>::from", "Argument[0].Field[proc_macro::bridge::rpc::PanicMessage::StaticStr(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -26,8 +28,16 @@ extensions:
       - ["<alloc::boxed::Box as core::convert::From>::from", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box as core::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::boxed::Box as core::convert::TryFrom>::try_from", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
+      - ["<alloc::boxed::Box as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<alloc::boxed::Box as core::iter::traits::iterator::Iterator>::nth", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::boxed::Box as core::ops::deref::Deref>::deref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box as core::ops::deref::DerefMut>::deref_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::boxed::Box as std::io::BufRead>::read_line", "Argument[self]", "Argument[0]", "taint", "df-generated"]
+      - ["<alloc::boxed::Box as std::io::BufRead>::read_until", "Argument[self]", "Argument[1]", "taint", "df-generated"]
+      - ["<alloc::boxed::Box as std::io::Read>::read", "Argument[self]", "Argument[0]", "taint", "df-generated"]
+      - ["<alloc::boxed::Box as std::io::Read>::read_exact", "Argument[self]", "Argument[0]", "taint", "df-generated"]
+      - ["<alloc::boxed::Box as std::io::Read>::read_to_end", "Argument[self]", "Argument[0]", "taint", "df-generated"]
+      - ["<alloc::boxed::Box as std::io::Read>::read_to_string", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<alloc::boxed::Box>::allocator", "Argument[0].Field[1]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box>::allocator", "Argument[0].Field[alloc::boxed::Box(1)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box>::as_mut_ptr", "Argument[0].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -35,15 +45,14 @@ extensions:
       - ["<alloc::boxed::Box>::downcast", "Argument[self]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<alloc::boxed::Box>::from_non_null_in", "Argument[1]", "ReturnValue.Field[alloc::boxed::Box(1)]", "value", "dfc-generated"]
       - ["<alloc::boxed::Box>::from_raw_in", "Argument[1]", "ReturnValue.Field[alloc::boxed::Box(1)]", "value", "dfc-generated"]
-      - ["<alloc::boxed::Box>::into_inner", "Argument[0].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
-      - ["<alloc::boxed::Box>::into_inner", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<alloc::boxed::Box>::into_inner", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::boxed::Box>::into_non_null", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::boxed::Box>::into_pin", "Argument[0].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::boxed::Box>::into_pin", "Argument[0]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
-      - ["<alloc::boxed::Box>::into_raw", "Argument[0]", "ReturnValue", "taint", "df-generated"]
-      - ["<alloc::boxed::Box>::into_raw_with_allocator", "Argument[0]", "ReturnValue", "taint", "df-generated"]
+      - ["<alloc::boxed::Box>::into_raw", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::boxed::Box>::into_raw_with_allocator", "Argument[0]", "ReturnValue.Field[0].Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box>::into_unique", "Argument[0]", "ReturnValue", "taint", "df-generated"]
-      - ["<alloc::boxed::Box>::leak", "Argument[0]", "ReturnValue", "taint", "df-generated"]
+      - ["<alloc::boxed::Box>::leak", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::boxed::Box>::new_uninit_in", "Argument[0]", "ReturnValue.Field[alloc::boxed::Box(1)]", "value", "dfc-generated"]
       - ["<alloc::boxed::Box>::new_zeroed_in", "Argument[0]", "ReturnValue.Field[alloc::boxed::Box(1)]", "value", "dfc-generated"]
       - ["<alloc::boxed::Box>::try_new_in", "Argument[1]", "ReturnValue.Field[alloc::boxed::Box(1)]", "value", "dfc-generated"]
@@ -68,6 +77,8 @@ extensions:
       - ["<alloc::bstr::ByteString>::as_bytes", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::bstr::ByteString>::as_bytes", "Argument[self].Field[alloc::bstr::ByteString(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::collections::TryReserveError as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[alloc::collections::TryReserveError::kind]", "value", "dfc-generated"]
+      - ["<alloc::collections::TryReserveError>::kind", "Argument[self].Field[alloc::collections::TryReserveError::kind].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<alloc::collections::TryReserveError>::kind", "Argument[self].Field[alloc::collections::TryReserveError::kind]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::collections::binary_heap::BinaryHeap as core::clone::Clone>::clone", "Argument[self].Field[alloc::collections::binary_heap::BinaryHeap::data].Reference", "ReturnValue.Field[alloc::collections::binary_heap::BinaryHeap::data]", "value", "dfc-generated"]
       - ["<alloc::collections::binary_heap::BinaryHeap as core::clone::Clone>::clone", "Argument[self].Field[alloc::collections::binary_heap::BinaryHeap::data]", "ReturnValue.Field[alloc::collections::binary_heap::BinaryHeap::data]", "value", "dfc-generated"]
       - ["<alloc::collections::binary_heap::BinaryHeap as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[alloc::collections::binary_heap::BinaryHeap::data]", "value", "dfc-generated"]
@@ -84,24 +95,27 @@ extensions:
       - ["<alloc::collections::btree::borrow::DormantMutRef>::new", "Argument[0].Field[core::ptr::unique::Unique::pointer]", "ReturnValue.Field[1].Field[alloc::collections::btree::borrow::DormantMutRef::ptr]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::dedup_sorted_iter::DedupSortedIter as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::collections::btree::dedup_sorted_iter::DedupSortedIter>::new", "Argument[0]", "ReturnValue.Field[alloc::collections::btree::dedup_sorted_iter::DedupSortedIter::iter].Field[core::iter::adapters::peekable::Peekable::iter]", "value", "dfc-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap as core::clone::Clone>::clone", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::alloc].Field[core::mem::manually_drop::ManuallyDrop::value]", "ReturnValue.Field[alloc::collections::btree::map::BTreeMap::alloc].Field[core::mem::manually_drop::ManuallyDrop::value]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::bulk_build_from_sorted_iter", "Argument[1]", "ReturnValue.Field[alloc::collections::btree::map::BTreeMap::alloc].Field[core::mem::manually_drop::ManuallyDrop::value]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::entry", "Argument[0]", "ReturnValue.Field[alloc::collections::btree::map::entry::Entry::Vacant(0)].Field[alloc::collections::btree::map::entry::VacantEntry::key]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::extract_if", "Argument[0]", "ReturnValue.Field[alloc::collections::btree::map::ExtractIf::pred]", "value", "dfc-generated"]
-      - ["<alloc::collections::btree::map::BTreeMap>::extract_if_inner", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<alloc::collections::btree::map::BTreeMap>::first_key_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<alloc::collections::btree::map::BTreeMap>::get", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<alloc::collections::btree::map::BTreeMap>::get_key_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<alloc::collections::btree::map::BTreeMap>::get_mut", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap>::extract_if", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::alloc].Field[core::mem::manually_drop::ManuallyDrop::value]", "ReturnValue.Field[alloc::collections::btree::map::ExtractIf::alloc]", "value", "dfc-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap>::extract_if_inner", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::alloc].Field[core::mem::manually_drop::ManuallyDrop::value]", "ReturnValue.Field[1]", "value", "dfc-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap>::first_key_value", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::root].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap>::get", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::root].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap>::get_key_value", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::root].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap>::get_mut", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::root].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::get_or_insert_with", "Argument[0]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::iter", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::length]", "ReturnValue.Field[alloc::collections::btree::map::Iter::length]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::iter_mut", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::length]", "ReturnValue.Field[alloc::collections::btree::map::IterMut::length]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::keys", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::length]", "ReturnValue.Field[alloc::collections::btree::map::Keys::inner].Field[alloc::collections::btree::map::Iter::length]", "value", "dfc-generated"]
-      - ["<alloc::collections::btree::map::BTreeMap>::last_key_value", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap>::last_key_value", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::root].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::len", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::length]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::lower_bound", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::lower_bound_mut", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::new_in", "Argument[0]", "ReturnValue.Field[alloc::collections::btree::map::BTreeMap::alloc].Field[core::mem::manually_drop::ManuallyDrop::value]", "value", "dfc-generated"]
-      - ["<alloc::collections::btree::map::BTreeMap>::split_off", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap>::split_off", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::alloc].Reference", "ReturnValue.Field[alloc::collections::btree::map::BTreeMap::alloc]", "value", "dfc-generated"]
+      - ["<alloc::collections::btree::map::BTreeMap>::split_off", "Argument[self].Field[alloc::collections::btree::map::BTreeMap::alloc]", "ReturnValue.Field[alloc::collections::btree::map::BTreeMap::alloc]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::try_insert", "Argument[1]", "ReturnValue.Field[core::result::Result::Err(0)].Field[alloc::collections::btree::map::entry::OccupiedError::value]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::upper_bound", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::collections::btree::map::BTreeMap>::upper_bound_mut", "Argument[self]", "ReturnValue", "taint", "df-generated"]
@@ -110,9 +124,9 @@ extensions:
       - ["<alloc::collections::btree::map::Cursor as core::clone::Clone>::clone", "Argument[self].Reference.Field[alloc::collections::btree::map::Cursor::current]", "ReturnValue.Field[alloc::collections::btree::map::Cursor::current]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::Cursor as core::clone::Clone>::clone", "Argument[self].Reference.Field[alloc::collections::btree::map::Cursor::root]", "ReturnValue.Field[alloc::collections::btree::map::Cursor::root]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::CursorMut>::with_mutable_key", "Argument[self].Field[alloc::collections::btree::map::CursorMut::inner]", "ReturnValue", "value", "dfc-generated"]
-      - ["<alloc::collections::btree::map::CursorMutKey>::peek_next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<alloc::collections::btree::map::CursorMutKey>::peek_prev", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<alloc::collections::btree::map::ExtractIfInner>::peek", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<alloc::collections::btree::map::CursorMutKey>::peek_next", "Argument[self].Field[alloc::collections::btree::map::CursorMutKey::current].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::collections::btree::map::CursorMutKey>::peek_prev", "Argument[self].Field[alloc::collections::btree::map::CursorMutKey::current].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::collections::btree::map::ExtractIfInner>::peek", "Argument[self].Field[alloc::collections::btree::map::ExtractIfInner::cur_leaf_edge].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::ExtractIfInner>::size_hint", "Argument[self].Field[alloc::collections::btree::map::ExtractIfInner::length].Reference", "ReturnValue.Field[1].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::IntoIter as core::iter::traits::exact_size::ExactSizeIterator>::len", "Argument[self].Field[alloc::collections::btree::map::IntoIter::length]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::collections::btree::map::IntoIter as core::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[alloc::collections::btree::map::IntoIter::length]", "ReturnValue.Field[0]", "value", "dfc-generated"]
@@ -258,7 +272,7 @@ extensions:
       - ["<alloc::collections::btree::set::BTreeSet>::intersection", "Argument[0]", "ReturnValue.Field[alloc::collections::btree::set::Intersection::inner].Field[alloc::collections::btree::set::IntersectionInner::Search::large_set]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::set::BTreeSet>::intersection", "Argument[self]", "ReturnValue.Field[alloc::collections::btree::set::Intersection::inner].Field[alloc::collections::btree::set::IntersectionInner::Search::large_set]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::set::BTreeSet>::len", "Argument[self].Field[alloc::collections::btree::set::BTreeSet::map].Field[alloc::collections::btree::map::BTreeMap::length]", "ReturnValue", "value", "dfc-generated"]
-      - ["<alloc::collections::btree::set::BTreeSet>::split_off", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<alloc::collections::btree::set::BTreeSet>::split_off", "Argument[self].Field[alloc::collections::btree::set::BTreeSet::map].Field[alloc::collections::btree::map::BTreeMap::alloc]", "ReturnValue.Field[alloc::collections::btree::set::BTreeSet::map].Field[alloc::collections::btree::map::BTreeMap::alloc]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::set::CursorMut>::with_mutable_key", "Argument[self].Field[alloc::collections::btree::set::CursorMut::inner].Field[alloc::collections::btree::map::CursorMut::inner]", "ReturnValue.Field[alloc::collections::btree::set::CursorMutKey::inner]", "value", "dfc-generated"]
       - ["<alloc::collections::btree::set::Difference as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::collections::btree::set::Intersection as core::clone::Clone>::clone", "Argument[self]", "ReturnValue", "taint", "df-generated"]
@@ -302,8 +316,10 @@ extensions:
       - ["<alloc::collections::linked_list::CursorMut>::remove_current_as_list", "Argument[self].Field[alloc::collections::linked_list::CursorMut::current].Field[core::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::collections::linked_list::CursorMut>::remove_current_as_list", "Argument[self].Field[alloc::collections::linked_list::CursorMut::current].Field[core::result::Result::Ok(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::collections::linked_list::CursorMut>::splice_after", "Argument[self].Field[alloc::collections::linked_list::CursorMut::list].Field[alloc::collections::linked_list::LinkedList::len]", "Argument[self].Field[alloc::collections::linked_list::CursorMut::index]", "value", "dfc-generated"]
+      - ["<alloc::collections::linked_list::CursorMut>::split_after", "Argument[self].Field[alloc::collections::linked_list::CursorMut::list].Field[alloc::collections::linked_list::LinkedList::alloc]", "ReturnValue.Field[alloc::collections::linked_list::LinkedList::alloc]", "value", "dfc-generated"]
       - ["<alloc::collections::linked_list::CursorMut>::split_after", "Argument[self].Field[alloc::collections::linked_list::CursorMut::list].Field[alloc::collections::linked_list::LinkedList::tail]", "ReturnValue.Field[alloc::collections::linked_list::LinkedList::tail]", "value", "dfc-generated"]
       - ["<alloc::collections::linked_list::CursorMut>::split_before", "Argument[self].Field[alloc::collections::linked_list::CursorMut::index]", "ReturnValue.Field[alloc::collections::linked_list::LinkedList::len]", "value", "dfc-generated"]
+      - ["<alloc::collections::linked_list::CursorMut>::split_before", "Argument[self].Field[alloc::collections::linked_list::CursorMut::list].Field[alloc::collections::linked_list::LinkedList::alloc]", "ReturnValue.Field[alloc::collections::linked_list::LinkedList::alloc]", "value", "dfc-generated"]
       - ["<alloc::collections::linked_list::CursorMut>::split_before", "Argument[self].Field[alloc::collections::linked_list::CursorMut::list].Field[alloc::collections::linked_list::LinkedList::head]", "ReturnValue.Field[alloc::collections::linked_list::LinkedList::head]", "value", "dfc-generated"]
       - ["<alloc::collections::linked_list::ExtractIf as core::iter::traits::iterator::Iterator>::size_hint", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::collections::linked_list::IntoIter as core::iter::traits::iterator::Iterator>::size_hint", "Argument[self].Field[alloc::collections::linked_list::IntoIter::list].Field[alloc::collections::linked_list::LinkedList::len]", "ReturnValue.Field[0]", "value", "dfc-generated"]
@@ -334,6 +350,8 @@ extensions:
       - ["<alloc::collections::linked_list::LinkedList>::len", "Argument[self].Field[alloc::collections::linked_list::LinkedList::len]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::collections::linked_list::LinkedList>::new_in", "Argument[0]", "ReturnValue.Field[alloc::collections::linked_list::LinkedList::alloc]", "value", "dfc-generated"]
       - ["<alloc::collections::linked_list::LinkedList>::split_off", "Argument[0]", "Argument[self].Field[alloc::collections::linked_list::LinkedList::len]", "value", "dfc-generated"]
+      - ["<alloc::collections::linked_list::LinkedList>::split_off", "Argument[self].Field[alloc::collections::linked_list::LinkedList::alloc].Reference", "ReturnValue.Field[alloc::collections::linked_list::LinkedList::alloc]", "value", "dfc-generated"]
+      - ["<alloc::collections::linked_list::LinkedList>::split_off", "Argument[self].Field[alloc::collections::linked_list::LinkedList::alloc]", "ReturnValue.Field[alloc::collections::linked_list::LinkedList::alloc]", "value", "dfc-generated"]
       - ["<alloc::collections::linked_list::LinkedList>::split_off", "Argument[self].Field[alloc::collections::linked_list::LinkedList::tail]", "ReturnValue.Field[alloc::collections::linked_list::LinkedList::tail]", "value", "dfc-generated"]
       - ["<alloc::collections::vec_deque::VecDeque as alloc::collections::vec_deque::spec_from_iter::SpecFromIter>::spec_from_iter", "Argument[0].Field[alloc::collections::vec_deque::into_iter::IntoIter::inner]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::collections::vec_deque::VecDeque as std::io::Read>::read_to_end", "Argument[self].Field[alloc::collections::vec_deque::VecDeque::len]", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
@@ -385,6 +403,7 @@ extensions:
       - ["<alloc::ffi::c_str::CString as core::ops::index::Index>::index", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::ffi::c_str::CString>::as_bytes_with_nul", "Argument[self].Field[alloc::ffi::c_str::CString::inner]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::ffi::c_str::CString>::as_c_str", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::ffi::c_str::CString>::as_c_str", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::ffi::c_str::CString>::from_vec_with_nul", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)].Field[alloc::ffi::c_str::FromVecWithNulError::bytes]", "value", "dfc-generated"]
       - ["<alloc::ffi::c_str::FromVecWithNulError>::as_bytes", "Argument[self].Field[alloc::ffi::c_str::FromVecWithNulError::bytes].Element", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::ffi::c_str::FromVecWithNulError>::into_bytes", "Argument[self].Field[alloc::ffi::c_str::FromVecWithNulError::bytes]", "ReturnValue", "value", "dfc-generated"]
@@ -403,11 +422,19 @@ extensions:
       - ["<alloc::raw_vec::RawVec>::with_capacity_in", "Argument[1]", "ReturnValue.Field[alloc::raw_vec::RawVec::inner].Field[alloc::raw_vec::RawVecInner::alloc]", "value", "dfc-generated"]
       - ["<alloc::raw_vec::RawVec>::with_capacity_zeroed_in", "Argument[1]", "ReturnValue.Field[alloc::raw_vec::RawVec::inner].Field[alloc::raw_vec::RawVecInner::alloc]", "value", "dfc-generated"]
       - ["<alloc::rc::Rc as core::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc as core::borrow::Borrow>::borrow", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc as core::borrow::Borrow>::borrow", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::rc::Rc as core::convert::AsRef>::as_ref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc as core::convert::AsRef>::as_ref", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc as core::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::rc::Rc as core::convert::TryFrom>::try_from", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["<alloc::rc::Rc>::allocator", "Argument[0].Field[alloc::rc::Rc::alloc]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::rc::Rc>::downcast", "Argument[self]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc>::downgrade", "Argument[0].Field[alloc::rc::Rc::alloc].Reference", "ReturnValue.Field[alloc::rc::Weak::alloc]", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc>::downgrade", "Argument[0].Field[alloc::rc::Rc::alloc]", "ReturnValue.Field[alloc::rc::Weak::alloc]", "value", "dfc-generated"]
       - ["<alloc::rc::Rc>::downgrade", "Argument[0].Field[alloc::rc::Rc::ptr]", "ReturnValue.Field[alloc::rc::Weak::ptr]", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc>::into_inner", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc>::into_inner", "Argument[0]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<alloc::rc::Rc>::new_uninit_in", "Argument[0]", "ReturnValue.Field[alloc::rc::Rc::alloc]", "value", "dfc-generated"]
       - ["<alloc::rc::Rc>::new_uninit_slice_in", "Argument[1]", "ReturnValue.Field[alloc::rc::Rc::alloc]", "value", "dfc-generated"]
       - ["<alloc::rc::Rc>::new_zeroed_in", "Argument[0]", "ReturnValue.Field[alloc::rc::Rc::alloc]", "value", "dfc-generated"]
@@ -415,12 +442,24 @@ extensions:
       - ["<alloc::rc::Rc>::try_new_uninit_in", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[alloc::rc::Rc::alloc]", "value", "dfc-generated"]
       - ["<alloc::rc::Rc>::try_new_zeroed_in", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[alloc::rc::Rc::alloc]", "value", "dfc-generated"]
       - ["<alloc::rc::Rc>::try_unwrap", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc>::try_unwrap", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)].Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc>::try_unwrap", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc>::unwrap_or_clone", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::Rc>::unwrap_or_clone", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::rc::RcInner as alloc::rc::RcInnerPtr>::strong_ref", "Argument[self].Field[alloc::rc::RcInner::strong]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::rc::RcInner as alloc::rc::RcInnerPtr>::weak_ref", "Argument[self].Field[alloc::rc::RcInner::weak]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::rc::UniqueRc as core::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::UniqueRc as core::borrow::Borrow>::borrow", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::UniqueRc as core::borrow::Borrow>::borrow", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::rc::UniqueRc as core::borrow::BorrowMut>::borrow_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::UniqueRc as core::borrow::BorrowMut>::borrow_mut", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::UniqueRc as core::borrow::BorrowMut>::borrow_mut", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::rc::UniqueRc as core::convert::AsMut>::as_mut", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::UniqueRc as core::convert::AsMut>::as_mut", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::UniqueRc as core::convert::AsMut>::as_mut", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::rc::UniqueRc as core::convert::AsRef>::as_ref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::UniqueRc as core::convert::AsRef>::as_ref", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::rc::UniqueRc as core::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::rc::UniqueRc>::downgrade", "Argument[0].Field[alloc::rc::UniqueRc::alloc].Reference", "ReturnValue.Field[alloc::rc::Weak::alloc]", "value", "dfc-generated"]
       - ["<alloc::rc::UniqueRc>::downgrade", "Argument[0].Field[alloc::rc::UniqueRc::alloc]", "ReturnValue.Field[alloc::rc::Weak::alloc]", "value", "dfc-generated"]
       - ["<alloc::rc::UniqueRc>::downgrade", "Argument[0].Field[alloc::rc::UniqueRc::ptr]", "ReturnValue.Field[alloc::rc::Weak::ptr]", "value", "dfc-generated"]
@@ -443,6 +482,7 @@ extensions:
       - ["<alloc::string::String as core::clone::Clone>::clone", "Argument[self].Field[alloc::string::String::vec].Reference", "ReturnValue.Field[alloc::string::String::vec]", "value", "dfc-generated"]
       - ["<alloc::string::String as core::clone::Clone>::clone", "Argument[self].Field[alloc::string::String::vec]", "ReturnValue.Field[alloc::string::String::vec]", "value", "dfc-generated"]
       - ["<alloc::string::String as core::convert::AsMut>::as_mut", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
+      - ["<alloc::string::String as core::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::string::String as core::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::string::String as core::convert::From>::from", "Argument[0].Field[alloc::borrow::Cow::Owned(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::string::String as core::convert::From>::from", "Argument[0].Field[alloc::string::String::vec].Reference", "ReturnValue.Field[alloc::string::String::vec]", "value", "dfc-generated"]
@@ -466,13 +506,21 @@ extensions:
       - ["<alloc::string::String>::split_off", "Argument[0]", "Argument[self].Field[alloc::string::String::vec].Field[alloc::vec::Vec::len]", "value", "dfc-generated"]
       - ["<alloc::string::String>::truncate", "Argument[0]", "Argument[self].Field[alloc::string::String::vec].Field[alloc::vec::Vec::len]", "value", "dfc-generated"]
       - ["<alloc::sync::Arc as core::borrow::Borrow>::borrow", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::sync::Arc as core::borrow::Borrow>::borrow", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::sync::Arc as core::borrow::Borrow>::borrow", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::sync::Arc as core::convert::AsRef>::as_ref", "Argument[self].Reference.Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::sync::Arc as core::convert::AsRef>::as_ref", "Argument[self].Reference", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<alloc::sync::Arc as core::convert::AsRef>::as_ref", "Argument[self]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::sync::Arc as core::convert::TryFrom>::try_from", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
+      - ["<alloc::sync::Arc as std::io::Read>::read", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<alloc::sync::Arc as std::io::Read>::read_to_end", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<alloc::sync::Arc as std::io::Read>::read_to_end", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<alloc::sync::Arc as std::io::Read>::read_to_string", "Argument[0]", "ReturnValue", "taint", "df-generated"]
+      - ["<alloc::sync::Arc as std::io::Read>::read_to_string", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<alloc::sync::Arc>::allocator", "Argument[0].Field[alloc::sync::Arc::alloc]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<alloc::sync::Arc>::downcast", "Argument[self]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
+      - ["<alloc::sync::Arc>::downgrade", "Argument[0].Field[alloc::sync::Arc::alloc].Reference", "ReturnValue.Field[alloc::sync::Weak::alloc]", "value", "dfc-generated"]
+      - ["<alloc::sync::Arc>::downgrade", "Argument[0].Field[alloc::sync::Arc::alloc]", "ReturnValue.Field[alloc::sync::Weak::alloc]", "value", "dfc-generated"]
       - ["<alloc::sync::Arc>::downgrade", "Argument[0].Field[alloc::sync::Arc::ptr]", "ReturnValue.Field[alloc::sync::Weak::ptr]", "value", "dfc-generated"]
       - ["<alloc::sync::Arc>::new_uninit_in", "Argument[0]", "ReturnValue.Field[alloc::sync::Arc::alloc]", "value", "dfc-generated"]
       - ["<alloc::sync::Arc>::new_uninit_slice_in", "Argument[1]", "ReturnValue.Field[alloc::sync::Arc::alloc]", "value", "dfc-generated"]
@@ -534,7 +582,7 @@ extensions:
       - ["<alloc::vec::set_len_on_drop::SetLenOnDrop>::current_len", "Argument[self].Field[alloc::vec::set_len_on_drop::SetLenOnDrop::local_len]", "ReturnValue", "value", "dfc-generated"]
       - ["<alloc::vec::set_len_on_drop::SetLenOnDrop>::new", "Argument[0].Reference", "ReturnValue.Field[alloc::vec::set_len_on_drop::SetLenOnDrop::local_len]", "value", "dfc-generated"]
       - ["<alloc::vec::set_len_on_drop::SetLenOnDrop>::new", "Argument[0]", "ReturnValue.Field[alloc::vec::set_len_on_drop::SetLenOnDrop::len]", "value", "dfc-generated"]
-      - ["<as_if_std::the_backtrace_crate::backtrace::Frame>::sp", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<as_if_std::the_backtrace_crate::backtrace::Frame>::sp", "Argument[self].Field[as_if_std::the_backtrace_crate::backtrace::Frame::inner].Field[backtrace::backtrace::Frame::inner].Field[std::backtrace_rs::backtrace::Frame::inner].Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "ReturnValue", "value", "dfc-generated"]
       - ["<as_if_std::the_backtrace_crate::backtrace::libunwind::Frame as core::clone::Clone>::clone", "Argument[self].Reference.Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "ReturnValue.Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "value", "dfc-generated"]
       - ["<as_if_std::the_backtrace_crate::backtrace::libunwind::Frame>::sp", "Argument[self].Reference.Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "ReturnValue", "value", "dfc-generated"]
       - ["<as_if_std::the_backtrace_crate::capture::Backtrace as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[as_if_std::the_backtrace_crate::capture::Backtrace::frames].Field[backtrace::capture::Backtrace::frames].Field[std::backtrace_rs::capture::Backtrace::frames]", "value", "dfc-generated"]
@@ -559,7 +607,7 @@ extensions:
       - ["<as_if_std::the_backtrace_crate::symbolize::gimli::mmap::Mmap>::map", "Argument[1]", "ReturnValue.Field[core::option::Option::Some(0)].Field[as_if_std::the_backtrace_crate::symbolize::gimli::mmap::Mmap::len].Field[backtrace::symbolize::gimli::mmap::Mmap::len].Field[std::backtrace_rs::symbolize::gimli::mmap::Mmap::len]", "value", "dfc-generated"]
       - ["<as_if_std::the_backtrace_crate::symbolize::gimli::parse_running_mmaps::MapsEntry>::pathname", "Argument[self].Field[as_if_std::the_backtrace_crate::symbolize::gimli::parse_running_mmaps::MapsEntry::pathname].Field[backtrace::symbolize::gimli::parse_running_mmaps::MapsEntry::pathname].Field[std::backtrace_rs::symbolize::gimli::parse_running_mmaps::MapsEntry::pathname]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<as_if_std::the_backtrace_crate::symbolize::gimli::stash::Stash>::allocate", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<backtrace::backtrace::Frame>::sp", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<backtrace::backtrace::Frame>::sp", "Argument[self].Field[as_if_std::the_backtrace_crate::backtrace::Frame::inner].Field[backtrace::backtrace::Frame::inner].Field[std::backtrace_rs::backtrace::Frame::inner].Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "ReturnValue", "value", "dfc-generated"]
       - ["<backtrace::backtrace::libunwind::Frame as core::clone::Clone>::clone", "Argument[self].Reference.Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "ReturnValue.Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "value", "dfc-generated"]
       - ["<backtrace::backtrace::libunwind::Frame>::sp", "Argument[self].Reference.Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "ReturnValue", "value", "dfc-generated"]
       - ["<backtrace::capture::Backtrace as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[as_if_std::the_backtrace_crate::capture::Backtrace::frames].Field[backtrace::capture::Backtrace::frames].Field[std::backtrace_rs::capture::Backtrace::frames]", "value", "dfc-generated"]
@@ -2154,15 +2202,19 @@ extensions:
       - ["<core::iter::adapters::by_ref_sized::ByRefSized as core::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[0].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<core::iter::adapters::by_ref_sized::ByRefSized as core::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[core::iter::adapters::by_ref_sized::ByRefSized(0)].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<core::iter::adapters::by_ref_sized::ByRefSized as core::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
-      - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::rfind", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[core::iter::adapters::chain::Chain::a].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[core::iter::adapters::chain::Chain::b].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::nth_back", "Argument[self].Field[core::iter::adapters::chain::Chain::a].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::rfind", "Argument[self].Field[core::iter::adapters::chain::Chain::a].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::rfind", "Argument[self].Field[core::iter::adapters::chain::Chain::b].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::chain::Chain as core::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
-      - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::find", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::find", "Argument[self].Field[core::iter::adapters::chain::Chain::a].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::find", "Argument[self].Field[core::iter::adapters::chain::Chain::b].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
-      - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::nth", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[core::iter::adapters::chain::Chain::a].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[core::iter::adapters::chain::Chain::b].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::nth", "Argument[self].Field[core::iter::adapters::chain::Chain::b].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::iter::adapters::chain::Chain as core::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::chain::Chain>::new", "Argument[0]", "ReturnValue.Field[core::iter::adapters::chain::Chain::a].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<core::iter::adapters::chain::Chain>::new", "Argument[1]", "ReturnValue.Field[core::iter::adapters::chain::Chain::b].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
@@ -2226,28 +2278,32 @@ extensions:
       - ["<core::iter::adapters::filter_map::FilterMap as core::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::filter_map::FilterMap>::new", "Argument[0]", "ReturnValue.Field[core::iter::adapters::filter_map::FilterMap::iter]", "value", "dfc-generated"]
       - ["<core::iter::adapters::filter_map::FilterMap>::new", "Argument[1]", "ReturnValue.Field[core::iter::adapters::filter_map::FilterMap::f]", "value", "dfc-generated"]
+      - ["<core::iter::adapters::flatten::FlatMap as core::clone::Clone>::clone", "Argument[self].Field[core::iter::adapters::flatten::FlatMap::inner].Reference", "ReturnValue.Field[core::iter::adapters::flatten::FlatMap::inner]", "value", "dfc-generated"]
+      - ["<core::iter::adapters::flatten::FlatMap as core::clone::Clone>::clone", "Argument[self].Field[core::iter::adapters::flatten::FlatMap::inner]", "ReturnValue.Field[core::iter::adapters::flatten::FlatMap::inner]", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlatMap as core::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlatMap as core::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlatMap as core::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlatMap as core::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlatMap>::into_parts", "Argument[self].Field[core::iter::adapters::flatten::FlatMap::inner].Field[core::iter::adapters::flatten::FlattenCompat::backiter]", "ReturnValue.Field[2]", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlatMap>::into_parts", "Argument[self].Field[core::iter::adapters::flatten::FlatMap::inner].Field[core::iter::adapters::flatten::FlattenCompat::frontiter]", "ReturnValue.Field[0]", "value", "dfc-generated"]
+      - ["<core::iter::adapters::flatten::Flatten as core::clone::Clone>::clone", "Argument[self].Field[core::iter::adapters::flatten::Flatten::inner].Reference", "ReturnValue.Field[core::iter::adapters::flatten::Flatten::inner]", "value", "dfc-generated"]
+      - ["<core::iter::adapters::flatten::Flatten as core::clone::Clone>::clone", "Argument[self].Field[core::iter::adapters::flatten::Flatten::inner]", "ReturnValue.Field[core::iter::adapters::flatten::Flatten::inner]", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::Flatten as core::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::Flatten as core::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::Flatten as core::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::Flatten as core::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
-      - ["<core::iter::adapters::flatten::FlattenCompat as core::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<core::iter::adapters::flatten::FlattenCompat as core::iter::traits::double_ended::DoubleEndedIterator>::next_back", "Argument[self].Field[core::iter::adapters::flatten::FlattenCompat::frontiter].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlattenCompat as core::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlattenCompat as core::iter::traits::double_ended::DoubleEndedIterator>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlattenCompat as core::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
-      - ["<core::iter::adapters::flatten::FlattenCompat as core::iter::traits::iterator::Iterator>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<core::iter::adapters::flatten::FlattenCompat as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[core::iter::adapters::flatten::FlattenCompat::backiter].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::iter::adapters::flatten::FlattenCompat as core::iter::traits::iterator::Iterator>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
-      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::find", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::next", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::next_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::nth", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::nth_back", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::rfind", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::find", "Argument[self].Field[core::iter::adapters::fuse::Fuse::iter].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::next", "Argument[self].Field[core::iter::adapters::fuse::Fuse::iter].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::next_back", "Argument[self].Field[core::iter::adapters::fuse::Fuse::iter].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::nth", "Argument[self].Field[core::iter::adapters::fuse::Fuse::iter].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::nth_back", "Argument[self].Field[core::iter::adapters::fuse::Fuse::iter].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::rfind", "Argument[self].Field[core::iter::adapters::fuse::Fuse::iter].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::try_fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::fuse::Fuse as core::iter::adapters::fuse::FuseImpl>::try_rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::iter::adapters::fuse::Fuse as core::iter::traits::double_ended::DoubleEndedIterator>::rfold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
@@ -2790,7 +2846,6 @@ extensions:
       - ["<core::ops::try_trait::NeverShortCircuit>::wrap_mut_1", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::ops::try_trait::NeverShortCircuit>::wrap_mut_2", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::option::Iter as core::clone::Clone>::clone", "Argument[self].Field[core::option::Iter::inner].Reference", "ReturnValue.Field[core::option::Iter::inner]", "value", "dfc-generated"]
-      - ["<core::option::Iter as core::clone::Clone>::clone", "Argument[self].Field[core::option::Iter::inner]", "ReturnValue.Field[core::option::Iter::inner]", "value", "dfc-generated"]
       - ["<core::option::Iter as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[core::option::Iter::inner].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<core::option::IterMut as core::iter::traits::iterator::Iterator>::next", "Argument[self].Field[core::option::IterMut::inner].Element", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<core::option::Option as core::convert::From>::from", "Argument[0].Reference.Field[core::option::Option::Some(0)]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
@@ -2808,12 +2863,12 @@ extensions:
       - ["<core::option::Option>::expect", "Argument[self].Field[core::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::option::Option>::flatten", "Argument[self].Field[core::option::Option::Some(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::option::Option>::get_or_insert", "Argument[0]", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<core::option::Option>::get_or_insert", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::option::Option>::get_or_insert", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::option::Option>::get_or_insert_default", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
-      - ["<core::option::Option>::get_or_insert_with", "Argument[0].ReturnValue", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
-      - ["<core::option::Option>::get_or_insert_with", "Argument[0]", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<core::option::Option>::get_or_insert_with", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::option::Option>::insert", "Argument[0]", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<core::option::Option>::insert", "Argument[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::option::Option>::insert", "Argument[self].Reference.Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<core::option::Option>::inspect", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<core::option::Option>::is_none_or", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
@@ -4767,7 +4822,8 @@ extensions:
       - ["<proc_macro::Spacing as proc_macro::bridge::Mark>::mark", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<proc_macro::Spacing as proc_macro::bridge::Unmark>::unmark", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<proc_macro::TokenStream as proc_macro::to_tokens::ToTokens>::into_token_stream", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
-      - ["<proc_macro::TokenStream>::expand_expr", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<proc_macro::TokenStream>::expand_expr", "Argument[self].Field[0].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<proc_macro::TokenStream>::expand_expr", "Argument[self].Field[proc_macro::TokenStream(0)].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<proc_macro::TokenTree as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[proc_macro::TokenTree::Group(0)]", "value", "dfc-generated"]
       - ["<proc_macro::TokenTree as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[proc_macro::TokenTree::Ident(0)]", "value", "dfc-generated"]
       - ["<proc_macro::TokenTree as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[proc_macro::TokenTree::Literal(0)]", "value", "dfc-generated"]
@@ -4828,7 +4884,7 @@ extensions:
       - ["<proc_macro::diagnostic::Diagnostic>::warning", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<proc_macro::diagnostic::Level as proc_macro::bridge::Mark>::mark", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<proc_macro::diagnostic::Level as proc_macro::bridge::Unmark>::unmark", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
-      - ["<std::backtrace_rs::backtrace::Frame>::sp", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<std::backtrace_rs::backtrace::Frame>::sp", "Argument[self].Field[as_if_std::the_backtrace_crate::backtrace::Frame::inner].Field[backtrace::backtrace::Frame::inner].Field[std::backtrace_rs::backtrace::Frame::inner].Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "ReturnValue", "value", "dfc-generated"]
       - ["<std::backtrace_rs::backtrace::libunwind::Frame as core::clone::Clone>::clone", "Argument[self].Reference.Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "ReturnValue.Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "value", "dfc-generated"]
       - ["<std::backtrace_rs::backtrace::libunwind::Frame>::sp", "Argument[self].Reference.Field[as_if_std::the_backtrace_crate::backtrace::libunwind::Frame::Cloned::sp].Field[backtrace::backtrace::libunwind::Frame::Cloned::sp].Field[std::backtrace_rs::backtrace::libunwind::Frame::Cloned::sp]", "ReturnValue", "value", "dfc-generated"]
       - ["<std::backtrace_rs::capture::Backtrace as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[as_if_std::the_backtrace_crate::capture::Backtrace::frames].Field[backtrace::capture::Backtrace::frames].Field[std::backtrace_rs::capture::Backtrace::frames]", "value", "dfc-generated"]
@@ -4881,7 +4937,11 @@ extensions:
       - ["<std::collections::hash::set::Intersection as core::clone::Clone>::clone", "Argument[self].Field[std::collections::hash::set::Intersection::iter]", "ReturnValue.Field[std::collections::hash::set::Intersection::iter]", "value", "dfc-generated"]
       - ["<std::collections::hash::set::Iter as core::clone::Clone>::clone", "Argument[self].Field[std::collections::hash::set::Iter::base].Reference", "ReturnValue.Field[std::collections::hash::set::Iter::base]", "value", "dfc-generated"]
       - ["<std::collections::hash::set::Iter as core::clone::Clone>::clone", "Argument[self].Field[std::collections::hash::set::Iter::base]", "ReturnValue.Field[std::collections::hash::set::Iter::base]", "value", "dfc-generated"]
+      - ["<std::collections::hash::set::SymmetricDifference as core::clone::Clone>::clone", "Argument[self].Field[std::collections::hash::set::SymmetricDifference::iter].Reference", "ReturnValue.Field[std::collections::hash::set::SymmetricDifference::iter]", "value", "dfc-generated"]
+      - ["<std::collections::hash::set::SymmetricDifference as core::clone::Clone>::clone", "Argument[self].Field[std::collections::hash::set::SymmetricDifference::iter]", "ReturnValue.Field[std::collections::hash::set::SymmetricDifference::iter]", "value", "dfc-generated"]
       - ["<std::collections::hash::set::SymmetricDifference as core::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
+      - ["<std::collections::hash::set::Union as core::clone::Clone>::clone", "Argument[self].Field[std::collections::hash::set::Union::iter].Reference", "ReturnValue.Field[std::collections::hash::set::Union::iter]", "value", "dfc-generated"]
+      - ["<std::collections::hash::set::Union as core::clone::Clone>::clone", "Argument[self].Field[std::collections::hash::set::Union::iter]", "ReturnValue.Field[std::collections::hash::set::Union::iter]", "value", "dfc-generated"]
       - ["<std::collections::hash::set::Union as core::iter::traits::iterator::Iterator>::fold", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<std::error::Report as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[std::error::Report::error]", "value", "dfc-generated"]
       - ["<std::error::Report>::pretty", "Argument[0]", "Argument[self].Field[std::error::Report::pretty]", "value", "dfc-generated"]
@@ -5040,7 +5100,6 @@ extensions:
       - ["<std::io::cursor::Cursor>::set_position", "Argument[0]", "Argument[self].Field[std::io::cursor::Cursor::pos]", "value", "dfc-generated"]
       - ["<std::io::error::Error as core::convert::From>::from", "Argument[0].Field[1]", "ReturnValue", "value", "dfc-generated"]
       - ["<std::io::error::Error as core::convert::From>::from", "Argument[0].Field[std::io::buffered::IntoInnerError(1)]", "ReturnValue", "value", "dfc-generated"]
-      - ["<std::io::pipe::PipeReader as std::io::Read>::read_to_end", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<std::io::pipe::PipeReader as std::io::Read>::read_to_end", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<std::io::pipe::PipeReader as std::sys_common::IntoInner>::into_inner", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<std::io::pipe::PipeReader as std::sys_common::IntoInner>::into_inner", "Argument[self].Field[std::io::pipe::PipeReader(0)]", "ReturnValue", "value", "dfc-generated"]
@@ -5130,6 +5189,7 @@ extensions:
       - ["<std::path::Path>::as_mut_os_str", "Argument[self].Field[std::path::Path::inner]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<std::path::Path>::as_os_str", "Argument[self].Field[std::path::Path::inner]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<std::path::Path>::display", "Argument[self].Field[std::path::Path::inner]", "ReturnValue.Field[std::path::Display::inner].Field[std::ffi::os_str::Display::os_str]", "value", "dfc-generated"]
+      - ["<std::path::PathBuf as core::borrow::Borrow>::borrow", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
       - ["<std::path::PathBuf as core::clone::Clone>::clone", "Argument[self].Field[std::path::PathBuf::inner].Field[std::ffi::os_str::OsString::inner]", "ReturnValue.Field[std::path::PathBuf::inner].Field[std::ffi::os_str::OsString::inner]", "value", "dfc-generated"]
       - ["<std::path::PathBuf as core::clone::Clone>::clone", "Argument[self].Field[std::path::PathBuf::inner].Reference", "ReturnValue.Field[std::path::PathBuf::inner]", "value", "dfc-generated"]
       - ["<std::path::PathBuf as core::clone::Clone>::clone", "Argument[self].Field[std::path::PathBuf::inner]", "ReturnValue.Field[std::path::PathBuf::inner]", "value", "dfc-generated"]
@@ -5150,7 +5210,6 @@ extensions:
       - ["<std::process::Child as std::sys_common::FromInner>::from_inner", "Argument[0].Field[0]", "ReturnValue.Field[std::process::Child::handle]", "value", "dfc-generated"]
       - ["<std::process::Child as std::sys_common::IntoInner>::into_inner", "Argument[self].Field[std::process::Child::handle]", "ReturnValue", "value", "dfc-generated"]
       - ["<std::process::Child>::id", "Argument[self]", "ReturnValue", "taint", "df-generated"]
-      - ["<std::process::ChildStderr as std::io::Read>::read_to_end", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<std::process::ChildStderr as std::io::Read>::read_to_end", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<std::process::ChildStderr as std::sys_common::AsInner>::as_inner", "Argument[self].Field[std::process::ChildStderr::inner]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<std::process::ChildStderr as std::sys_common::FromInner>::from_inner", "Argument[0]", "ReturnValue.Field[std::process::ChildStderr::inner]", "value", "dfc-generated"]
@@ -5158,7 +5217,6 @@ extensions:
       - ["<std::process::ChildStdin as std::sys_common::AsInner>::as_inner", "Argument[self].Field[std::process::ChildStdin::inner]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<std::process::ChildStdin as std::sys_common::FromInner>::from_inner", "Argument[0]", "ReturnValue.Field[std::process::ChildStdin::inner]", "value", "dfc-generated"]
       - ["<std::process::ChildStdin as std::sys_common::IntoInner>::into_inner", "Argument[self].Field[std::process::ChildStdin::inner]", "ReturnValue", "value", "dfc-generated"]
-      - ["<std::process::ChildStdout as std::io::Read>::read_to_end", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<std::process::ChildStdout as std::io::Read>::read_to_end", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<std::process::ChildStdout as std::sys_common::AsInner>::as_inner", "Argument[self].Field[std::process::ChildStdout::inner]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<std::process::ChildStdout as std::sys_common::FromInner>::from_inner", "Argument[0]", "ReturnValue.Field[std::process::ChildStdout::inner]", "value", "dfc-generated"]
@@ -5327,6 +5385,8 @@ extensions:
       - ["<std::sys::fs::unix::cfm::CachedFileMetadata as std::io::Read>::read_to_end", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<std::sys::fs::unix::cfm::CachedFileMetadata as std::io::Read>::read_to_string", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<std::sys::fs::unix::cfm::CachedFileMetadata as std::io::Read>::read_to_string", "Argument[self]", "Argument[0]", "taint", "df-generated"]
+      - ["<std::sys::fs::unix::cfm::CachedFileMetadata as std::sys::pal::unix::kernel_copy::CopyRead>::properties", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<std::sys::fs::unix::cfm::CachedFileMetadata as std::sys::pal::unix::kernel_copy::CopyWrite>::properties", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<std::sys::io::io_slice::iovec::IoSlice>::new", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<std::sys::io::io_slice::iovec::IoSliceMut>::new", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<std::sys::net::connection::socket::LookupHost>::port", "Argument[self].Field[std::sys::net::connection::socket::LookupHost::port]", "ReturnValue", "value", "dfc-generated"]
@@ -5368,7 +5428,6 @@ extensions:
       - ["<std::sys::pal::unix::fd::FileDesc as std::sys_common::AsInner>::as_inner", "Argument[self].Field[std::sys::pal::unix::fd::FileDesc(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<std::sys::pal::unix::fd::FileDesc as std::sys_common::IntoInner>::into_inner", "Argument[self].Field[0]", "ReturnValue", "value", "dfc-generated"]
       - ["<std::sys::pal::unix::fd::FileDesc as std::sys_common::IntoInner>::into_inner", "Argument[self].Field[std::sys::pal::unix::fd::FileDesc(0)]", "ReturnValue", "value", "dfc-generated"]
-      - ["<std::sys::pal::unix::fd::FileDesc>::read_to_end", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<std::sys::pal::unix::fd::FileDesc>::read_to_end", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<std::sys::pal::unix::linux::pidfd::PidFd as std::sys_common::AsInner>::as_inner", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<std::sys::pal::unix::linux::pidfd::PidFd as std::sys_common::AsInner>::as_inner", "Argument[self].Field[std::sys::pal::unix::linux::pidfd::PidFd(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
@@ -5378,7 +5437,6 @@ extensions:
       - ["<std::sys::pal::unix::pipe::AnonPipe as std::sys_common::IntoInner>::into_inner", "Argument[self].Field[std::sys::pal::unix::pipe::AnonPipe(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<std::sys::pal::unix::pipe::AnonPipe>::as_file_desc", "Argument[self].Field[0]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<std::sys::pal::unix::pipe::AnonPipe>::as_file_desc", "Argument[self].Field[std::sys::pal::unix::pipe::AnonPipe(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
-      - ["<std::sys::pal::unix::pipe::AnonPipe>::read_to_end", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<std::sys::pal::unix::pipe::AnonPipe>::read_to_end", "Argument[self]", "Argument[0]", "taint", "df-generated"]
       - ["<std::sys::pal::unix::sync::mutex::Mutex>::raw", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<std::sys::pal::unix::thread::Thread>::id", "Argument[self].Field[std::sys::pal::unix::thread::Thread::id]", "ReturnValue", "value", "dfc-generated"]
@@ -5497,6 +5555,8 @@ extensions:
       - ["<stdarch-gen-arm::context::LocalContext>::make_assertion_from_constraint", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<stdarch-gen-arm::context::LocalContext>::make_assertion_from_constraint", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<stdarch-gen-arm::context::LocalContext>::new", "Argument[0]", "ReturnValue.Field[stdarch-gen-arm::context::LocalContext::input]", "value", "dfc-generated"]
+      - ["<stdarch-gen-arm::context::LocalContext>::new", "Argument[1].Field[stdarch-gen-arm::intrinsic::Intrinsic::signature].Reference", "ReturnValue.Field[stdarch-gen-arm::context::LocalContext::signature]", "value", "dfc-generated"]
+      - ["<stdarch-gen-arm::context::LocalContext>::new", "Argument[1].Field[stdarch-gen-arm::intrinsic::Intrinsic::signature]", "ReturnValue.Field[stdarch-gen-arm::context::LocalContext::signature]", "value", "dfc-generated"]
       - ["<stdarch-gen-arm::context::LocalContext>::provide_substitution_wildcard", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<stdarch-gen-arm::context::LocalContext>::provide_type_wildcard", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<stdarch-gen-arm::expression::Expression as core::convert::From>::from", "Argument[0]", "ReturnValue.Field[stdarch-gen-arm::expression::Expression::FnCall(0)]", "value", "dfc-generated"]
@@ -5508,8 +5568,10 @@ extensions:
       - ["<stdarch-gen-arm::input::InputType>::typekind", "Argument[self].Field[stdarch-gen-arm::input::InputType::Type(0)]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<stdarch-gen-arm::intrinsic::Argument as core::str::traits::FromStr>::from_str", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<stdarch-gen-arm::intrinsic::Constraint>::build", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<stdarch-gen-arm::intrinsic::Intrinsic>::generate_variant", "Argument[self].Reference.Reference", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
+      - ["<stdarch-gen-arm::intrinsic::Intrinsic>::generate_variant", "Argument[self].Reference", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
       - ["<stdarch-gen-arm::intrinsic::LLVMLink>::apply_conversions_to_call", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[stdarch-gen-arm::expression::Expression::FnCall(0)]", "value", "dfc-generated"]
-      - ["<stdarch-gen-arm::intrinsic::LLVMLink>::make_fn_call", "Argument[self]", "ReturnValue", "taint", "df-generated"]
+      - ["<stdarch-gen-arm::intrinsic::LLVMLink>::make_fn_call", "Argument[self].Field[stdarch-gen-arm::intrinsic::LLVMLink::signature].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<stdarch-gen-arm::intrinsic::LLVMLink>::resolve", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["<stdarch-gen-arm::intrinsic::LLVMLink>::resolve", "Argument[self]", "ReturnValue", "taint", "df-generated"]
       - ["<stdarch-gen-arm::intrinsic::Signature>::drop_argument", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -5553,8 +5615,8 @@ extensions:
       - ["alloc::collections::btree::mem::take_mut", "Argument[0].Reference", "Argument[1].Parameter[0]", "value", "dfc-generated"]
       - ["alloc::collections::btree::mem::take_mut", "Argument[1].ReturnValue", "Argument[0].Reference", "value", "dfc-generated"]
       - ["alloc::str::convert_while_ascii", "Argument[0].Element", "Argument[1].Parameter[0].Reference", "value", "dfc-generated"]
-      - ["as_if_std::the_backtrace_crate::symbolize::gimli::elf::handle_split_dwarf", "Argument[2]", "ReturnValue", "taint", "df-generated"]
-      - ["backtrace::symbolize::gimli::elf::handle_split_dwarf", "Argument[2]", "ReturnValue", "taint", "df-generated"]
+      - ["as_if_std::the_backtrace_crate::symbolize::gimli::elf::handle_split_dwarf", "Argument[2].Field[addr2line::lookup::SplitDwarfLoad::path].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["backtrace::symbolize::gimli::elf::handle_split_dwarf", "Argument[2].Field[addr2line::lookup::SplitDwarfLoad::path].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["core::array::drain::drain_array_with", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["core::char::convert::from_digit", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["core::char::from_digit", "Argument[0]", "ReturnValue", "taint", "df-generated"]
@@ -6404,7 +6466,7 @@ extensions:
       - ["proc_macro::bridge::client::state::set", "Argument[1]", "Argument[1].Parameter[0]", "value", "dfc-generated"]
       - ["proc_macro::bridge::client::state::with", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["std::backtrace::helper::lazy_resolve", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
-      - ["std::backtrace_rs::symbolize::gimli::elf::handle_split_dwarf", "Argument[2]", "ReturnValue", "taint", "df-generated"]
+      - ["std::backtrace_rs::symbolize::gimli::elf::handle_split_dwarf", "Argument[2].Field[addr2line::lookup::SplitDwarfLoad::path].Field[core::option::Option::Some(0)]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["std::io::append_to_string", "Argument[0].Field[alloc::string::String::vec]", "Argument[1].Parameter[0].Reference", "value", "dfc-generated"]
       - ["std::io::append_to_string", "Argument[1].Field[alloc::collections::vec_deque::VecDeque::len]", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
       - ["std::io::append_to_string", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
@@ -6435,8 +6497,8 @@ extensions:
       - ["std::thread::current::set_current", "Argument[0]", "ReturnValue.Field[core::result::Result::Err(0)]", "value", "dfc-generated"]
       - ["std::thread::current::try_with_current", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["std::thread::with_current_name", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
-      - ["stdarch-gen-arm::big_endian::create_let_variable", "Argument[2]", "ReturnValue", "taint", "df-generated"]
-      - ["stdarch-gen-arm::big_endian::create_mut_let_variable", "Argument[2]", "ReturnValue", "taint", "df-generated"]
+      - ["stdarch-gen-arm::big_endian::create_let_variable", "Argument[1].Reference", "ReturnValue.Field[stdarch-gen-arm::expression::Expression::Let(0)].Field[stdarch-gen-arm::expression::LetVariant::WithType(1)]", "value", "dfc-generated"]
+      - ["stdarch-gen-arm::big_endian::create_mut_let_variable", "Argument[1].Reference", "ReturnValue.Field[stdarch-gen-arm::expression::Expression::Let(0)].Field[stdarch-gen-arm::expression::LetVariant::MutWithType(1)]", "value", "dfc-generated"]
       - ["stdarch-gen-arm::fn_suffix::make_neon_suffix", "Argument[0]", "ReturnValue", "taint", "df-generated"]
       - ["test_helpers::subnormals::flush", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
       - ["test_helpers::subnormals::flush_in", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
@@ -6566,7 +6628,10 @@ extensions:
       - ["<alloc::raw_vec::RawVec>::with_capacity_in", "Argument[0]", "alloc-layout", "df-generated"]
       - ["<alloc::raw_vec::RawVec>::with_capacity_zeroed", "Argument[0]", "alloc-layout", "df-generated"]
       - ["<alloc::raw_vec::RawVec>::with_capacity_zeroed_in", "Argument[0]", "alloc-layout", "df-generated"]
+      - ["<alloc::rc::Rc>::into_inner", "Argument[0]", "pointer-access", "df-generated"]
       - ["<alloc::rc::Rc>::make_mut", "Argument[0]", "pointer-access", "df-generated"]
+      - ["<alloc::rc::Rc>::try_unwrap", "Argument[0]", "pointer-access", "df-generated"]
+      - ["<alloc::rc::Rc>::unwrap_or_clone", "Argument[0]", "pointer-access", "df-generated"]
       - ["<alloc::string::String>::split_off", "Argument[0]", "alloc-layout", "df-generated"]
       - ["<alloc::string::String>::split_off", "Argument[0]", "log-injection", "df-generated"]
       - ["<alloc::string::String>::split_off", "Argument[self]", "alloc-layout", "df-generated"]
@@ -6644,6 +6709,10 @@ extensions:
       - ["<std::io::error::repr_bitpacked::Repr>::new", "Argument[0]", "log-injection", "df-generated"]
       - ["<std::io::error::repr_bitpacked::Repr>::new_os", "Argument[0]", "log-injection", "df-generated"]
       - ["<std::io::error::repr_bitpacked::Repr>::new_simple", "Argument[0]", "log-injection", "df-generated"]
+      - ["<std::io::stdio::Stderr as std::io::Write>::write", "Argument[0]", "log-injection", "df-generated"]
+      - ["<std::io::stdio::Stderr as std::io::Write>::write_all", "Argument[0]", "log-injection", "df-generated"]
+      - ["<std::io::stdio::Stdout as std::io::Write>::write", "Argument[0]", "log-injection", "df-generated"]
+      - ["<std::io::stdio::Stdout as std::io::Write>::write_all", "Argument[0]", "log-injection", "df-generated"]
       - ["<std::path::Path>::exists", "Argument[self]", "path-injection", "df-generated"]
       - ["<std::path::Path>::is_dir", "Argument[self]", "path-injection", "df-generated"]
       - ["<std::path::Path>::is_file", "Argument[self]", "path-injection", "df-generated"]
@@ -6662,7 +6731,10 @@ extensions:
       - ["<stdarch-gen-arm::expression::Expression>::is_static_assert", "Argument[self]", "log-injection", "df-generated"]
       - ["<stdarch-gen-arm::expression::Expression>::requires_unsafe_wrapper", "Argument[0]", "log-injection", "df-generated"]
       - ["<stdarch-gen-arm::expression::Expression>::requires_unsafe_wrapper", "Argument[self]", "log-injection", "df-generated"]
+      - ["<stdarch-gen-arm::intrinsic::Intrinsic>::generate_variant", "Argument[self]", "log-injection", "df-generated"]
       - ["<stdarch-gen-arm::intrinsic::LLVMLink as quote::to_tokens::ToTokens>::to_tokens", "Argument[self]", "log-injection", "df-generated"]
+      - ["<stdarch-gen-arm::intrinsic::LLVMLink>::build", "Argument[0]", "log-injection", "df-generated"]
+      - ["<stdarch-gen-arm::intrinsic::LLVMLink>::build_and_save", "Argument[0]", "log-injection", "df-generated"]
       - ["<stdarch-gen-arm::intrinsic::Signature>::drop_argument", "Argument[self]", "log-injection", "df-generated"]
       - ["<stdarch-gen-arm::matching::KindMatchable as core::convert::AsMut>::as_mut", "Argument[self]", "log-injection", "df-generated"]
       - ["<stdarch-gen-arm::matching::KindMatchable as core::convert::AsRef>::as_ref", "Argument[self]", "log-injection", "df-generated"]
diff --git a/rust/ql/lib/ext/generated/serde.model.yml b/rust/ql/lib/ext/generated/serde.model.yml
index 0d06a220b935..689467711432 100644
--- a/rust/ql/lib/ext/generated/serde.model.yml
+++ b/rust/ql/lib/ext/generated/serde.model.yml
@@ -17,6 +17,7 @@ extensions:
       - ["<serde::__private::de::content::ContentDeserializer as serde::de::IntoDeserializer>::into_deserializer", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<serde::__private::de::content::ContentDeserializer>::new", "Argument[0]", "ReturnValue.Field[serde::__private::de::content::ContentDeserializer::content]", "value", "dfc-generated"]
       - ["<serde::__private::de::content::ContentRefDeserializer as core::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
+      - ["<serde::__private::de::content::ContentRefDeserializer as serde::de::Deserializer>::__deserialize_content", "Argument[self].Field[serde::__private::de::content::ContentRefDeserializer::content].Reference", "ReturnValue.Field[core::result::Result::Ok(0)]", "value", "dfc-generated"]
       - ["<serde::__private::de::content::ContentRefDeserializer as serde::de::IntoDeserializer>::into_deserializer", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<serde::__private::de::content::ContentRefDeserializer>::new", "Argument[0]", "ReturnValue.Field[serde::__private::de::content::ContentRefDeserializer::content]", "value", "dfc-generated"]
       - ["<serde::__private::de::content::ContentVisitor as serde::de::Visitor>::visit_bool", "Argument[0]", "ReturnValue.Field[core::result::Result::Ok(0)].Field[serde::__private::de::content::Content::Bool(0)]", "value", "dfc-generated"]
@@ -187,6 +188,8 @@ extensions:
       - ["<serde::format::Buf>::new", "Argument[0]", "ReturnValue.Field[serde::format::Buf::bytes]", "value", "dfc-generated"]
       - ["<serde_derive::fragment::Fragment as core::convert::AsRef>::as_ref", "Argument[self].Field[serde_derive::fragment::Fragment::Block(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<serde_derive::fragment::Fragment as core::convert::AsRef>::as_ref", "Argument[self].Field[serde_derive::fragment::Fragment::Expr(0)]", "ReturnValue", "value", "dfc-generated"]
+      - ["<serde_derive::internals::ast::Container>::from_ast", "Argument[1].Field[syn::derive::DeriveInput::ident].Reference", "ReturnValue.Field[core::option::Option::Some(0)].Field[serde_derive::internals::ast::Container::ident]", "value", "dfc-generated"]
+      - ["<serde_derive::internals::ast::Container>::from_ast", "Argument[1].Field[syn::derive::DeriveInput::ident]", "ReturnValue.Field[core::option::Option::Some(0)].Field[serde_derive::internals::ast::Container::ident]", "value", "dfc-generated"]
       - ["<serde_derive::internals::ast::Container>::from_ast", "Argument[1]", "ReturnValue.Field[core::option::Option::Some(0)].Field[serde_derive::internals::ast::Container::original]", "value", "dfc-generated"]
       - ["<serde_derive::internals::attr::Attr>::get", "Argument[self].Field[serde_derive::internals::attr::Attr::value]", "ReturnValue", "value", "dfc-generated"]
       - ["<serde_derive::internals::attr::Container>::custom_serde_path", "Argument[self].Field[serde_derive::internals::attr::Container::serde_path].Field[core::option::Option::Some(0)]", "ReturnValue.Field[core::option::Option::Some(0)].Reference", "value", "dfc-generated"]
@@ -244,7 +247,9 @@ extensions:
       - ["<serde_derive::internals::case::RenameRule>::or", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<serde_derive::internals::name::MultiName>::deserialize_aliases", "Argument[self].Field[serde_derive::internals::name::MultiName::deserialize_aliases]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<serde_derive::internals::name::MultiName>::deserialize_name", "Argument[self].Field[serde_derive::internals::name::MultiName::deserialize]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<serde_derive::internals::name::MultiName>::from_attrs", "Argument[0].Reference", "ReturnValue.Field[serde_derive::internals::name::MultiName::serialize]", "value", "dfc-generated"]
       - ["<serde_derive::internals::name::MultiName>::from_attrs", "Argument[0]", "ReturnValue.Field[serde_derive::internals::name::MultiName::deserialize]", "value", "dfc-generated"]
+      - ["<serde_derive::internals::name::MultiName>::from_attrs", "Argument[0]", "ReturnValue.Field[serde_derive::internals::name::MultiName::serialize]", "value", "dfc-generated"]
       - ["<serde_derive::internals::name::MultiName>::from_attrs", "Argument[1].Field[serde_derive::internals::attr::Attr::value].Field[core::option::Option::Some(0)]", "ReturnValue.Field[serde_derive::internals::name::MultiName::serialize]", "value", "dfc-generated"]
       - ["<serde_derive::internals::name::MultiName>::from_attrs", "Argument[2].Field[serde_derive::internals::attr::Attr::value].Field[core::option::Option::Some(0)]", "ReturnValue.Field[serde_derive::internals::name::MultiName::deserialize]", "value", "dfc-generated"]
       - ["<serde_derive::internals::name::MultiName>::serialize_name", "Argument[self].Field[serde_derive::internals::name::MultiName::serialize]", "ReturnValue.Reference", "value", "dfc-generated"]
diff --git a/rust/ql/lib/ext/generated/tokio.model.yml b/rust/ql/lib/ext/generated/tokio.model.yml
index be824c6ffb34..98c9fb5f33f5 100644
--- a/rust/ql/lib/ext/generated/tokio.model.yml
+++ b/rust/ql/lib/ext/generated/tokio.model.yml
@@ -618,6 +618,7 @@ extensions:
       - ["<tokio::runtime::blocking::pool::Task>::new", "Argument[0]", "ReturnValue.Field[tokio::runtime::blocking::pool::Task::task]", "value", "dfc-generated"]
       - ["<tokio::runtime::blocking::pool::Task>::new", "Argument[1]", "ReturnValue.Field[tokio::runtime::blocking::pool::Task::mandatory]", "value", "dfc-generated"]
       - ["<tokio::runtime::blocking::schedule::BlockingSchedule as tokio::runtime::task::Schedule>::hooks", "Argument[self].Field[tokio::runtime::blocking::schedule::BlockingSchedule::hooks].Field[tokio::runtime::task::TaskHarnessScheduleHooks::task_terminate_callback]", "ReturnValue.Field[tokio::runtime::task::TaskHarnessScheduleHooks::task_terminate_callback]", "value", "dfc-generated"]
+      - ["<tokio::runtime::blocking::schedule::BlockingSchedule>::new", "Argument[0].Reference", "ReturnValue.Field[tokio::runtime::blocking::schedule::BlockingSchedule::handle]", "value", "dfc-generated"]
       - ["<tokio::runtime::blocking::task::BlockingTask>::new", "Argument[0]", "ReturnValue.Field[tokio::runtime::blocking::task::BlockingTask::func].Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
       - ["<tokio::runtime::builder::Builder>::enable_all", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
       - ["<tokio::runtime::builder::Builder>::enable_io", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
@@ -658,6 +659,7 @@ extensions:
       - ["<tokio::runtime::context::scoped::Scoped>::set", "Argument[1].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["<tokio::runtime::context::scoped::Scoped>::with", "Argument[0].ReturnValue", "ReturnValue", "value", "dfc-generated"]
       - ["<tokio::runtime::driver::IoHandle>::as_ref", "Argument[self].Field[tokio::runtime::driver::IoHandle::Enabled(0)]", "ReturnValue.Field[core::option::Option::Some(0)]", "value", "dfc-generated"]
+      - ["<tokio::runtime::handle::Handle>::metrics", "Argument[self].Reference", "ReturnValue.Field[tokio::runtime::metrics::runtime::RuntimeMetrics::handle]", "value", "dfc-generated"]
       - ["<tokio::runtime::io::driver::Driver>::consume_signal_ready", "Argument[self].Field[tokio::runtime::io::driver::Driver::signal_ready]", "ReturnValue", "value", "dfc-generated"]
       - ["<tokio::runtime::io::driver::ReadyEvent>::with_ready", "Argument[0]", "ReturnValue.Field[tokio::runtime::io::driver::ReadyEvent::ready]", "value", "dfc-generated"]
       - ["<tokio::runtime::io::driver::ReadyEvent>::with_ready", "Argument[self].Field[tokio::runtime::io::driver::ReadyEvent::is_shutdown]", "ReturnValue.Field[tokio::runtime::io::driver::ReadyEvent::is_shutdown]", "value", "dfc-generated"]
@@ -674,10 +676,13 @@ extensions:
       - ["<tokio::runtime::park::ParkThread>::unpark", "Argument[self].Field[tokio::runtime::park::ParkThread::inner]", "ReturnValue.Field[tokio::runtime::park::UnparkThread::inner]", "value", "dfc-generated"]
       - ["<tokio::runtime::process::Driver>::new", "Argument[0]", "ReturnValue.Field[tokio::runtime::process::Driver::park]", "value", "dfc-generated"]
       - ["<tokio::runtime::runtime::Runtime as tokio_util::context::RuntimeExt>::wrap", "Argument[0]", "ReturnValue.Field[tokio_util::context::TokioContext::inner]", "value", "dfc-generated"]
+      - ["<tokio::runtime::runtime::Runtime as tokio_util::context::RuntimeExt>::wrap", "Argument[self].Field[tokio::runtime::runtime::Runtime::handle]", "ReturnValue.Field[tokio_util::context::TokioContext::handle]", "value", "dfc-generated"]
       - ["<tokio::runtime::runtime::Runtime>::from_parts", "Argument[0]", "ReturnValue.Field[tokio::runtime::runtime::Runtime::scheduler]", "value", "dfc-generated"]
       - ["<tokio::runtime::runtime::Runtime>::from_parts", "Argument[1]", "ReturnValue.Field[tokio::runtime::runtime::Runtime::handle]", "value", "dfc-generated"]
       - ["<tokio::runtime::runtime::Runtime>::from_parts", "Argument[2]", "ReturnValue.Field[tokio::runtime::runtime::Runtime::blocking_pool]", "value", "dfc-generated"]
       - ["<tokio::runtime::runtime::Runtime>::handle", "Argument[self].Field[tokio::runtime::runtime::Runtime::handle]", "ReturnValue.Reference", "value", "dfc-generated"]
+      - ["<tokio::runtime::runtime::Runtime>::metrics", "Argument[self].Field[tokio::runtime::runtime::Runtime::handle].Reference", "ReturnValue.Field[tokio::runtime::metrics::runtime::RuntimeMetrics::handle]", "value", "dfc-generated"]
+      - ["<tokio::runtime::runtime::Runtime>::metrics", "Argument[self].Field[tokio::runtime::runtime::Runtime::handle]", "ReturnValue.Field[tokio::runtime::metrics::runtime::RuntimeMetrics::handle]", "value", "dfc-generated"]
       - ["<tokio::runtime::scheduler::Context>::expect_current_thread", "Argument[self].Field[tokio::runtime::scheduler::Context::CurrentThread(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<tokio::runtime::scheduler::Context>::expect_multi_thread", "Argument[self].Field[tokio::runtime::scheduler::Context::MultiThread(0)]", "ReturnValue", "value", "dfc-generated"]
       - ["<tokio::runtime::scheduler::Handle>::as_current_thread", "Argument[self].Field[tokio::runtime::scheduler::Handle::CurrentThread(0)]", "ReturnValue", "value", "dfc-generated"]
@@ -971,6 +976,10 @@ extensions:
       - ["<tokio::time::interval::Interval>::set_missed_tick_behavior", "Argument[0]", "Argument[self].Field[tokio::time::interval::Interval::missed_tick_behavior]", "value", "dfc-generated"]
       - ["<tokio::time::sleep::Sleep>::deadline", "Argument[self].Field[tokio::time::sleep::Sleep::entry].Field[tokio::runtime::time::entry::TimerEntry::deadline]", "ReturnValue", "value", "dfc-generated"]
       - ["<tokio::time::sleep::Sleep>::new_timeout", "Argument[0]", "ReturnValue.Field[tokio::time::sleep::Sleep::entry].Field[tokio::runtime::time::entry::TimerEntry::deadline]", "value", "dfc-generated"]
+      - ["<tokio::time::sleep::Sleep>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[tokio::time::sleep::Sleep::entry]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
+      - ["<tokio::time::sleep::Sleep>::project", "Argument[self].Field[core::pin::Pin::__pointer].Field[tokio::time::sleep::Sleep::inner]", "ReturnValue", "value", "dfc-generated"]
+      - ["<tokio::time::sleep::Sleep>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[tokio::time::sleep::Sleep::entry]", "ReturnValue.Field[core::pin::Pin::__pointer]", "value", "dfc-generated"]
+      - ["<tokio::time::sleep::Sleep>::project_ref", "Argument[self].Field[core::pin::Pin::__pointer].Field[tokio::time::sleep::Sleep::inner]", "ReturnValue", "value", "dfc-generated"]
       - ["<tokio::time::timeout::Timeout>::get_mut", "Argument[self].Field[tokio::time::timeout::Timeout::value]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<tokio::time::timeout::Timeout>::get_ref", "Argument[self].Field[tokio::time::timeout::Timeout::value]", "ReturnValue.Reference", "value", "dfc-generated"]
       - ["<tokio::time::timeout::Timeout>::into_inner", "Argument[self].Field[tokio::time::timeout::Timeout::value]", "ReturnValue", "value", "dfc-generated"]