StarMalloc: Verifying a modern hardened memory allocator

4 points | by fanf2 10 hours ago