Minotaur: A SIMD-Oriented Synthesizing Superoptimizer StarMalloc: Verifying a Modern, Hardened Memory Allocator
