Skip to content

Commit 11aebd5

Browse files
committed
Rust: Add model for GlobalAlloc::realloc
1 parent f4147b7 commit 11aebd5

3 files changed

Lines changed: 281 additions & 278 deletions

File tree

rust/ql/lib/codeql/rust/frameworks/stdlib/alloc.model.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@ extensions:
1515
- ["alloc::alloc::realloc", "Argument[2]", "alloc-size", "manual"]
1616
- ["<core::alloc::global::GlobalAlloc>::alloc", "Argument[0]", "alloc-layout", "manual"]
1717
- ["<core::alloc::global::GlobalAlloc>::alloc_zeroed", "Argument[0]", "alloc-layout", "manual"]
18+
- ["<core::alloc::global::GlobalAlloc>::realloc", "Argument[2]", "alloc-size", "manual"]
1819
- ["<core::alloc::Allocator>::allocate", "Argument[0]", "alloc-layout", "manual"]
1920
- ["<core::alloc::Allocator>::allocate_zeroed", "Argument[0]", "alloc-layout", "manual"]
2021
- ["<core::alloc::Allocator>::grow", "Argument[2]", "alloc-layout", "manual"]

0 commit comments

Comments
 (0)