Rust MaD: add blanket-impl fallback for sink/source/barrier matching and model GlobalAlloc::realloc - #22442

Rust MaD: add blanket-impl fallback for sink/source/barrier matching and model GlobalAlloc::realloc#22442

hvitved with Copilot wants to merge 2 commits into

maingithub/codeql:mainfrom

copilot/rust-implements-fallbackgithub/codeql:copilot/rust-implements-fallbackCopy head branch name to clipboard