// File: /workspace/github_c_makefile_star2_O0/mabdi[P]bunney/bunny-main.c
// Function: display_info
static void display_info(char** argv, int argc1) {
  time_t t = time(0);
  _u8* ct= ctime(&t);
  _u8* ip = (_u8*)&write_host;

  if (ct[strlen(ct)-1] == '\n') ct[strlen(ct)-1] = 0;
  
  outf("Bunny the Fuzzer - a high-performance instrumented fuzzer by <lcamtuf@google.com>\n"
       "---------------------------------------------------------------------------------\n\n");
       
  outf("  Code version : " VERSION " (" __DATE__ " " __TIME__ ")\n");
  outf("    Start date : %s\n", ct);
  outf("   Target exec : %s\n", argv[0]);
  outf("  Command line : ");
  if (argc1 == 1) outf("<none>"); else {
    _u32 i;
    for (i=1;i<argc1;i++) outf("%s ",argv[i]);
  }
  outf("\n");
  
  outf("   Input files : %s/\n", in_dir);
  outf("   State files : %s/\n", out_dir);
  outf("   Fuzz output : ");
  
  if (!write_file && !write_port) outf("<target stdin>\n");
  else if (write_file) outf("%s\n",write_file);
  else if (!write_host) outf("client on %u/tcp\n",write_port);
  else outf("server at %u.%u.%u.%u %u/%s\n", ip[0], ip[1], ip[2], ip[3],
            write_port, use_udp ? "udp" : "tcp");

  outf("   Random seed : %08x\n",rand_seed);

  outf("  All settings : T=%u,%u B=%u+%u C=%u+%u,%u A=%u X=%u,%u,%u+%u R=%u*%u L%u=%u,%u r%u%u c=%u U%u E=%u f%u k%u F=%u\n\n",
       time_limit, stall_limit, bitflip_max, bitflip_inc, chunk_max,
       chunk_inc, chunk_off_max, eff_count_max, byte_val_list.c,
       word_val_list.c, dword_val_list.c, rand_val_walks, rand_phase_cycles,
       rand_phase_stacking, use_qrand, cycle_branch_limit, cycle_value_limit, full_range, zero_range,
       cal_cycles, use_all8, func_limit, keep_fault, skip_rounds, size_limit);
       
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x158, %rsp            # imm = 0x158
movq %rdi, -0x30(%rbp)
movl %esi, -0x34(%rbp)
xorl %eax, %eax
movl %eax, %edi
callq 0x21c0
movq %rax, -0x40(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x20d0
movq %rax, -0x48(%rbp)
leaq 0xd190(%rip), %rax      # 0x122fc
movq %rax, -0x50(%rbp)
movq -0x48(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x48(%rbp), %rdi
callq 0x20f0
movq %rax, %rcx
movq -0x60(%rbp), %rax
subq $0x1, %rcx
movzbl (%rax,%rcx), %eax
cmpl $0xa, %eax
jne 0x51b5
movq -0x48(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x48(%rbp), %rdi
callq 0x20f0
movq %rax, %rcx
movq -0x68(%rbp), %rax
subq $0x1, %rcx
movb $0x0, (%rax,%rcx)
jmp 0x51b7
leaq 0x9e02(%rip), %rdi      # 0xefc0
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xd10b(%rip)      # 0x122d8
je 0x51e4
movq 0xd102(%rip), %rdi      # 0x122d8
leaq 0x9de3(%rip), %rsi      # 0xefc0
movb $0x0, %al
callq 0x22d0
jmp 0x51e6
jmp 0x51e8
leaq 0x9e77(%rip), %rdi      # 0xf066
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xd0da(%rip)      # 0x122d8
je 0x5215
movq 0xd0d1(%rip), %rdi      # 0x122d8
leaq 0x9e58(%rip), %rsi      # 0xf066
movb $0x0, %al
callq 0x22d0
jmp 0x5217
jmp 0x5219
movq -0x48(%rbp), %rsi
leaq 0x9e75(%rip), %rdi      # 0xf099
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xd0a5(%rip)      # 0x122d8
je 0x524e
movq 0xd09c(%rip), %rdi      # 0x122d8
movq -0x48(%rbp), %rdx
leaq 0x9e52(%rip), %rsi      # 0xf099
movb $0x0, %al
callq 0x22d0
jmp 0x5250
jmp 0x5252
movq -0x30(%rbp), %rax
movq (%rax), %rsi
leaq 0x9e4e(%rip), %rdi      # 0xf0ae
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xd069(%rip)      # 0x122d8
je 0x528d
movq 0xd060(%rip), %rdi      # 0x122d8
movq -0x30(%rbp), %rax
movq (%rax), %rdx
leaq 0x9e28(%rip), %rsi      # 0xf0ae
movb $0x0, %al
callq 0x22d0
jmp 0x528f
jmp 0x5291
leaq 0x9e2b(%rip), %rdi      # 0xf0c3
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xd031(%rip)      # 0x122d8
je 0x52be
movq 0xd028(%rip), %rdi      # 0x122d8
leaq 0x9e0c(%rip), %rsi      # 0xf0c3
movb $0x0, %al
callq 0x22d0
jmp 0x52c0
cmpl $0x1, -0x34(%rbp)
jne 0x52f9
jmp 0x52c8
leaq 0x9e06(%rip), %rdi      # 0xf0d5
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xcffa(%rip)      # 0x122d8
je 0x52f5
movq 0xcff1(%rip), %rdi      # 0x122d8
leaq 0x9de7(%rip), %rsi      # 0xf0d5
movb $0x0, %al
callq 0x22d0
jmp 0x52f7
jmp 0x535e
movl $0x1, -0x54(%rbp)
movl -0x54(%rbp), %eax
cmpl -0x34(%rbp), %eax
jae 0x535c
jmp 0x530a
movq -0x30(%rbp), %rax
movl -0x54(%rbp), %ecx
movq (%rax,%rcx,8), %rsi
leaq 0x9dc0(%rip), %rdi      # 0xf0dc
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xcfad(%rip)      # 0x122d8
je 0x534d
movq 0xcfa4(%rip), %rdi      # 0x122d8
movq -0x30(%rbp), %rax
movl -0x54(%rbp), %ecx
movq (%rax,%rcx,8), %rdx
leaq 0x9d96(%rip), %rsi      # 0xf0dc
movb $0x0, %al
callq 0x22d0
jmp 0x534f
jmp 0x5351
movl -0x54(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x54(%rbp)
jmp 0x5300
jmp 0x535e
jmp 0x5360
leaq 0x9cfd(%rip), %rdi      # 0xf064
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xcf62(%rip)      # 0x122d8
je 0x538d
movq 0xcf59(%rip), %rdi      # 0x122d8
leaq 0x9cde(%rip), %rsi      # 0xf064
movb $0x0, %al
callq 0x22d0
jmp 0x538f
jmp 0x5391
movq 0xcf38(%rip), %rsi      # 0x122d0
leaq 0x9d41(%rip), %rdi      # 0xf0e0
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xcf2a(%rip)      # 0x122d8
je 0x53cc
movq 0xcf21(%rip), %rdi      # 0x122d8
movq 0xcf12(%rip), %rdx      # 0x122d0
leaq 0x9d1b(%rip), %rsi      # 0xf0e0
movb $0x0, %al
callq 0x22d0
jmp 0x53ce
jmp 0x53d0
movq 0xcf09(%rip), %rsi      # 0x122e0
leaq 0x9d18(%rip), %rdi      # 0xf0f6
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xceeb(%rip)      # 0x122d8
je 0x540b
movq 0xcee2(%rip), %rdi      # 0x122d8
movq 0xcee3(%rip), %rdx      # 0x122e0
leaq 0x9cf2(%rip), %rsi      # 0xf0f6
movb $0x0, %al
callq 0x22d0
jmp 0x540d
jmp 0x540f
leaq 0x9cf6(%rip), %rdi      # 0xf10c
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xceb3(%rip)      # 0x122d8
je 0x543c
movq 0xceaa(%rip), %rdi      # 0x122d8
leaq 0x9cd7(%rip), %rsi      # 0xf10c
movb $0x0, %al
callq 0x22d0
jmp 0x543e
cmpq $0x0, 0xceaa(%rip)      # 0x122f0
jne 0x5487
cmpl $0x0, 0xce99(%rip)      # 0x122e8
jne 0x5487
jmp 0x5453
leaq 0x9cc4(%rip), %rdi      # 0xf11e
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xce6f(%rip)      # 0x122d8
je 0x5480
movq 0xce66(%rip), %rdi      # 0x122d8
leaq 0x9ca5(%rip), %rsi      # 0xf11e
movb $0x0, %al
callq 0x22d0
jmp 0x5482
jmp 0x55ed
cmpq $0x0, 0xce61(%rip)      # 0x122f0
je 0x54d5
jmp 0x5493
movq 0xce56(%rip), %rsi      # 0x122f0
leaq 0x9c1e(%rip), %rdi      # 0xf0bf
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xce28(%rip)      # 0x122d8
je 0x54ce
movq 0xce1f(%rip), %rdi      # 0x122d8
movq 0xce30(%rip), %rdx      # 0x122f0
leaq 0x9bf8(%rip), %rsi      # 0xf0bf
movb $0x0, %al
callq 0x22d0
jmp 0x54d0
jmp 0x55eb
cmpl $0x0, 0xce20(%rip)      # 0x122fc
jne 0x5520
jmp 0x54e0
movl 0xce02(%rip), %esi      # 0x122e8
leaq 0x9c41(%rip), %rdi      # 0xf12e
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xcddc(%rip)      # 0x122d8
je 0x5519
movq 0xcdd3(%rip), %rdi      # 0x122d8
movl 0xcddd(%rip), %edx      # 0x122e8
leaq 0x9c1c(%rip), %rsi      # 0xf12e
movb $0x0, %al
callq 0x22d0
jmp 0x551b
jmp 0x55e9
jmp 0x5522
movq -0x50(%rbp), %rax
movzbl (%rax), %esi
movq -0x50(%rbp), %rax
movzbl 0x1(%rax), %edx
movq -0x50(%rbp), %rax
movzbl 0x2(%rax), %ecx
movq -0x50(%rbp), %rax
movzbl 0x3(%rax), %r8d
movl 0xcd9f(%rip), %r9d      # 0x122e8
movl 0xcda8(%rip), %r10d     # 0x122f8
leaq 0x9c0a(%rip), %rax      # 0xf161
leaq 0x9bff(%rip), %rdi      # 0xf15d
cmpl $0x0, %r10d
cmovneq %rdi, %rax
leaq 0x9bd3(%rip), %rdi      # 0xf140
movq %rax, (%rsp)
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xcd58(%rip)      # 0x122d8
je 0x55e5
movq 0xcd4f(%rip), %rdi      # 0x122d8
movq -0x50(%rbp), %rax
movzbl (%rax), %edx
movq -0x50(%rbp), %rax
movzbl 0x1(%rax), %ecx
movq -0x50(%rbp), %rax
movzbl 0x2(%rax), %r8d
movq -0x50(%rbp), %rax
movzbl 0x3(%rax), %r9d
movl 0xcd37(%rip), %r10d     # 0x122e8
movl 0xcd40(%rip), %r11d     # 0x122f8
leaq 0x9ba2(%rip), %rax      # 0xf161
leaq 0x9b97(%rip), %rsi      # 0xf15d
cmpl $0x0, %r11d
cmovneq %rsi, %rax
leaq 0x9b6b(%rip), %rsi      # 0xf140
movl %r10d, (%rsp)
movq %rax, 0x8(%rsp)
movb $0x0, %al
callq 0x22d0
jmp 0x55e7
jmp 0x55e9
jmp 0x55eb
jmp 0x55ed
jmp 0x55ef
movl 0xcd7f(%rip), %esi      # 0x12374
leaq 0x9b69(%rip), %rdi      # 0xf165
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xcccd(%rip)      # 0x122d8
je 0x5628
movq 0xccc4(%rip), %rdi      # 0x122d8
movl 0xcd5a(%rip), %edx      # 0x12374
leaq 0x9b44(%rip), %rsi      # 0xf165
movb $0x0, %al
callq 0x22d0
jmp 0x562a
jmp 0x562c
movl 0xcbc2(%rip), %esi      # 0x121f4
movl 0xcbb8(%rip), %edx      # 0x121f0
movl 0xcbbe(%rip), %ecx      # 0x121fc
movl 0xcbb3(%rip), %r8d      # 0x121f8
movl 0xcbb8(%rip), %r9d      # 0x12204
movl 0xcbae(%rip), %eax      # 0x12200
movl 0xcbb0(%rip), %edi      # 0x12208
movl %edi, -0x98(%rbp)
movl 0xcba8(%rip), %edi      # 0x1220c
movl %edi, -0x94(%rbp)
movl 0xcca8(%rip), %edi      # 0x12318
movl %edi, -0x90(%rbp)
movl 0xccac(%rip), %edi      # 0x12328
movl %edi, -0x8c(%rbp)
movl 0xccb0(%rip), %edi      # 0x12338
movl %edi, -0x88(%rbp)
movl 0xcb84(%rip), %edi      # 0x12218
movl %edi, -0x84(%rbp)
movl 0xcb7c(%rip), %edi      # 0x1221c
movl %edi, -0x80(%rbp)
movl 0xcb77(%rip), %edi      # 0x12220
movl %edi, -0x7c(%rbp)
movzbl 0xcc4d(%rip), %edi      # 0x12300
movl %edi, -0x78(%rbp)
movl 0xcb68(%rip), %edi      # 0x12224
movl %edi, -0x74(%rbp)
movl 0xcb63(%rip), %edi      # 0x12228
movl %edi, -0x70(%rbp)
movzbl 0xcc34(%rip), %r13d     # 0x12304
movzbl 0xcc2d(%rip), %r12d     # 0x12305
movl 0xcb4d(%rip), %r15d     # 0x1222c
movzbl 0xcc1a(%rip), %r14d     # 0x12301
movl 0xcb23(%rip), %ebx      # 0x12210
movzbl 0xcc0d(%rip), %r11d     # 0x12302
movzbl 0xcc09(%rip), %r10d     # 0x12306
movl 0xcc05(%rip), %edi      # 0x12308
movl %edi, -0x6c(%rbp)
leaq 0x9a6f(%rip), %rdi      # 0xf17c
movl %eax, (%rsp)
movl -0x98(%rbp), %eax
movl %eax, 0x8(%rsp)
movl -0x94(%rbp), %eax
movl %eax, 0x10(%rsp)
movl -0x90(%rbp), %eax
movl %eax, 0x18(%rsp)
movl -0x8c(%rbp), %eax
movl %eax, 0x20(%rsp)
movl -0x88(%rbp), %eax
movl %eax, 0x28(%rsp)
movl -0x84(%rbp), %eax
movl %eax, 0x30(%rsp)
movl -0x80(%rbp), %eax
movl %eax, 0x38(%rsp)
movl -0x7c(%rbp), %eax
movl %eax, 0x40(%rsp)
movl -0x78(%rbp), %eax
movl %eax, 0x48(%rsp)
movl -0x74(%rbp), %eax
movl %eax, 0x50(%rsp)
movl -0x70(%rbp), %eax
movl %eax, 0x58(%rsp)
movl -0x6c(%rbp), %eax
movl %r13d, 0x60(%rsp)
movl %r12d, 0x68(%rsp)
movl %r15d, 0x70(%rsp)
movl %r14d, 0x78(%rsp)
movl %ebx, 0x80(%rsp)
movl %r11d, 0x88(%rsp)
movl %r10d, 0x90(%rsp)
movl %eax, 0x98(%rsp)
movb $0x0, %al
callq 0x2030
cmpq $0x0, 0xcb25(%rip)      # 0x122d8
je 0x5976
movq 0xcb18(%rip), %rdi      # 0x122d8
movl 0xca2e(%rip), %edx      # 0x121f4
movl 0xca24(%rip), %ecx      # 0x121f0
movl 0xca29(%rip), %r8d      # 0x121fc
movl 0xca1e(%rip), %r9d      # 0x121f8
movl 0xca24(%rip), %eax      # 0x12204
movl 0xca1a(%rip), %esi      # 0x12200
movl %esi, -0xcc(%rbp)
movl 0xca16(%rip), %esi      # 0x12208
movl %esi, -0xc8(%rbp)
movl 0xca0e(%rip), %esi      # 0x1220c
movl %esi, -0xc4(%rbp)
movl 0xcb0e(%rip), %esi      # 0x12318
movl %esi, -0xc0(%rbp)
movl 0xcb12(%rip), %esi      # 0x12328
movl %esi, -0xbc(%rbp)
movl 0xcb16(%rip), %esi      # 0x12338
movl %esi, -0xb8(%rbp)
movl 0xc9ea(%rip), %esi      # 0x12218
movl %esi, -0xb4(%rbp)
movl 0xc9e2(%rip), %esi      # 0x1221c
movl %esi, -0xb0(%rbp)
movl 0xc9da(%rip), %esi      # 0x12220
movl %esi, -0xac(%rbp)
movzbl 0xcaad(%rip), %esi      # 0x12300
movl %esi, -0xa8(%rbp)
movl 0xc9c5(%rip), %esi      # 0x12224
movl %esi, -0xa4(%rbp)
movl 0xc9bd(%rip), %esi      # 0x12228
movl %esi, -0xa0(%rbp)
movzbl 0xca8b(%rip), %r13d     # 0x12304
movzbl 0xca84(%rip), %r12d     # 0x12305
movl 0xc9a4(%rip), %r15d     # 0x1222c
movzbl 0xca71(%rip), %r14d     # 0x12301
movl 0xc97a(%rip), %ebx      # 0x12210
movzbl 0xca64(%rip), %r11d     # 0x12302
movzbl 0xca60(%rip), %r10d     # 0x12306
movl 0xca5c(%rip), %esi      # 0x12308
movl %esi, -0x9c(%rbp)
leaq 0x98c3(%rip), %rsi      # 0xf17c
movl %eax, (%rsp)
movl -0xcc(%rbp), %eax
movl %eax, 0x8(%rsp)
movl -0xc8(%rbp), %eax
movl %eax, 0x10(%rsp)
movl -0xc4(%rbp), %eax
movl %eax, 0x18(%rsp)
movl -0xc0(%rbp), %eax
movl %eax, 0x20(%rsp)
movl -0xbc(%rbp), %eax
movl %eax, 0x28(%rsp)
movl -0xb8(%rbp), %eax
movl %eax, 0x30(%rsp)
movl -0xb4(%rbp), %eax
movl %eax, 0x38(%rsp)
movl -0xb0(%rbp), %eax
movl %eax, 0x40(%rsp)
movl -0xac(%rbp), %eax
movl %eax, 0x48(%rsp)
movl -0xa8(%rbp), %eax
movl %eax, 0x50(%rsp)
movl -0xa4(%rbp), %eax
movl %eax, 0x58(%rsp)
movl -0xa0(%rbp), %eax
movl %eax, 0x60(%rsp)
movl -0x9c(%rbp), %eax
movl %r13d, 0x68(%rsp)
movl %r12d, 0x70(%rsp)
movl %r15d, 0x78(%rsp)
movl %r14d, 0x80(%rsp)
movl %ebx, 0x88(%rsp)
movl %r11d, 0x90(%rsp)
movl %r10d, 0x98(%rsp)
movl %eax, 0xa0(%rsp)
movb $0x0, %al
callq 0x22d0
jmp 0x5978
addq $0x158, %rsp            # imm = 0x158
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopw (%rax,%rax)