89090823215/emission-ecosystem-gym

0 lines

93.01 KB

#include "types-and-globals.h"
#include "helpers.h"

_ABI(SystemV_x86_64)
void function_0x400000_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3, generic64_t argument_4) {
  generic64_t var_0;
  generic64_t var_1;
  generic8_t var_2;
  var_2 = bit_parity(undef(generic8_t));
  var_1 = lshift(0, 0);
  var_0 = lshift(0, 4);
}

_ABI(SystemV_x86_64)
void function_0x400040_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
}

_ABI(SystemV_x86_64) _Noreturn
void function_0x400177_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2, generic64_t argument_3) {
}

_ABI(SystemV_x86_64)
void function_0x400740_Code_x86_64(void) {
  function_0x4007bc_Code_x86_64();
}

_ABI(SystemV_x86_64) _Noreturn
int32_t __libc_start_main_2(cabifunction_27 *main, int32_t argc, int8_t **argv, cabifunction_27 *init_2, cabifunction_26 *fini, cabifunction_26 *rtld_fini, void *stack_end) {
  int32_t var_0;
  var_0 = __libc_start_main(main, argc, argv, init_2, fini, rtld_fini, (void *) undef(generic64_t));
  // The previous function call does not return
  return var_0;
}

_ABI(SystemV_x86_64)
void *calloc_2(size_t n, size_t elem_size) {
  void *var_0;
  var_0 = dynamic_function_6d6364ba311876adcb810e8ac5a5c3d73f55fa43(n, elem_size);
  return var_0;
}

_ABI(SystemV_x86_64)
void free_2(void *mem) {
  dynamic_function_4ff88aaddbd209d8026924c2cc2836b408698823(mem);
}

_ABI(SystemV_x86_64) _Noreturn
void function_0x400790_Code_x86_64(generic64_t argument_0, generic64_t argument_1, struct_67 *argument_2) {
  int32_t var_0;
  var_0 = __libc_start_main_2((cabifunction_27 *) function_0x400920_Code_x86_64, (int32_t) (number32_t) *(generic64_t *) revng_undefined_local_sp(), (int8_t **) (revng_undefined_local_sp() + 8), (cabifunction_27 *) function_0x400950_Code_x86_64, (cabifunction_26 *) function_0x4009c0_Code_x86_64, (cabifunction_26 *) argument_2, (void *) revng_undefined_local_sp());
  // The previous function call does not return
}

_ABI(SystemV_x86_64)
void function_0x4007bc_Code_x86_64(void) {
  if (segment_1.got.offset_0) {
    ((cabifunction_87 *) segment_1.got.offset_0)();
  }
}

_ABI(SystemV_x86_64)
void function_0x4007e0_Code_x86_64(void) {
}

_ABI(SystemV_x86_64)
void function_0x400850_Code_x86_64(void) {
  if (!segment_1.bss.offset_0) {
    function_0x4007e0_Code_x86_64();
    segment_1.bss.offset_0 = '\001';
  }
}

_ABI(SystemV_x86_64)
void function_0x400880_Code_x86_64(void) {
}

_ABI(SystemV_x86_64)
struct_66 *function_0x400890_Code_x86_64(void) {
  void *var_0;
  struct_66 *var_1;
  var_1 = calloc_2(48, 1);
  var_0 = calloc_2(48, 1);
  var_1->offset_40 = var_0;
  return var_1;
}

_ABI(SystemV_x86_64)
generic64_t function_0x4008c0_Code_x86_64(void) {
  struct_62 stack;
  free_2((void *) undef(generic64_t));
  return *(generic64_t *) &stack;
}

_ABI(SystemV_x86_64)
generic64_t function_0x4008d0_Code_x86_64(struct_66 *argument_0) {
  generic64_t var_0;
  generic64_t var_1;
  var_0 = 0;
  var_1 = 0;
  do {
    var_1 = var_1 + argument_0->offset_0[var_0];
    var_0 = var_0 + 1;
  } while (var_0 != 5);
  return var_1;
}

_ABI(SystemV_x86_64)
generic64_t function_0x4008f0_Code_x86_64(struct_66 *argument_0) {
  struct_66 *var_0;
  generic64_t var_1;
  var_0 = argument_0;
  var_1 = 0;
  generic64_t var_2;
  do {
    var_2 = function_0x4008d0_Code_x86_64(var_0);
    var_1 = var_1 + var_2;
    var_0 = var_0->offset_40;
  } while (var_0);
  return var_1;
}

_ABI(SystemV_x86_64)
generic64_t function_0x400920_Code_x86_64(void) {
  generic64_t var_0;
  generic64_t var_1;
  struct_66 *var_2;
  var_2 = function_0x400890_Code_x86_64();
  var_1 = function_0x4008f0_Code_x86_64(var_2);
  var_0 = function_0x4008c0_Code_x86_64();
  return var_1 != 42;
}

_ABI(SystemV_x86_64)
struct_95 function_0x400950_Code_x86_64(generic64_t argument_0, generic64_t argument_1, generic64_t argument_2) {
  struct_65 stack;
  struct_95 var_0;
  stack.offset_48 = &segment_1.init_array;
  function_0x400740_Code_x86_64();
  ((cabifunction_101 *) segment_1.init_array.offset_0)(argument_0 & 0xFFFFFFFF, argument_1, argument_2);
  var_0.offset_8 = argument_2;
  return var_0;
}

_ABI(SystemV_x86_64)
void function_0x4009c0_Code_x86_64(void) {
}

_ABI(SystemV_x86_64)
void function_0x4009c8_Code_x86_64(void) {
}