aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrea Fioraldi <andreafioraldi@gmail.com>2019-10-08 12:39:11 +0200
committerAndrea Fioraldi <andreafioraldi@gmail.com>2019-10-08 12:39:11 +0200
commiteae4a9e1f89f82ea79568635842617cc64081bfc (patch)
tree5c5a49f1d6e6787a7a58ed9830dc07ab7cefcb41
parent78d9fa280c1fb8a746527ed4fe93f507b13df213 (diff)
downloadafl++-eae4a9e1f89f82ea79568635842617cc64081bfc.tar.gz
persistent qemu should now works as expected
-rw-r--r--include/afl-fuzz.h3
-rw-r--r--llvm_mode/split-compares-pass.so.cc28
-rw-r--r--qemu_mode/patches/afl-qemu-cpu-inl.h20
-rw-r--r--qemu_mode/patches/afl-qemu-cpu-translate-inl.h70
-rw-r--r--src/afl-fuzz-init.c8
5 files changed, 92 insertions, 37 deletions
diff --git a/include/afl-fuzz.h b/include/afl-fuzz.h
index 4e5276f6..4680d122 100644
--- a/include/afl-fuzz.h
+++ b/include/afl-fuzz.h
@@ -71,7 +71,8 @@
#include <sys/ioctl.h>
#include <sys/file.h>
-#if defined(__APPLE__) || defined(__FreeBSD__) || defined(__OpenBSD__) || defined(__NetBSD__)
+#if defined(__APPLE__) || defined(__FreeBSD__) || defined(__OpenBSD__) || \
+ defined(__NetBSD__)
#include <sys/sysctl.h>
#endif /* __APPLE__ || __FreeBSD__ || __OpenBSD__ */
diff --git a/llvm_mode/split-compares-pass.so.cc b/llvm_mode/split-compares-pass.so.cc
index 87e28f30..f1a0f94e 100644
--- a/llvm_mode/split-compares-pass.so.cc
+++ b/llvm_mode/split-compares-pass.so.cc
@@ -510,8 +510,10 @@ size_t SplitComparesTransform::splitFPCompares(Module &M) {
? 24
: sizeInBits == 64
? 53
- : sizeInBits == 128 ? 113 : sizeInBits == 16 ? 11
- /* sizeInBits == 80 */ : 65;
+ : sizeInBits == 128 ? 113
+ : sizeInBits == 16 ? 11
+ /* sizeInBits == 80 */
+ : 65;
const unsigned shiftR_exponent = precision - 1;
const unsigned long long mask_fraction =
@@ -522,17 +524,17 @@ size_t SplitComparesTransform::splitFPCompares(Module &M) {
// round up sizes to the next power of two
// this should help with integer compare splitting
size_t exTySizeBytes = ((sizeInBits - precision + 7) >> 3);
- size_t frTySizeBytes = ((precision - 1ULL + 7) >> 3);
+ size_t frTySizeBytes = ((precision - 1ULL + 7) >> 3);
IntegerType *IntExponentTy =
IntegerType::get(C, nextPowerOfTwo(exTySizeBytes) << 3);
IntegerType *IntFractionTy =
IntegerType::get(C, nextPowerOfTwo(frTySizeBytes) << 3);
-// errs() << "Fractions: IntFractionTy size " <<
-// IntFractionTy->getPrimitiveSizeInBits() << ", op_size " << op_size <<
-// ", mask " << mask_fraction <<
-// ", precision " << precision << "\n";
+ // errs() << "Fractions: IntFractionTy size " <<
+ // IntFractionTy->getPrimitiveSizeInBits() << ", op_size " << op_size <<
+ // ", mask " << mask_fraction <<
+ // ", precision " << precision << "\n";
BasicBlock *end_bb = bb->splitBasicBlock(BasicBlock::iterator(FcmpInst));
@@ -552,16 +554,16 @@ size_t SplitComparesTransform::splitFPCompares(Module &M) {
* the original operands so only the first bit remains.*/
Instruction *s_s0, *t_s0, *s_s1, *t_s1, *icmp_sign_bit;
- s_s0 = BinaryOperator::Create(
- Instruction::LShr, b_op0,
- ConstantInt::get(b_op0->getType(), op_size - 1));
+ s_s0 =
+ BinaryOperator::Create(Instruction::LShr, b_op0,
+ ConstantInt::get(b_op0->getType(), op_size - 1));
bb->getInstList().insert(bb->getTerminator()->getIterator(), s_s0);
t_s0 = new TruncInst(s_s0, Int1Ty);
bb->getInstList().insert(bb->getTerminator()->getIterator(), t_s0);
- s_s1 = BinaryOperator::Create(
- Instruction::LShr, b_op1,
- ConstantInt::get(b_op1->getType(), op_size - 1));
+ s_s1 =
+ BinaryOperator::Create(Instruction::LShr, b_op1,
+ ConstantInt::get(b_op1->getType(), op_size - 1));
bb->getInstList().insert(bb->getTerminator()->getIterator(), s_s1);
t_s1 = new TruncInst(s_s1, Int1Ty);
bb->getInstList().insert(bb->getTerminator()->getIterator(), t_s1);
diff --git a/qemu_mode/patches/afl-qemu-cpu-inl.h b/qemu_mode/patches/afl-qemu-cpu-inl.h
index cda980e0..262a7dab 100644
--- a/qemu_mode/patches/afl-qemu-cpu-inl.h
+++ b/qemu_mode/patches/afl-qemu-cpu-inl.h
@@ -88,7 +88,7 @@ unsigned char afl_fork_child;
unsigned int afl_forksrv_pid;
unsigned char is_persistent;
target_long persistent_stack_offset;
-unsigned char persistent_first_pass;
+unsigned char persistent_first_pass = 1;
unsigned char persistent_save_gpr;
target_ulong persistent_saved_gpr[AFL_REGS_NUM];
int persisent_retaddr_offset;
@@ -210,10 +210,10 @@ static void afl_setup(void) {
if (is_persistent) {
- afl_persistent_addr = strtoll(getenv("AFL_QEMU_PERSISTENT_ADDR"), NULL, 16);
+ afl_persistent_addr = strtoll(getenv("AFL_QEMU_PERSISTENT_ADDR"), NULL, 0);
if (getenv("AFL_QEMU_PERSISTENT_RET"))
afl_persistent_ret_addr =
- strtoll(getenv("AFL_QEMU_PERSISTENT_RET"), NULL, 16);
+ strtoll(getenv("AFL_QEMU_PERSISTENT_RET"), NULL, 0);
/* If AFL_QEMU_PERSISTENT_RET is not specified patch the return addr */
}
@@ -222,20 +222,19 @@ static void afl_setup(void) {
if (getenv("AFL_QEMU_PERSISTENT_RETADDR_OFFSET"))
persisent_retaddr_offset =
- strtoll(getenv("AFL_QEMU_PERSISTENT_RETADDR_OFFSET"), NULL, 16);
+ strtoll(getenv("AFL_QEMU_PERSISTENT_RETADDR_OFFSET"), NULL, 0);
if (getenv("AFL_QEMU_PERSISTENT_CNT"))
- afl_persistent_cnt = strtoll(getenv("AFL_QEMU_PERSISTENT_CNT"), NULL, 16);
+ afl_persistent_cnt = strtoll(getenv("AFL_QEMU_PERSISTENT_CNT"), NULL, 0);
else
afl_persistent_cnt = PERSISTENT_DEFAULT_MAX_CNT;
}
-
static void print_mappings(void) {
u8 buf[MAX_LINE];
- FILE* f = fopen("/proc/self/maps", "r");
+ FILE *f = fopen("/proc/self/maps", "r");
if (!f) return;
@@ -254,9 +253,8 @@ static void afl_forkserver(CPUState *cpu) {
if (forkserver_installed == 1) return;
forkserver_installed = 1;
-
- if (getenv("AFL_QEMU_DEBUG_MAPS"))
- print_mappings();
+
+ if (getenv("AFL_QEMU_DEBUG_MAPS")) print_mappings();
// if (!afl_area_ptr) return; // not necessary because of fixed dummy buffer
@@ -394,6 +392,7 @@ void afl_persistent_loop() {
sizeof(struct afl_tsl)) {
/* Exit the persistent loop on pipe error */
+ afl_area_ptr = dummy;
exit(0);
}
@@ -405,6 +404,7 @@ void afl_persistent_loop() {
} else {
+ afl_area_ptr = dummy;
exit(0);
}
diff --git a/qemu_mode/patches/afl-qemu-cpu-translate-inl.h b/qemu_mode/patches/afl-qemu-cpu-translate-inl.h
index 29cf0ab8..b6d3da1f 100644
--- a/qemu_mode/patches/afl-qemu-cpu-translate-inl.h
+++ b/qemu_mode/patches/afl-qemu-cpu-translate-inl.h
@@ -51,7 +51,7 @@ static void afl_compcov_log_32(target_ulong cur_loc, target_ulong arg1,
if ((arg1 & 0xff000000) == (arg2 & 0xff000000)) {
- INC_AFL_AREA(idx +2);
+ INC_AFL_AREA(idx + 2);
if ((arg1 & 0xff0000) == (arg2 & 0xff0000)) {
INC_AFL_AREA(idx + 1);
@@ -70,7 +70,7 @@ static void afl_compcov_log_64(target_ulong cur_loc, target_ulong arg1,
if ((arg1 & 0xff00000000000000) == (arg2 & 0xff00000000000000)) {
- INC_AFL_AREA(idx +6);
+ INC_AFL_AREA(idx + 6);
if ((arg1 & 0xff000000000000) == (arg2 & 0xff000000000000)) {
INC_AFL_AREA(idx + 5);
@@ -86,11 +86,7 @@ static void afl_compcov_log_64(target_ulong cur_loc, target_ulong arg1,
if ((arg1 & 0xff0000) == (arg2 & 0xff0000)) {
INC_AFL_AREA(idx + 1);
- if ((arg1 & 0xff00) == (arg2 & 0xff00)) {
-
- INC_AFL_AREA(idx);
-
- }
+ if ((arg1 & 0xff00) == (arg2 & 0xff00)) { INC_AFL_AREA(idx); }
}
@@ -134,6 +130,58 @@ static void afl_gen_compcov(target_ulong cur_loc, TCGv_i64 arg1, TCGv_i64 arg2,
}
+/* Routines for debug */
+/*
+static void log_x86_saved_gpr(void) {
+
+ static const char reg_names[CPU_NB_REGS][4] = {
+
+#ifdef TARGET_X86_64
+ [R_EAX] = "rax",
+ [R_EBX] = "rbx",
+ [R_ECX] = "rcx",
+ [R_EDX] = "rdx",
+ [R_ESI] = "rsi",
+ [R_EDI] = "rdi",
+ [R_EBP] = "rbp",
+ [R_ESP] = "rsp",
+ [8] = "r8",
+ [9] = "r9",
+ [10] = "r10",
+ [11] = "r11",
+ [12] = "r12",
+ [13] = "r13",
+ [14] = "r14",
+ [15] = "r15",
+#else
+ [R_EAX] = "eax",
+ [R_EBX] = "ebx",
+ [R_ECX] = "ecx",
+ [R_EDX] = "edx",
+ [R_ESI] = "esi",
+ [R_EDI] = "edi",
+ [R_EBP] = "ebp",
+ [R_ESP] = "esp",
+#endif
+
+ };
+
+ int i;
+ for (i = 0; i < CPU_NB_REGS; ++i) {
+
+ fprintf(stderr, "%s = %lx\n", reg_names[i], persistent_saved_gpr[i]);
+
+ }
+
+}
+
+static void log_x86_sp_content(void) {
+
+ fprintf(stderr, ">> SP = %lx -> %lx\n", persistent_saved_gpr[R_ESP],
+*(unsigned long*)persistent_saved_gpr[R_ESP]);
+
+}*/
+
#define I386_RESTORE_STATE_FOR_PERSISTENT \
do { \
\
@@ -154,7 +202,7 @@ static void afl_gen_compcov(target_ulong cur_loc, TCGv_i64 arg1, TCGv_i64 arg2,
for (i = 0; i < CPU_NB_REGS; ++i) { \
\
gpr_sv = tcg_const_ptr(&persistent_saved_gpr[i]); \
- tcg_gen_ld_tl(gpr_sv, cpu_regs[i], 0); \
+ tcg_gen_ld_tl(cpu_regs[i], gpr_sv, 0); \
\
} \
\
@@ -172,8 +220,7 @@ static void afl_gen_compcov(target_ulong cur_loc, TCGv_i64 arg1, TCGv_i64 arg2,
gen_set_label(lbl_finish_restore_gpr); \
tcg_temp_free(first_pass); \
\
- } \
- if (afl_persistent_ret_addr == 0) { \
+ } else if (afl_persistent_ret_addr == 0) { \
\
TCGv_ptr stack_off_ptr = tcg_const_ptr(&persistent_stack_offset); \
TCGv stack_off = tcg_temp_new(); \
@@ -191,6 +238,8 @@ static void afl_gen_compcov(target_ulong cur_loc, TCGv_i64 arg1, TCGv_i64 arg2,
if (s->pc == afl_persistent_addr) { \
\
I386_RESTORE_STATE_FOR_PERSISTENT; \
+ /*tcg_gen_afl_call0(log_x86_saved_gpr); \
+ tcg_gen_afl_call0(log_x86_sp_content);*/ \
\
if (afl_persistent_ret_addr == 0) { \
\
@@ -199,6 +248,7 @@ static void afl_gen_compcov(target_ulong cur_loc, TCGv_i64 arg1, TCGv_i64 arg2,
\
} \
tcg_gen_afl_call0(&afl_persistent_loop); \
+ /*tcg_gen_afl_call0(log_x86_sp_content);*/ \
\
} else if (afl_persistent_ret_addr && s->pc == afl_persistent_ret_addr) { \
\
diff --git a/src/afl-fuzz-init.c b/src/afl-fuzz-init.c
index 6599fde1..127f5217 100644
--- a/src/afl-fuzz-init.c
+++ b/src/afl-fuzz-init.c
@@ -35,7 +35,7 @@ void bind_to_free_cpu(void) {
#if defined(__linux__) || defined(__FreeBSD__)
cpu_set_t c;
#elif defined(__NetBSD__)
- cpuset_t *c;
+ cpuset_t* c;
#endif
u8 cpu_used[4096] = {0};
@@ -147,8 +147,10 @@ void bind_to_free_cpu(void) {
struct kinfo_proc2* procs;
size_t nprocs;
size_t proccount;
- int s_name[] = {CTL_KERN, KERN_PROC2, KERN_PROC_ALL, 0, sizeof(struct kinfo_proc2), 0};
- size_t s_name_l = sizeof(s_name) / sizeof(s_name[0]);
+ int s_name[] = {
+
+ CTL_KERN, KERN_PROC2, KERN_PROC_ALL, 0, sizeof(struct kinfo_proc2), 0};
+ size_t s_name_l = sizeof(s_name) / sizeof(s_name[0]);
if (sysctl(s_name, s_name_l, NULL, &nprocs, NULL, 0) != 0) return;
proccount = nprocs / sizeof(struct kinfo_proc2);