Explore
/
Sign In
/
Unknown
Unknown
Fork
Star
Artifacts
binary
binary_decompiled.c
0 lines
|
57.05 KB
#include "types-and-globals.h" #include "helpers.h" _ABI(SystemV_x86_64) void function_0x401000_Code_x86_64(void) { if (segment_3.got.offset_72) { ((cabifunction_133 *) segment_3.got.offset_72)(); } } _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) _Noreturn void __stack_chk_fail_2(void) { __stack_chk_fail(); } _ABI(SystemV_x86_64) int8_t *fgets_2(int8_t *buf, int32_t n, FILE_4 *fp) { int8_t *var_0; var_0 = fgets(buf, n, fp); return var_0; } _ABI(raw_x86_64) artificial_struct_returned_by_rawfunction_30 strcmp_2(pointer_or_number64_t register_rcx _REG(rcx_x86_64), pointer_or_number64_t register_rdx _REG(rdx_x86_64), pointer_or_number64_t register_rsi _REG(rsi_x86_64), pointer_or_number64_t register_rdi _REG(rdi_x86_64), pointer_or_number64_t register_r8 _REG(r8_x86_64), pointer_or_number64_t register_r9 _REG(r9_x86_64)) { pointer_or_number64_t var_0; pointer_or_number64_t var_1; artificial_struct_returned_by_rawfunction_30 var_2; var_2 = strcmp(register_rcx, register_rdx, register_rsi, register_rdi, register_r8, register_r9); var_1 = var_2.register_rax; var_0 = var_2.register_rdx; return (artificial_struct_returned_by_rawfunction_30) { var_1, var_0 }; } _ABI(SystemV_x86_64) _Noreturn void function_0x4010c0_Code_x86_64(generic64_t argument_0, generic64_t argument_1, struct_118 *argument_2) { int32_t var_0; var_0 = __libc_start_main((cabifunction_33 *) function_0x4011a9_Code_x86_64, (int32_t) (number32_t) *(generic64_t *) revng_undefined_local_sp(), (int8_t **) (revng_undefined_local_sp() + 8), (cabifunction_33 *) NULL, (cabifunction_32 *) NULL, (cabifunction_32 *) argument_2, (void *) revng_undefined_local_sp()); // The previous function call does not return } _ABI(SystemV_x86_64) struct_134 function_0x4011a9_Code_x86_64(void) { struct_115 stack; pointer_or_number64_t var_0; pointer_or_number64_t var_1; int8_t *var_2; int32_t var_3; artificial_struct_returned_by_rawfunction_30 var_4; stack.offset_24 = *(generic64_t *) 40; var_3 = puts_2((const int8_t *) "supercool"); var_2 = fgets_2((int8_t *) &stack, (int32_t) 16, (FILE_4 *) segment_3.bss.stdin); var_4 = strcmp_2(undef(generic64_t), (pointer_or_number64_t) "verycool\n", (pointer_or_number64_t) "verycool\n", (pointer_or_number64_t) &stack, undef(generic64_t), undef(generic64_t)); var_1 = var_4.register_rax; var_0 = var_4.register_rdx; if (!(var_1 & 0xFFFFFFFF)) { int32_t var_5; int32_t var_6; var_6 = puts_2((const int8_t *) "so cool"); var_5 = puts_2((const int8_t *) ((pointer_or_number64_t) &segment_3.data + 16)); } if (stack.offset_24 != *(generic64_t *) 40) { __stack_chk_fail_2(); } struct_134 var_7; var_7.offset_0 = 0; var_7.offset_8 = 0; return var_7; } _ABI(SystemV_x86_64) void function_0x401240_Code_x86_64(void) { }
Loading...