You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
SMACK should be able to check if Rust's allocator is used on memory originating from a different allocator. For example, a pointer from C allocated with malloc may be obtained through Rust's FFI. It should be an error to then use Rust's dealloc function to free this memory since it cannot be guaranteed that they originate from the same allocator.
The text was updated successfully, but these errors were encountered:
SMACK should be able to check if Rust's allocator is used on memory originating from a different allocator. For example, a pointer from C allocated with
malloc
may be obtained through Rust's FFI. It should be an error to then use Rust'sdealloc
function to free this memory since it cannot be guaranteed that they originate from the same allocator.The text was updated successfully, but these errors were encountered: