A debugger which detects memory allocation violations