loshido/ctf-amd64

0 lines

121.81 KB

_ABI(SystemV_x86_64)
struct_78 main(void) {
  struct_55 stack;
  generic32_t var_0;
  stack.offset_136 = *(generic64_t *) 40;
  stack.offset_32 = &stack.offset_23;
  stack.offset_40 = &stack.offset_24;
  stack.offset_48 = &stack.offset_25;
  stack.offset_56 = &stack.offset_26;
  stack.offset_64 = &stack.offset_27;
  stack.offset_28 = 4;
  var_0 = 4;
  generic32_t var_1;
  generic32_t var_2;
  do {
    var_2 = var_0;
    *(generic8_t *) *(generic64_t *) ((pointer_or_number64_t) &stack.offset_136 + 8 + (number64_t) var_2 * 8 - 112) = (number8_t) (69 - var_2);
    var_1 = stack.offset_28;
    var_0 = var_1 - 1;
    stack.offset_28 = var_0;
  } while (var_1);
  generic8_t var_3;
  generic64_t var_4;
  generic64_t var_5;
  generic64_t var_6;
  pointer_or_number64_t var_7;
  pointer_or_number64_t var_8;
  pointer_or_number64_t var_9;
  pointer_or_number64_t var_10;
  pointer_or_number64_t var_11;
  pointer_or_number64_t var_12;
  pointer_or_number64_t var_13;
  pointer_or_number64_t var_14;
  generic64_t var_15;
  artificial_struct_returned_by_rawfunction_26 var_16;
  artificial_struct_returned_by_rawfunction_26 var_17;
  artificial_struct_returned_by_rawfunction_26 var_18;
  artificial_struct_returned_by_rawfunction_26 var_19;
  var_16 = printf_2(var_2, 69 - var_2, undef(generic64_t), (pointer_or_number64_t) "Type the flag: ", undef(generic64_t), undef(generic64_t));
  var_14 = var_16.register_rax;
  var_13 = var_16.register_rdx;
  var_17 = scanf_2(var_2, var_13, (pointer_or_number64_t) &stack.offset_64 + 16, (pointer_or_number64_t) "%5s", undef(generic64_t), undef(generic64_t));
  var_12 = var_17.register_rax;
  var_11 = var_17.register_rdx;
  var_6 = stack.offset_26;
  var_5 = stack.offset_25;
  var_4 = stack.offset_24;
  var_3 = stack.offset_23;
  stack.offset_0 = (number64_t) stack.offset_27 & 0xFFFFFFFF;
  var_18 = sprintf_2(var_4 & 0xFFFFFFFF, (number64_t) var_3 & 0xFFFFFFFF, (pointer_or_number64_t) "%c%c%c%c%c", (pointer_or_number64_t) &stack.offset_64 + 48, var_5 & 0xFFFFFFFF, var_6 & 0xFFFFFFFF);
  var_10 = var_18.register_rax;
  var_9 = var_18.register_rdx;
  var_19 = strcmp_2(var_4 & 0xFFFFFFFF, (pointer_or_number64_t) &stack.offset_64 + 48, (pointer_or_number64_t) &stack.offset_64 + 48, (pointer_or_number64_t) &stack.offset_64 + 16, var_5 & 0xFFFFFFFF, var_6 & 0xFFFFFFFF);
  var_8 = var_19.register_rax;
  var_7 = var_19.register_rdx;
  if (!(var_8 & 0xFFFFFFFF)) {
    pointer_or_number64_t var_20;
    pointer_or_number64_t var_21;
    artificial_struct_returned_by_rawfunction_26 var_22;
    var_22 = puts_2(var_4 & 0xFFFFFFFF, var_7, (pointer_or_number64_t) &stack.offset_64 + 48, (pointer_or_number64_t) "Bravo!", var_5 & 0xFFFFFFFF, var_6 & 0xFFFFFFFF);
    var_21 = var_22.register_rax;
    var_20 = var_22.register_rdx;
    var_15 = "Bravo!";
  } else {
    pointer_or_number64_t var_23;
    pointer_or_number64_t var_24;
    artificial_struct_returned_by_rawfunction_26 var_25;
    var_25 = puts_2(var_4 & 0xFFFFFFFF, var_7, (pointer_or_number64_t) &stack.offset_64 + 48, (pointer_or_number64_t) &segment_2.rodata.offset_31[7], var_5 & 0xFFFFFFFF, var_6 & 0xFFFFFFFF);
    var_24 = var_25.register_rax;
    var_23 = var_25.register_rdx;
    var_15 = &segment_2.rodata.offset_31[7];
  }
  generic64_t var_26;
  generic64_t var_27;
  generic64_t var_28;
  generic8_t var_29;
  generic64_t var_30;
  generic64_t var_31;
  var_31 = stack.offset_136 - *(generic64_t *) 40;
  var_29 = bit_parity((number8_t) var_31);
  var_28 = stack.offset_136 == *(generic64_t *) 40 ? 64 : 0;
  var_27 = lshift(var_31, 4294967240);
  var_26 = lshift((stack.offset_136 ^ *(generic64_t *) 40) & (stack.offset_136 ^ var_31), 4294967244);
  var_30 = 0;
  if (!(var_28 | (var_29 & 0x40))) {
    pointer_or_number64_t var_32;
    pointer_or_number64_t var_33;
    artificial_struct_returned_by_rawfunction_26 var_34;
    var_34 = __stack_chk_fail_2(var_4 & 0xFFFFFFFF, stack.offset_136 - *(generic64_t *) 40, (pointer_or_number64_t) &stack.offset_64 + 48, var_15, var_5 & 0xFFFFFFFF, var_6 & 0xFFFFFFFF);
    var_33 = var_34.register_rax;
    var_30 = var_33;
    var_32 = var_34.register_rdx;
    var_31 = var_32;
  }
  struct_78 var_35;
  var_35.offset_0 = var_30;
  var_35.offset_8 = var_31;
  return var_35;
}