[WIP] Mimalloc Integration#212

Draft

elazaro-riverside wants to merge 55 commits into

mainfrom

mimalloc_integration

Commits on Jun 18, 2026

Starting mimalloc integration with libresolve. This commit contains modifications to the Dockerfile and cargo files to ensure mimalloc source is correctly linked with libresolve.

Ethan Lazaro
authored and
Ethan Lazaro
committed
Dockerfile: Removed mimalloc build from dockerfile.

Ethan Lazaro
authored and
Ethan Lazaro
committed
WIP: Moved mimalloc build into CMake workflow. I will make sure to document workflow and after CI run.

Ethan Lazaro
authored and
Ethan Lazaro
committed
CMakeLists.txt: Fixed CMake file to correctly pass path to static mimalloc archive to cargo so that downstream tests pass.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Fixed test but we need to test this on a small file to see if it works correctly.

Ethan Lazaro
authored and
Ethan Lazaro
committed
shadowobjs.rs: Cleaned up some comments.

Ethan Lazaro
authored and
Ethan Lazaro
committed
mimalloc_shadow.c: Modified shim to lookup bounds of mimalloc allocation.

Ethan Lazaro
authored and
Ethan Lazaro
committed
WIP: Testing bounds-checking with mimalloc.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: This will not pass CI tests, this is just so that I can compare the mimalloc approach to strict shadow object bounds approach.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Uncomment no_mangle attribute and comment logging command in __resolve_report_violation.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Adding null pointer handling might fix compilation issue in challenge problem.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Adding wrapper for getline function. Testing with challenge problem.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Fixing Rust errors.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Removed the plus one and using resolve wrapped malloc and realloc.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Added resolve wrapper for getdelim function.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Added some logic to identify if the pointer is owned by mimalloc or not. If not log it and call libc free.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: WIP debugging foreign allocation that occurs in dependency. Added debugging statement and logic to use libc free if the allocation is not from mimalloc.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: WIP debuggin allocator ownership issues.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Removed logging to test performance.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Make sure all logging is commented out for poller testing.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Comment out all logging.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Commenting out extra line that caused bad compilation.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Restored commit 48dbed5 for testing.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Fixing remediate.rs since I lost some of the commits to git stash.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Adding logic to call libc free if the pointer does not belong to mimalloc.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Fixing issues in compilation.

Ethan Lazaro
authored and
Ethan Lazaro
committed
mimalloc_shadow.c: Switching to mi_is_in_heap to better handle arbitrary pointers.

Ethan Lazaro
authored and
Ethan Lazaro
committed
WIP: Testing if the unknown pointer comes from C++ new/delete allocator.

Ethan Lazaro
authored and
Ethan Lazaro
committed
WIP: Fixing compilation issues. Testing if allocation comes from C++ new/delete.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Debugging __resolve_free.

Ethan Lazaro
authored and
Ethan Lazaro
committed
WIP: Modified Cargo.toml to have cargo build with nightly and added __resolve_apsrintf to shim for testing.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: WIP testing if __resolve_asprintf symbol shows up in libresolve.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: WIP trying to get libresolve to resolve the __resolve_asprintf symbol.

Ethan Lazaro
authored and
Ethan Lazaro
committed
WIP: try adding no_mangle to mimalloc symbols to have libresolve export symbols.

Ethan Lazaro
authored and
Ethan Lazaro
committed
WIP: Trying to debug why the __resolve_asprintf symbol is not being resolved correctly.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: WIP debugging __resolve_asprintf symbol export.

Ethan Lazaro
authored and
Ethan Lazaro
committed
WIP: debugging __resolve_asprintf symbol visibility and resolution.

Ethan Lazaro
authored and
Ethan Lazaro
committed
Fixing compilation issues. Ready to test __resolve_asprintf symbol resolution.

Ethan Lazaro
authored and
Ethan Lazaro
committed
WIP: Debugging ABI mismatch issues.

Ethan Lazaro
authored and
Ethan Lazaro
committed
mimalloc_shadow.c: Removed the plus one from len argument in __resolve_malloc.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Adding free to see what happens.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Adding resolve wrappers for posx_memalign, reallocarray, aligned_alloc.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Testing with libc free.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Comment out logging to test for performance.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Testing without +1 padding.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: WIP skipping pointers that have not been allocated by mimalloc.

Ethan Lazaro
authored and
Ethan Lazaro
committed
mimalloc_shadow.c: Testing __resolve_malloc call in __vasprintf

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Reverting commit that added ptr to strdup ref link.

Ethan Lazaro
authored and
Ethan Lazaro
committed
mimalloc_shadow.c: Modified mi_is_heap_owned fn to return a boolean if the pointer is owned by a mimalloc allocation.

Ethan Lazaro
authored and
Ethan Lazaro
committed
mimalloc_shadow.c: Adding +1 back to __resolve_malloc call.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: WIP checking the ptr and return address that is passed to __resolve_free.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Testing with warn.

Ethan Lazaro
authored and
Ethan Lazaro
committed
shadowobjs.rs: Fixing compilation issue.

Ethan Lazaro
authored and
Ethan Lazaro
committed
CMakeLists.txt: Fixing CMakeList file to correctly pass archive path to Cargo.

Ethan Lazaro
authored and
Ethan Lazaro
committed
remediate.rs: Try using the mi_is_in_heap_region function to check if the pointer is within a mimalloc-owned mem region.

Ethan Lazaro
authored and
Ethan Lazaro
committed