Writing Memory Leak Regression Tests with INSANE