A Memory Allocation Tracer and Replayer