1 #include <stdlib.h> 2 int main() { 3 char *x = (char*)malloc(10 * sizeof(char)); 4 free(x); 5 return x[5]; 6 } 7 8 // CHECK: heap-use-after-free 9 // CHECKSLEEP: Sleeping for 1 second 10