1 #include <stdlib.h> 2 main(void)3int main(void) 4 { 5 void* x = malloc(10); 6 7 int *x4; 8 short *x2; 9 char *x1; 10 int y4; 11 short y2; 12 char y1; 13 14 x4 = x-4; 15 x2 = x-4; 16 x1 = x-1; 17 18 // Invalid reads and writes of sizes 4, 2, 1 19 y4 = *x4; 20 *x4 = y4; 21 22 y2 = *x2; 23 *x2 = y2; 24 25 y1 = *x1; 26 *x1 = y1; 27 28 return 0; 29 } 30