cx330tw/Test

0 lines

188.1 KB

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

_ABI(SystemV_x86_64)
void _init(void) {
  if (segment_3.got.offset_8) {
    ((cabifunction_166 *) segment_3.got.offset_8)();
  }
}

_ABI(SystemV_x86_64)
int32_t puts_2(const int8_t *str) {
  int32_t var_0;
  var_0 = puts(str);
  return var_0;
}

_ABI(SystemV_x86_64)
int32_t vibe_printf(const int8_t *format) {
  int32_t var_0;
  var_0 = printf(format);
  return var_0;
}

_ABI(SystemV_x86_64)
ssize_t read_2(int32_t fd, void *buf, size_t nbytes) {
  ssize_t var_0;
  var_0 = read(fd, buf, nbytes);
  return var_0;
}

_ABI(SystemV_x86_64)
int32_t prctl_2(int32_t option_2) {
  int32_t var_0;
  var_0 = prctl(option_2);
  return var_0;
}

_ABI(SystemV_x86_64)
int32_t setvbuf_2(FILE_4 *fp, int8_t *buf, int32_t mode, size_t size) {
  int32_t var_0;
  var_0 = setvbuf(fp, buf, mode, size);
  return var_0;
}

_ABI(SystemV_x86_64)
void mprotect_2(void) {
  mprotect();
}

_ABI(SystemV_x86_64)
void perror_2(const int8_t *s) {
  perror(s);
}

_ABI(SystemV_x86_64) _Noreturn
void exit_2(int32_t status) {
  exit(status);
}

_ABI(SystemV_x86_64) _Noreturn
void _start(generic64_t argument_0, generic64_t argument_1, struct_139 *argument_2) {
  int32_t var_0;
  var_0 = __libc_start_main((cabifunction_34 *) main, (int32_t) (number32_t) *(generic64_t *) revng_undefined_local_sp(), (int8_t **) (revng_undefined_local_sp() + 8), (cabifunction_34 *) NULL, (cabifunction_33 *) NULL, (cabifunction_33 *) argument_2, (void *) revng_undefined_local_sp());
  // The previous function call does not return
}

_ABI(SystemV_x86_64)
void _dl_relocate_static_pie(void) {
}

_ABI(SystemV_x86_64)
void deregister_tm_clones(void) {
}

_ABI(SystemV_x86_64)
void register_tm_clones(void) {
}

_ABI(SystemV_x86_64)
void __do_global_dtors_aux(void) {
  if (!segment_3.bss.offset_24) {
    deregister_tm_clones();
    segment_3.bss.offset_24 = '\001';
  }
}

_ABI(SystemV_x86_64)
void frame_dummy(void) {
}

_ABI(SystemV_x86_64)
void apply_seccomp(void) {
  struct_135 stack;
  int32_t var_0;
  stack.offset_16 = 32;
  stack.offset_18 = '\000';
  stack.offset_19 = '\000';
  stack.offset_20 = 4;
  stack.offset_24 = 21;
  stack.offset_26 = '\001';
  stack.offset_27 = '\000';
  stack.offset_28 = 3221225534;
  stack.offset_32 = 6;
  stack.offset_34 = '\000';
  stack.offset_35 = '\000';
  stack.offset_36 = 0;
  stack.offset_40 = 32;
  stack.offset_42 = '\000';
  stack.offset_43 = '\000';
  stack.offset_44 = 0;
  stack.offset_48 = 21;
  stack.offset_50 = '\000';
  stack.offset_51 = '\001';
  stack.offset_52 = 0;
  stack.offset_56 = 6;
  stack.offset_58 = '\000';
  stack.offset_59 = '\000';
  stack.offset_60 = 2147418112;
  stack.offset_64 = 21;
  stack.offset_66 = '\000';
  stack.offset_67 = '\001';
  stack.offset_68 = 1;
  stack.offset_72 = 6;
  stack.offset_74 = '\000';
  stack.offset_75 = '\000';
  stack.offset_76 = 2147418112;
  stack.offset_80 = 21;
  stack.offset_82 = '\000';
  stack.offset_83 = '\001';
  stack.offset_84 = 2;
  stack.offset_88 = 6;
  stack.offset_90 = '\000';
  stack.offset_91 = '\000';
  stack.offset_92 = 2147418112;
  stack.offset_96 = 21;
  stack.offset_98 = '\000';
  stack.offset_99 = '\001';
  stack.offset_100 = 3;
  stack.offset_104 = 6;
  stack.offset_106 = '\000';
  stack.offset_107 = '\000';
  stack.offset_108 = 2147418112;
  stack.offset_112 = 21;
  stack.offset_114 = '\000';
  stack.offset_115 = '\001';
  stack.offset_116 = 257;
  stack.offset_120 = 6;
  stack.offset_122 = '\000';
  stack.offset_123 = '\000';
  stack.offset_124 = 2147418112;
  stack.offset_128 = 21;
  stack.offset_130 = '\000';
  stack.offset_131 = '\001';
  stack.offset_132 = 60;
  stack.offset_136 = 6;
  stack.offset_138 = '\000';
  stack.offset_139 = '\000';
  stack.offset_140 = 2147418112;
  stack.offset_144 = 21;
  stack.offset_146 = '\000';
  stack.offset_147 = '\001';
  stack.offset_148 = 231;
  stack.offset_152 = 6;
  stack.offset_154 = '\000';
  stack.offset_155 = '\000';
  stack.offset_156 = 2147418112;
  stack.offset_160 = 21;
  stack.offset_162 = '\000';
  stack.offset_163 = '\001';
  stack.offset_164 = 78;
  stack.offset_168 = 6;
  stack.offset_170 = '\000';
  stack.offset_171 = '\000';
  stack.offset_172 = 2147418112;
  stack.offset_176 = 21;
  stack.offset_178 = '\000';
  stack.offset_179 = '\001';
  stack.offset_180 = 318;
  stack.offset_184 = 6;
  stack.offset_186 = '\000';
  stack.offset_187 = '\000';
  stack.offset_188 = 2147418112;
  stack.offset_192 = 21;
  stack.offset_194 = '\000';
  stack.offset_195 = '\001';
  stack.offset_196 = 12;
  stack.offset_200 = 6;
  stack.offset_202 = '\000';
  stack.offset_203 = '\000';
  stack.offset_204 = 2147418112;
  stack.offset_208 = 21;
  stack.offset_210 = '\000';
  stack.offset_211 = '\001';
  stack.offset_212 = 89;
  stack.offset_216 = 6;
  stack.offset_218 = '\000';
  stack.offset_219 = '\000';
  stack.offset_220 = 2147418112;
  stack.offset_224 = 21;
  stack.offset_226 = '\000';
  stack.offset_227 = '\001';
  stack.offset_228 = 15;
  stack.offset_232 = 6;
  stack.offset_234 = '\000';
  stack.offset_235 = '\000';
  stack.offset_236 = 2147418112;
  stack.offset_240 = 6;
  stack.offset_242 = '\000';
  stack.offset_243 = '\000';
  stack.offset_244 = 0;
  stack.offset_0 = 29;
  stack.offset_8 = &stack.offset_16;
  var_0 = prctl_2((int32_t) 38);
  if (var_0) {
    perror_2((const int8_t *) "Seccomp Error");
    exit_2((int32_t) 1);
  }
  int32_t var_1;
  var_1 = prctl_2((int32_t) 22);
  if (var_1) {
    perror_2((const int8_t *) "Seccomp Error");
    exit_2((int32_t) 1);
  }
}

_ABI(SystemV_x86_64)
generic64_t main(void) {
  struct_136 stack;
  int32_t var_0;
  ssize_t var_1;
  int32_t var_2;
  ssize_t var_3;
  int32_t var_4;
  int32_t var_5;
  int32_t var_6;
  var_6 = setvbuf_2((FILE_4 *) segment_3.bss.offset_16, (int8_t *) NULL, (int32_t) 2, 0);
  var_5 = setvbuf_2((FILE_4 *) segment_3.bss.offset_0, (int8_t *) NULL, (int32_t) 2, 0);
  stack.offset_40 = &segment_3.got_plt;
  mprotect_2();
  apply_seccomp();
  var_4 = vibe_printf((const int8_t *) "Username: ");
  var_3 = read_2((int32_t) 0, &segment_3.bss.username, 1024);
  var_2 = vibe_printf((const int8_t *) "Password: ");
  var_1 = read_2((int32_t) 0, &stack, 64);
  var_0 = puts_2((const int8_t *) "Wrong username/password! Please try again.");
  return 0;
}

_ABI(SystemV_x86_64)
void _fini(void) {
}