Skip to content

Rust: Update generated models for core and std #19440

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
paldepind merged 2 commits into from
May 12, 2025
Merged

Rust: Update generated models for core and std #19440

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
499d224
Rust: Update generated models for core and std
paldepind May 1, 2025
3aed1c8
Merge branch 'main' into rust-update-stdlib-models
paldepind May 2, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions rust/ql/lib/codeql/rust/frameworks/stdlib/lang-alloc.model.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -37,3 +37,4 @@ extensions:
- ["lang:alloc", "<_ as crate::string::ToString>::to_string", "Argument[self]", "ReturnValue", "taint", "manual"]
- ["lang:alloc", "<crate::string::String>::parse", "Argument[self]", "ReturnValue.Field[crate::result::Result::Ok(0)]", "taint", "manual"]
- ["lang:alloc", "<crate::string::String>::trim", "Argument[self]", "ReturnValue.Reference", "taint", "manual"]
- ["lang:alloc", "<crate::string::String as crate::convert::From>::from", "Argument[0]", "ReturnValue", "value", "manual"]
320 changes: 281 additions & 39 deletions rust/ql/lib/ext/generated/rust/lang-alloc.model.yml
View file
Open in desktop

Large diffs are not rendered by default.

1,346 changes: 618 additions & 728 deletions rust/ql/lib/ext/generated/rust/lang-core.model.yml
View file
Open in desktop

Large diffs are not rendered by default.

46 changes: 38 additions & 8 deletions rust/ql/lib/ext/generated/rust/lang-proc_macro.model.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,14 @@ extensions:
- ["lang:proc_macro", "<&[u8] as crate::bridge::Unmark>::unmark", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<&[u8] as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "Argument[0].Reference.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&[u8] as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&crate::bridge::Marked as crate::bridge::Unmark>::unmark", "Argument[self].Field[crate::bridge::Marked::value]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&crate::bridge::Marked as crate::bridge::rpc::Decode>::decode", "Argument[1].Field[crate::bridge::server::HandleStore::FreeFunctions].Element", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&crate::bridge::Marked as crate::bridge::rpc::Decode>::decode", "Argument[1].Field[crate::bridge::server::HandleStore::SourceFile].Element", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&crate::bridge::Marked as crate::bridge::rpc::Decode>::decode", "Argument[1].Field[crate::bridge::server::HandleStore::TokenStream].Element", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&mut crate::bridge::Marked as crate::bridge::Unmark>::unmark", "Argument[self].Field[crate::bridge::Marked::value]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&mut crate::bridge::Marked as crate::bridge::rpc::DecodeMut>::decode", "Argument[1].Field[crate::bridge::server::HandleStore::FreeFunctions].Element", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&mut crate::bridge::Marked as crate::bridge::rpc::DecodeMut>::decode", "Argument[1].Field[crate::bridge::server::HandleStore::SourceFile].Element", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&mut crate::bridge::Marked as crate::bridge::rpc::DecodeMut>::decode", "Argument[1].Field[crate::bridge::server::HandleStore::TokenStream].Element", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<&str as crate::bridge::Mark>::mark", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<&str as crate::bridge::Unmark>::unmark", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<bool as crate::bridge::Mark>::mark", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
Expand All @@ -16,11 +24,28 @@ extensions:
- ["lang:proc_macro", "<char as crate::bridge::Unmark>::unmark", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Delimiter as crate::bridge::Mark>::mark", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Delimiter as crate::bridge::Unmark>::unmark", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Group>::delimiter", "Argument[self].Field[0].Field[crate::bridge::Group::delimiter]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Group>::delimiter", "Argument[self].Field[crate::Group(0)].Field[crate::bridge::Group::delimiter]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Group>::new", "Argument[0]", "ReturnValue.Field[crate::Group(0)].Field[crate::bridge::Group::delimiter]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Group>::new", "Argument[1].Field[0]", "ReturnValue.Field[crate::Group(0)].Field[crate::bridge::Group::stream]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Group>::new", "Argument[1].Field[crate::TokenStream(0)]", "ReturnValue.Field[crate::Group(0)].Field[crate::bridge::Group::stream]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Group>::stream", "Argument[self].Field[0].Field[crate::bridge::Group::stream]", "ReturnValue.Field[crate::TokenStream(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Group>::stream", "Argument[self].Field[crate::Group(0)].Field[crate::bridge::Group::stream]", "ReturnValue.Field[crate::TokenStream(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Ident>::new", "Argument[1].Field[0]", "ReturnValue.Field[crate::Ident(0)].Field[crate::bridge::Ident::span]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Ident>::new", "Argument[1].Field[crate::Span(0)]", "ReturnValue.Field[crate::Ident(0)].Field[crate::bridge::Ident::span]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Ident>::new_raw", "Argument[1].Field[0]", "ReturnValue.Field[crate::Ident(0)].Field[crate::bridge::Ident::span]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Ident>::new_raw", "Argument[1].Field[crate::Span(0)]", "ReturnValue.Field[crate::Ident(0)].Field[crate::bridge::Ident::span]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Ident>::set_span", "Argument[0]", "Argument[self]", "taint", "df-generated"]
- ["lang:proc_macro", "<crate::Ident>::span", "Argument[self].Field[0].Field[crate::bridge::Ident::span]", "ReturnValue.Field[crate::Span(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Ident>::span", "Argument[self].Field[crate::Ident(0)].Field[crate::bridge::Ident::span]", "ReturnValue.Field[crate::Span(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Literal>::set_span", "Argument[0]", "Argument[self]", "taint", "df-generated"]
- ["lang:proc_macro", "<crate::Literal>::span", "Argument[self].Field[0].Field[crate::bridge::Literal::span]", "ReturnValue.Field[crate::Span(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Literal>::span", "Argument[self].Field[crate::Literal(0)].Field[crate::bridge::Literal::span]", "ReturnValue.Field[crate::Span(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Punct>::as_char", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["lang:proc_macro", "<crate::Punct>::new", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["lang:proc_macro", "<crate::Punct>::set_span", "Argument[0]", "Argument[self]", "taint", "df-generated"]
- ["lang:proc_macro", "<crate::Punct>::span", "Argument[self].Field[0].Field[crate::bridge::Punct::span]", "ReturnValue.Field[crate::Span(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Punct>::span", "Argument[self].Field[crate::Punct(0)].Field[crate::bridge::Punct::span]", "ReturnValue.Field[crate::Span(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Spacing as crate::bridge::Mark>::mark", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::Spacing as crate::bridge::Unmark>::unmark", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::TokenStream as crate::to_tokens::ToTokens>::into_token_stream", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
Expand All @@ -33,15 +58,8 @@ extensions:
- ["lang:proc_macro", "<crate::bridge::DelimSpan>::from_single", "Argument[0]", "ReturnValue.Field[crate::bridge::DelimSpan::open]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::LitKind as crate::bridge::Mark>::mark", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::LitKind as crate::bridge::Unmark>::unmark", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::LitKind as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "ReturnValue.Field[crate::bridge::LitKind::ByteStrRaw(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::LitKind as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "ReturnValue.Field[crate::bridge::LitKind::CStrRaw(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::LitKind as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "ReturnValue.Field[crate::bridge::LitKind::StrRaw(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::Literal as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "ReturnValue.Field[crate::bridge::Literal::kind].Field[crate::bridge::LitKind::ByteStrRaw(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::Literal as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "ReturnValue.Field[crate::bridge::Literal::kind].Field[crate::bridge::LitKind::CStrRaw(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::Literal as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "ReturnValue.Field[crate::bridge::Literal::kind].Field[crate::bridge::LitKind::StrRaw(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::Marked as crate::bridge::Mark>::mark", "Argument[0]", "ReturnValue.Field[crate::bridge::Marked::value]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::Punct as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "ReturnValue.Field[crate::bridge::Punct::ch]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::TokenTree as crate::bridge::rpc::DecodeMut>::decode", "Argument[0].Element", "ReturnValue.Field[crate::bridge::TokenTree::Punct(0)].Field[crate::bridge::Punct::ch]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::Marked as crate::bridge::Unmark>::unmark", "Argument[self].Field[crate::bridge::Marked::value]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::buffer::Buffer>::take", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::client::Client as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::client::ProcMacro>::attr", "Argument[0]", "ReturnValue.Field[crate::bridge::client::ProcMacro::Attr::name]", "value", "dfc-generated"]
Expand All @@ -51,26 +69,38 @@ extensions:
- ["lang:proc_macro", "<crate::bridge::client::ProcMacro>::name", "Argument[self].Field[crate::bridge::client::ProcMacro::Attr::name]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::client::ProcMacro>::name", "Argument[self].Field[crate::bridge::client::ProcMacro::Bang::name]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::client::ProcMacro>::name", "Argument[self].Field[crate::bridge::client::ProcMacro::CustomDerive::trait_name]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::client::SourceFile as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::client::SourceFile as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::client::TokenStream as crate::clone::Clone>::clone", "Argument[self].Reference", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::client::TokenStream as crate::clone::Clone>::clone", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::closure::Closure as crate::convert::From>::from", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["lang:proc_macro", "<crate::bridge::closure::Closure>::call", "Argument[0]", "Argument[self]", "taint", "df-generated"]
- ["lang:proc_macro", "<crate::bridge::closure::Closure>::call", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["lang:proc_macro", "<crate::bridge::fxhash::FxHasher as crate::hash::Hasher>::finish", "Argument[self]", "ReturnValue", "taint", "df-generated"]
- ["lang:proc_macro", "<crate::bridge::handle::InternedStore>::copy", "Argument[self].Field[crate::bridge::handle::InternedStore::owned].Element", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::handle::InternedStore>::new", "Argument[0]", "ReturnValue.Field[crate::bridge::handle::InternedStore::owned].Field[crate::bridge::handle::OwnedStore::counter]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::handle::OwnedStore>::new", "Argument[0]", "ReturnValue.Field[crate::bridge::handle::OwnedStore::counter]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::rpc::PanicMessage>::as_str", "Argument[self].Field[crate::bridge::rpc::PanicMessage::StaticStr(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::rpc::PanicMessage>::as_str", "Argument[self].Field[crate::bridge::rpc::PanicMessage::String(0)]", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::server::Dispatcher as crate::bridge::server::DispatcherTrait>::dispatch", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::server::MaybeCrossThread as crate::bridge::server::ExecutionStrategy>::run_bridge_and_client", "Argument[2].ReturnValue", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::server::MaybeCrossThread>::new", "Argument[0]", "ReturnValue.Field[crate::bridge::server::MaybeCrossThread::cross_thread]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::bridge::server::SameThread as crate::bridge::server::ExecutionStrategy>::run_bridge_and_client", "Argument[2].ReturnValue", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Children as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[0].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Children as crate::iter::traits::iterator::Iterator>::next", "Argument[self].Field[crate::diagnostic::Children(0)].Element", "ReturnValue.Field[crate::option::Option::Some(0)]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::error", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::help", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::level", "Argument[self].Field[crate::diagnostic::Diagnostic::level]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::message", "Argument[self].Field[crate::diagnostic::Diagnostic::message]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::new", "Argument[0]", "ReturnValue.Field[crate::diagnostic::Diagnostic::level]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::note", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::set_level", "Argument[0]", "Argument[self].Field[crate::diagnostic::Diagnostic::level]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::span_error", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::span_help", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::span_note", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::span_warning", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::spanned", "Argument[1]", "ReturnValue.Field[crate::diagnostic::Diagnostic::level]", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::spans", "Argument[self].Field[crate::diagnostic::Diagnostic::spans]", "ReturnValue.Reference", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Diagnostic>::warning", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Level as crate::bridge::Mark>::mark", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
- ["lang:proc_macro", "<crate::diagnostic::Level as crate::bridge::Unmark>::unmark", "Argument[self]", "ReturnValue", "value", "dfc-generated"]
Expand Down
Loading