Implement user-space QEMU ASAN (#45)
This commit is contained in:
parent
12025d58fe
commit
fd6a2f3cce
@ -53,15 +53,19 @@ typedef TCGv_i32 TCGv;
|
|||||||
#define tcg_temp_new() tcg_temp_new_i32()
|
#define tcg_temp_new() tcg_temp_new_i32()
|
||||||
#define tcg_global_mem_new tcg_global_mem_new_i32
|
#define tcg_global_mem_new tcg_global_mem_new_i32
|
||||||
#define tcgv_tl_temp tcgv_i32_temp
|
#define tcgv_tl_temp tcgv_i32_temp
|
||||||
|
#define temp_tcgv_tl temp_tcgv_i32
|
||||||
#define tcg_gen_qemu_ld_tl tcg_gen_qemu_ld_i32
|
#define tcg_gen_qemu_ld_tl tcg_gen_qemu_ld_i32
|
||||||
#define tcg_gen_qemu_st_tl tcg_gen_qemu_st_i32
|
#define tcg_gen_qemu_st_tl tcg_gen_qemu_st_i32
|
||||||
|
#define tcg_gen_tl_ptr tcg_gen_ext_i32_ptr
|
||||||
#elif TARGET_LONG_BITS == 64
|
#elif TARGET_LONG_BITS == 64
|
||||||
typedef TCGv_i64 TCGv;
|
typedef TCGv_i64 TCGv;
|
||||||
#define tcg_temp_new() tcg_temp_new_i64()
|
#define tcg_temp_new() tcg_temp_new_i64()
|
||||||
#define tcg_global_mem_new tcg_global_mem_new_i64
|
#define tcg_global_mem_new tcg_global_mem_new_i64
|
||||||
#define tcgv_tl_temp tcgv_i64_temp
|
#define tcgv_tl_temp tcgv_i64_temp
|
||||||
|
#define temp_tcgv_tl temp_tcgv_i64
|
||||||
#define tcg_gen_qemu_ld_tl tcg_gen_qemu_ld_i64
|
#define tcg_gen_qemu_ld_tl tcg_gen_qemu_ld_i64
|
||||||
#define tcg_gen_qemu_st_tl tcg_gen_qemu_st_i64
|
#define tcg_gen_qemu_st_tl tcg_gen_qemu_st_i64
|
||||||
|
#define tcg_gen_tl_ptr tcg_gen_trunc_i64_ptr
|
||||||
#else
|
#else
|
||||||
#error Unhandled TARGET_LONG_BITS value
|
#error Unhandled TARGET_LONG_BITS value
|
||||||
#endif
|
#endif
|
||||||
|
@ -340,7 +340,7 @@ static TCGHelperInfo libafl_exec_write_hookN_info = {
|
|||||||
struct libafl_rw_hook* libafl_read_hooks;
|
struct libafl_rw_hook* libafl_read_hooks;
|
||||||
size_t libafl_read_hooks_num = 0;
|
size_t libafl_read_hooks_num = 0;
|
||||||
|
|
||||||
size_t libafl_add_read_hook(uint64_t (*gen)(uint64_t data, target_ulong pc, MemOpIdx oi),
|
size_t libafl_add_read_hook(uint64_t (*gen)(uint64_t data, target_ulong pc, TCGTemp *addr, MemOpIdx oi),
|
||||||
void (*exec1)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec1)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
@ -394,7 +394,7 @@ GEN_REMOVE_HOOK(read)
|
|||||||
struct libafl_rw_hook* libafl_write_hooks;
|
struct libafl_rw_hook* libafl_write_hooks;
|
||||||
size_t libafl_write_hooks_num = 0;
|
size_t libafl_write_hooks_num = 0;
|
||||||
|
|
||||||
size_t libafl_add_write_hook(uint64_t (*gen)(uint64_t data, target_ulong pc, MemOpIdx oi),
|
size_t libafl_add_write_hook(uint64_t (*gen)(uint64_t data, target_ulong pc, TCGTemp *addr, MemOpIdx oi),
|
||||||
void (*exec1)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec1)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
@ -452,7 +452,7 @@ static void libafl_gen_rw(TCGTemp *addr, MemOpIdx oi, struct libafl_rw_hook* hoo
|
|||||||
while (hook) {
|
while (hook) {
|
||||||
uint64_t cur_id = 0;
|
uint64_t cur_id = 0;
|
||||||
if (hook->gen)
|
if (hook->gen)
|
||||||
cur_id = hook->gen(hook->data, libafl_gen_cur_pc, oi);
|
cur_id = hook->gen(hook->data, libafl_gen_cur_pc, addr, oi);
|
||||||
TCGHelperInfo* info = NULL;
|
TCGHelperInfo* info = NULL;
|
||||||
if (size == 1 && hook->helper_info1.func) info = &hook->helper_info1;
|
if (size == 1 && hook->helper_info1.func) info = &hook->helper_info1;
|
||||||
else if (size == 2 && hook->helper_info2.func) info = &hook->helper_info2;
|
else if (size == 2 && hook->helper_info2.func) info = &hook->helper_info2;
|
||||||
@ -685,3 +685,59 @@ size_t libafl_add_new_thread_hook(bool (*callback)(uint64_t data, uint32_t tid),
|
|||||||
}
|
}
|
||||||
|
|
||||||
GEN_REMOVE_HOOK1(new_thread)
|
GEN_REMOVE_HOOK1(new_thread)
|
||||||
|
|
||||||
|
#if TARGET_LONG_BITS == 32
|
||||||
|
#define SHADOW_BASE (0x20000000)
|
||||||
|
#elif TARGET_LONG_BITS == 64
|
||||||
|
#define SHADOW_BASE (0x7fff8000)
|
||||||
|
#else
|
||||||
|
#error Unhandled TARGET_LONG_BITS value
|
||||||
|
#endif
|
||||||
|
|
||||||
|
void libafl_tcg_gen_asan(TCGTemp * addr, size_t size)
|
||||||
|
{
|
||||||
|
if (size == 0)
|
||||||
|
return;
|
||||||
|
|
||||||
|
TCGv addr_val = temp_tcgv_tl(addr);
|
||||||
|
TCGv k = tcg_temp_new();
|
||||||
|
TCGv shadow_addr = tcg_temp_new();
|
||||||
|
TCGv_ptr shadow_ptr = tcg_temp_new_ptr();
|
||||||
|
TCGv shadow_val = tcg_temp_new();
|
||||||
|
TCGv test_addr = tcg_temp_new();
|
||||||
|
TCGv_ptr test_ptr = tcg_temp_new_ptr();
|
||||||
|
|
||||||
|
tcg_gen_andi_tl(k, addr_val, 7);
|
||||||
|
tcg_gen_addi_tl(k, k, size - 1);
|
||||||
|
|
||||||
|
tcg_gen_shri_tl(shadow_addr, addr_val, 3);
|
||||||
|
tcg_gen_addi_tl(shadow_addr, shadow_addr, SHADOW_BASE);
|
||||||
|
tcg_gen_tl_ptr(shadow_ptr, shadow_addr);
|
||||||
|
tcg_gen_ld8s_tl(shadow_val, shadow_ptr, 0);
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Making conditional branches here appears to cause QEMU issues with dead
|
||||||
|
* temporaries so we will instead avoid branches. We will cause the guest
|
||||||
|
* to perform a NULL dereference in the event of an ASAN fault. Note that
|
||||||
|
* we will do this by using a store rather than a load, since the TCG may
|
||||||
|
* otherwise determine that the result of the load is unused and simply
|
||||||
|
* discard the operation. In the event that the shadow memory doesn't
|
||||||
|
* detect a fault, we will simply write the value read from the shadow
|
||||||
|
* memory back to it's original location. If, however, the shadow memory
|
||||||
|
* detects an invalid access, we will instead attempt to write the value
|
||||||
|
* at 0x0.
|
||||||
|
*/
|
||||||
|
tcg_gen_movcond_tl(TCG_COND_EQ, test_addr,
|
||||||
|
shadow_val, tcg_constant_tl(0),
|
||||||
|
shadow_addr, tcg_constant_tl(0));
|
||||||
|
|
||||||
|
if (size < 8)
|
||||||
|
{
|
||||||
|
tcg_gen_movcond_tl(TCG_COND_GE, test_addr,
|
||||||
|
k, shadow_val,
|
||||||
|
test_addr, shadow_addr);
|
||||||
|
}
|
||||||
|
|
||||||
|
tcg_gen_tl_ptr(test_ptr, test_addr);
|
||||||
|
tcg_gen_st8_tl(shadow_val, test_ptr, 0);
|
||||||
|
}
|
||||||
|
@ -93,7 +93,7 @@ int libafl_qemu_remove_block_hook(size_t num, int invalidate);
|
|||||||
bool libafl_qemu_block_hook_set_jit(size_t num, size_t (*jit)(uint64_t, uint64_t)); // no param names to avoid to be marked as safe
|
bool libafl_qemu_block_hook_set_jit(size_t num, size_t (*jit)(uint64_t, uint64_t)); // no param names to avoid to be marked as safe
|
||||||
|
|
||||||
struct libafl_rw_hook {
|
struct libafl_rw_hook {
|
||||||
uint64_t (*gen)(uint64_t data, target_ulong pc, MemOpIdx oi);
|
uint64_t (*gen)(uint64_t data, target_ulong pc, TCGTemp* addr, MemOpIdx oi);
|
||||||
/*void (*exec1)(uint64_t data, uint64_t id, target_ulong addr);
|
/*void (*exec1)(uint64_t data, uint64_t id, target_ulong addr);
|
||||||
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr);
|
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr);
|
||||||
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr);
|
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr);
|
||||||
@ -116,14 +116,14 @@ struct libafl_rw_hook {
|
|||||||
extern struct libafl_rw_hook* libafl_read_hooks;
|
extern struct libafl_rw_hook* libafl_read_hooks;
|
||||||
extern struct libafl_rw_hook* libafl_write_hooks;
|
extern struct libafl_rw_hook* libafl_write_hooks;
|
||||||
|
|
||||||
size_t libafl_add_read_hook(uint64_t (*gen)(uint64_t data, target_ulong pc, MemOpIdx oi),
|
size_t libafl_add_read_hook(uint64_t (*gen)(uint64_t data, target_ulong pc, TCGTemp *addr, MemOpIdx oi),
|
||||||
void (*exec1)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec1)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*exec8)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec8)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*execN)(uint64_t data, uint64_t id, target_ulong addr, size_t size),
|
void (*execN)(uint64_t data, uint64_t id, target_ulong addr, size_t size),
|
||||||
uint64_t data);
|
uint64_t data);
|
||||||
size_t libafl_add_write_hook(uint64_t (*gen)(uint64_t data, target_ulong pc, MemOpIdx oi),
|
size_t libafl_add_write_hook(uint64_t (*gen)(uint64_t data, target_ulong pc, TCGTemp *addr, MemOpIdx oi),
|
||||||
void (*exec1)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec1)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec2)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr),
|
void (*exec4)(uint64_t data, uint64_t id, target_ulong addr),
|
||||||
@ -222,3 +222,5 @@ extern struct libafl_new_thread_hook* libafl_new_thread_hooks;
|
|||||||
size_t libafl_add_new_thread_hook(bool (*callback)(uint64_t data, uint32_t tid),
|
size_t libafl_add_new_thread_hook(bool (*callback)(uint64_t data, uint32_t tid),
|
||||||
uint64_t data);
|
uint64_t data);
|
||||||
int libafl_qemu_remove_new_thread_hook(size_t num);
|
int libafl_qemu_remove_new_thread_hook(size_t num);
|
||||||
|
|
||||||
|
void libafl_tcg_gen_asan(TCGTemp * addr, size_t size);
|
Loading…
x
Reference in New Issue
Block a user