Free pointer list not being checked

[edmcman]

fuzz@ubufuzz64:~$ cat free.c
#include <stdlib.h>

int main() {
  void *x = malloc(20);
  free(x);
  free(x);
}
fuzz@ubufuzz64:~$ clang -fsoftboundcets free.c -o free -L/home/fuzz/softboundcets-34/softboundcets-lib/ -lm -lrt
fuzz@ubufuzz64:~$ ./free 2>&1 | head
*** glibc detected *** ./free: double free or corruption (fasttop): 0x000000000060d030 ***

[santoshn]

Thanks for reporting the bug. I just enabled double free checking in the latest commit. I had disabled it because some C runtimes already handle double frees.