
/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

int EdDSA_verify_loop(void *args)

{
  int iVar1;
  undefined4 uVar2;
  undefined4 uVar3;
  undefined4 uVar4;
  int iVar5;
  int iVar6;
  
                    /* WARNING: Load size is inaccurate */
  iVar1 = *args;
  uVar2 = *(undefined4 *)(iVar1 + 8);
  uVar3 = *(undefined4 *)(iVar1 + 0xc);
  uVar4 = *(undefined4 *)(iVar1 + 0x20);
  iVar6 = run;
  if (run != 0) {
    iVar6 = 0;
    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,
                                    0x14), iVar5 == 1) {
      iVar6 = iVar6 + 1;
      if (run == 0) {
        return iVar6;
      }
      if (iVar6 == 0x7fffffff) {
        return 0x7fffffff;
      }
    }
    BIO_printf((BIO *)bio_err,"EdDSA verify failure\n");
    iVar6 = -1;
    ERR_print_errors((BIO *)bio_err);
  }
  return iVar6;
}



/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

int FUN_00064470(int *param_1)

{
  int iVar1;
  undefined4 uVar2;
  undefined4 uVar3;
  undefined4 uVar4;
  int iVar5;
  int iVar6;
  
  iVar1 = *param_1;
  uVar2 = *(undefined4 *)(iVar1 + 8);
  uVar3 = *(undefined4 *)(iVar1 + 0xc);
  uVar4 = *(undefined4 *)(iVar1 + 0x20);
  iVar6 = DAT_000c5d34;
  if (DAT_000c5d34 != 0) {
    iVar6 = 0;
    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,
                                    uVar2,0x14), iVar5 == 1) {
      iVar6 = iVar6 + 1;
      if (DAT_000c5d34 == 0) {
        return iVar6;
      }
      if (iVar6 == 0x7fffffff) {
        return 0x7fffffff;
      }
    }
    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");
    iVar6 = -1;
    ERR_print_errors(DAT_000c458c);
  }
  return iVar6;
}


PUSH EBP
PUSH EDI
PUSH ESI
PUSH EBX
CALL 0x0002c7d0
ADD EBX,0x585ff
SUB ESP,0x1c
MOV EAX,dword ptr [ESP + 0x30]
MOV EAX,dword ptr [EAX]
MOV ESI,dword ptr [EBX + 0x92bc]
MOV ECX,dword ptr [EAX + 0x8]
MOV EDI,dword ptr [EAX + 0xc]
MOV EBP,dword ptr [EAX + 0x20]
MOV dword ptr [ESP + 0x8],ECX
LEA ECX,[EAX + 0x104]
MOV dword ptr [ESP + 0xc],ECX
TEST ESI,ESI
JZ 0x00064511
XOR ESI,ESI
JMP 0x000644c5
MOV EAX,dword ptr [EBX + 0x92bc]
ADD ESI,0x1
TEST EAX,EAX
JZ 0x00064511
CMP ESI,0x7fffffff
JZ 0x00064511
SUB ESP,0xc
MOV EAX,dword ptr [EBX + 0x89d0]
PUSH 0x14
PUSH dword ptr [ESP + 0x18]
PUSH EBP
PUSH EDI
MOV EDX,dword ptr [ESP + 0x28]
PUSH dword ptr [EDX + EAX*0x4]
CALL 0x0002bfb0
ADD ESP,0x20
CMP EAX,0x1
JZ 0x000644b0
LEA ESI,[EBX + 0x7b14]
SUB ESP,0x8
LEA EAX,[EBX + 0xfffd1370]
PUSH EAX
PUSH dword ptr [ESI]
CALL 0x00027240
POP EAX
PUSH dword ptr [ESI]
MOV ESI,0xffffffff
CALL 0x0002c0c0
ADD ESP,0x10
ADD ESP,0x1c
MOV EAX,ESI
POP EBX
POP ESI
POP EDI
POP EBP
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nint FUN_00064470(int *param_1)\n\n{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n  iVar1 = *param_1;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = DAT_000c5d34;\n  if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }\n  return iVar6;\n}\n\n" comment (function_definition "int FUN_00064470(int *param_1)\n\n{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n  iVar1 = *param_1;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = DAT_000c5d34;\n  if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }\n  return iVar6;\n}" primitive_type (function_declarator "FUN_00064470(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n  iVar1 = *param_1;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = DAT_000c5d34;\n  if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }\n  return iVar6;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (declaration "undefined4 uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "iVar1 = *param_1;" (assignment_expression "iVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "uVar2 = *(undefined4 *)(iVar1 + 8);" (assignment_expression "uVar2 = *(undefined4 *)(iVar1 + 8)" identifier = (pointer_expression "*(undefined4 *)(iVar1 + 8)" * (cast_expression "(undefined4 *)(iVar1 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 8)" ( (binary_expression "iVar1 + 8" identifier + number_literal) ))))) ;) (expression_statement "uVar3 = *(undefined4 *)(iVar1 + 0xc);" (assignment_expression "uVar3 = *(undefined4 *)(iVar1 + 0xc)" identifier = (pointer_expression "*(undefined4 *)(iVar1 + 0xc)" * (cast_expression "(undefined4 *)(iVar1 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0xc)" ( (binary_expression "iVar1 + 0xc" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = *(undefined4 *)(iVar1 + 0x20);" (assignment_expression "uVar4 = *(undefined4 *)(iVar1 + 0x20)" identifier = (pointer_expression "*(undefined4 *)(iVar1 + 0x20)" * (cast_expression "(undefined4 *)(iVar1 + 0x20)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0x20)" ( (binary_expression "iVar1 + 0x20" identifier + number_literal) ))))) ;) (expression_statement "iVar6 = DAT_000c5d34;" (assignment_expression "iVar6 = DAT_000c5d34" identifier = identifier) ;) (if_statement "if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }" if (parenthesized_expression "(DAT_000c5d34 != 0)" ( (binary_expression "DAT_000c5d34 != 0" identifier != number_literal) )) (compound_statement "{\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }" { (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" identifier = number_literal) ;) (while_statement "while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }" while (parenthesized_expression "(iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1)" ( (comma_expression "iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1" (assignment_expression "iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14)" identifier = (call_expression "EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14)" identifier (argument_list "(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14)" ( (pointer_expression "*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4)" * (cast_expression "(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0x104 + DAT_000c5448 * 4)" ( (binary_expression "iVar1 + 0x104 + DAT_000c5448 * 4" (binary_expression "iVar1 + 0x104" identifier + number_literal) + (binary_expression "DAT_000c5448 * 4" identifier * number_literal)) )))) , identifier , identifier , identifier , number_literal )))) , (binary_expression "iVar5 == 1" identifier == number_literal)) )) (compound_statement "{\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }" { (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }" if (parenthesized_expression "(DAT_000c5d34 == 0)" ( (binary_expression "DAT_000c5d34 == 0" identifier == number_literal) )) (compound_statement "{\n        return iVar6;\n      }" { (return_statement "return iVar6;" return identifier ;) })) (if_statement "if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }" if (parenthesized_expression "(iVar6 == 0x7fffffff)" ( (binary_expression "iVar6 == 0x7fffffff" identifier == number_literal) )) (compound_statement "{\n        return 0x7fffffff;\n      }" { (return_statement "return 0x7fffffff;" return number_literal ;) })) })) (expression_statement "BIO_printf(DAT_000c458c,"EdDSA verify failure\n");" (call_expression "BIO_printf(DAT_000c458c,"EdDSA verify failure\n")" identifier (argument_list "(DAT_000c458c,"EdDSA verify failure\n")" ( identifier , (string_literal ""EdDSA verify failure\n"" " string_content escape_sequence ") ))) ;) (expression_statement "iVar6 = -1;" (assignment_expression "iVar6 = -1" identifier = number_literal) ;) (expression_statement "ERR_print_errors(DAT_000c458c);" (call_expression "ERR_print_errors(DAT_000c458c)" identifier (argument_list "(DAT_000c458c)" ( identifier ))) ;) })) (return_statement "return iVar6;" return identifier ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\nint EdDSA_verify_loop(void *args)\n\n{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n                    /* WARNING: Load size is inaccurate */\n  iVar1 = *args;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = run;\n  if (run != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (run == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf((BIO *)bio_err,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors((BIO *)bio_err);\n  }\n  return iVar6;\n}\n\n" comment comment (function_definition "int EdDSA_verify_loop(void *args)\n\n{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n                    /* WARNING: Load size is inaccurate */\n  iVar1 = *args;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = run;\n  if (run != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (run == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf((BIO *)bio_err,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors((BIO *)bio_err);\n  }\n  return iVar6;\n}" primitive_type (function_declarator "EdDSA_verify_loop(void *args)" identifier (parameter_list "(void *args)" ( (parameter_declaration "void *args" primitive_type (pointer_declarator "*args" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n                    /* WARNING: Load size is inaccurate */\n  iVar1 = *args;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = run;\n  if (run != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (run == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf((BIO *)bio_err,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors((BIO *)bio_err);\n  }\n  return iVar6;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (declaration "undefined4 uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) comment (expression_statement "iVar1 = *args;" (assignment_expression "iVar1 = *args" identifier = (pointer_expression "*args" * identifier)) ;) (expression_statement "uVar2 = *(undefined4 *)(iVar1 + 8);" (assignment_expression "uVar2 = *(undefined4 *)(iVar1 + 8)" identifier = (pointer_expression "*(undefined4 *)(iVar1 + 8)" * (cast_expression "(undefined4 *)(iVar1 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 8)" ( (binary_expression "iVar1 + 8" identifier + number_literal) ))))) ;) (expression_statement "uVar3 = *(undefined4 *)(iVar1 + 0xc);" (assignment_expression "uVar3 = *(undefined4 *)(iVar1 + 0xc)" identifier = (pointer_expression "*(undefined4 *)(iVar1 + 0xc)" * (cast_expression "(undefined4 *)(iVar1 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0xc)" ( (binary_expression "iVar1 + 0xc" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = *(undefined4 *)(iVar1 + 0x20);" (assignment_expression "uVar4 = *(undefined4 *)(iVar1 + 0x20)" identifier = (pointer_expression "*(undefined4 *)(iVar1 + 0x20)" * (cast_expression "(undefined4 *)(iVar1 + 0x20)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0x20)" ( (binary_expression "iVar1 + 0x20" identifier + number_literal) ))))) ;) (expression_statement "iVar6 = run;" (assignment_expression "iVar6 = run" identifier = identifier) ;) (if_statement "if (run != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (run == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf((BIO *)bio_err,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors((BIO *)bio_err);\n  }" if (parenthesized_expression "(run != 0)" ( (binary_expression "run != 0" identifier != number_literal) )) (compound_statement "{\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (run == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf((BIO *)bio_err,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors((BIO *)bio_err);\n  }" { (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" identifier = number_literal) ;) (while_statement "while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (run == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }" while (parenthesized_expression "(iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14), iVar5 == 1)" ( (comma_expression "iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14), iVar5 == 1" (assignment_expression "iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14)" identifier = (call_expression "EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14)" identifier (argument_list "(*(undefined4 *)(iVar1 + 0x104 + testnum * 4),uVar3,uVar4,uVar2,\n                                    0x14)" ( (pointer_expression "*(undefined4 *)(iVar1 + 0x104 + testnum * 4)" * (cast_expression "(undefined4 *)(iVar1 + 0x104 + testnum * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0x104 + testnum * 4)" ( (binary_expression "iVar1 + 0x104 + testnum * 4" (binary_expression "iVar1 + 0x104" identifier + number_literal) + (binary_expression "testnum * 4" identifier * number_literal)) )))) , identifier , identifier , identifier , number_literal )))) , (binary_expression "iVar5 == 1" identifier == number_literal)) )) (compound_statement "{\n      iVar6 = iVar6 + 1;\n      if (run == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }" { (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (run == 0) {\n        return iVar6;\n      }" if (parenthesized_expression "(run == 0)" ( (binary_expression "run == 0" identifier == number_literal) )) (compound_statement "{\n        return iVar6;\n      }" { (return_statement "return iVar6;" return identifier ;) })) (if_statement "if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }" if (parenthesized_expression "(iVar6 == 0x7fffffff)" ( (binary_expression "iVar6 == 0x7fffffff" identifier == number_literal) )) (compound_statement "{\n        return 0x7fffffff;\n      }" { (return_statement "return 0x7fffffff;" return number_literal ;) })) })) (expression_statement "BIO_printf((BIO *)bio_err,"EdDSA verify failure\n");" (call_expression "BIO_printf((BIO *)bio_err,"EdDSA verify failure\n")" identifier (argument_list "((BIO *)bio_err,"EdDSA verify failure\n")" ( (cast_expression "(BIO *)bio_err" ( (type_descriptor "BIO *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) , (string_literal ""EdDSA verify failure\n"" " string_content escape_sequence ") ))) ;) (expression_statement "iVar6 = -1;" (assignment_expression "iVar6 = -1" identifier = number_literal) ;) (expression_statement "ERR_print_errors((BIO *)bio_err);" (call_expression "ERR_print_errors((BIO *)bio_err)" identifier (argument_list "((BIO *)bio_err)" ( (cast_expression "(BIO *)bio_err" ( (type_descriptor "BIO *" type_identifier (abstract_pointer_declarator "*" *)) ) identifier) ))) ;) })) (return_statement "return iVar6;" return identifier ;) })))
(translation_unit "int FUN_00064470(int *param_1)\n\n{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n  iVar1 = *param_1;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = DAT_000c5d34;\n  if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }\n  return iVar6;\n}\n\n" (function_definition "int FUN_00064470(int *param_1)\n\n{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n  iVar1 = *param_1;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = DAT_000c5d34;\n  if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }\n  return iVar6;\n}" primitive_type (function_declarator "FUN_00064470(int *param_1)" identifier (parameter_list "(int *param_1)" ( (parameter_declaration "int *param_1" primitive_type (pointer_declarator "*param_1" * identifier)) ))) (compound_statement "{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n  iVar1 = *param_1;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = DAT_000c5d34;\n  if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }\n  return iVar6;\n}" { (declaration "int iVar1;" primitive_type identifier ;) (declaration "undefined4 uVar2;" type_identifier identifier ;) (declaration "undefined4 uVar3;" type_identifier identifier ;) (declaration "undefined4 uVar4;" type_identifier identifier ;) (declaration "int iVar5;" primitive_type identifier ;) (declaration "int iVar6;" primitive_type identifier ;) (expression_statement "iVar1 = *param_1;" (assignment_expression "iVar1 = *param_1" identifier = (pointer_expression "*param_1" * identifier)) ;) (expression_statement "uVar2 = *(undefined4 *)(iVar1 + 8);" (assignment_expression "uVar2 = *(undefined4 *)(iVar1 + 8)" identifier = (pointer_expression "*(undefined4 *)(iVar1 + 8)" * (cast_expression "(undefined4 *)(iVar1 + 8)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 8)" ( (binary_expression "iVar1 + 8" identifier + number_literal) ))))) ;) (expression_statement "uVar3 = *(undefined4 *)(iVar1 + 0xc);" (assignment_expression "uVar3 = *(undefined4 *)(iVar1 + 0xc)" identifier = (pointer_expression "*(undefined4 *)(iVar1 + 0xc)" * (cast_expression "(undefined4 *)(iVar1 + 0xc)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0xc)" ( (binary_expression "iVar1 + 0xc" identifier + number_literal) ))))) ;) (expression_statement "uVar4 = *(undefined4 *)(iVar1 + 0x20);" (assignment_expression "uVar4 = *(undefined4 *)(iVar1 + 0x20)" identifier = (pointer_expression "*(undefined4 *)(iVar1 + 0x20)" * (cast_expression "(undefined4 *)(iVar1 + 0x20)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0x20)" ( (binary_expression "iVar1 + 0x20" identifier + number_literal) ))))) ;) (expression_statement "iVar6 = DAT_000c5d34;" (assignment_expression "iVar6 = DAT_000c5d34" identifier = identifier) ;) (if_statement "if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }" if (parenthesized_expression "(DAT_000c5d34 != 0)" ( (binary_expression "DAT_000c5d34 != 0" identifier != number_literal) )) (compound_statement "{\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }" { (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" identifier = number_literal) ;) (while_statement "while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }" while (parenthesized_expression "(iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1)" ( (comma_expression "iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1" (assignment_expression "iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14)" identifier = (call_expression "EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14)" identifier (argument_list "(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14)" ( (pointer_expression "*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4)" * (cast_expression "(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4)" ( (type_descriptor "undefined4 *" type_identifier (abstract_pointer_declarator "*" *)) ) (parenthesized_expression "(iVar1 + 0x104 + DAT_000c5448 * 4)" ( (binary_expression "iVar1 + 0x104 + DAT_000c5448 * 4" (binary_expression "iVar1 + 0x104" identifier + number_literal) + (binary_expression "DAT_000c5448 * 4" identifier * number_literal)) )))) , identifier , identifier , identifier , number_literal )))) , (binary_expression "iVar5 == 1" identifier == number_literal)) )) (compound_statement "{\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }" { (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" identifier = (binary_expression "iVar6 + 1" identifier + number_literal)) ;) (if_statement "if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }" if (parenthesized_expression "(DAT_000c5d34 == 0)" ( (binary_expression "DAT_000c5d34 == 0" identifier == number_literal) )) (compound_statement "{\n        return iVar6;\n      }" { (return_statement "return iVar6;" return identifier ;) })) (if_statement "if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }" if (parenthesized_expression "(iVar6 == 0x7fffffff)" ( (binary_expression "iVar6 == 0x7fffffff" identifier == number_literal) )) (compound_statement "{\n        return 0x7fffffff;\n      }" { (return_statement "return 0x7fffffff;" return number_literal ;) })) })) (expression_statement "BIO_printf(DAT_000c458c,"EdDSA verify failure\n");" (call_expression "BIO_printf(DAT_000c458c,"EdDSA verify failure\n")" identifier (argument_list "(DAT_000c458c,"EdDSA verify failure\n")" ( identifier , (string_literal ""EdDSA verify failure\n"" " string_content escape_sequence ") ))) ;) (expression_statement "iVar6 = -1;" (assignment_expression "iVar6 = -1" identifier = number_literal) ;) (expression_statement "ERR_print_errors(DAT_000c458c);" (call_expression "ERR_print_errors(DAT_000c458c)" identifier (argument_list "(DAT_000c458c)" ( identifier ))) ;) })) (return_statement "return iVar6;" return identifier ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE (pointer_declarator * IDENT)) ))) (compound_statement { (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (declaration TYPE IDENT ;) (expression_statement (assignment_expression IDENT = (pointer_expression * IDENT)) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression IDENT + LIT) ))))) ;) (expression_statement (assignment_expression IDENT = IDENT) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (expression_statement (assignment_expression IDENT = LIT) ;) (while_statement while (parenthesized_expression ( (comma_expression (assignment_expression IDENT = (call_expression IDENT (argument_list ( (pointer_expression * (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (parenthesized_expression ( (binary_expression (binary_expression IDENT + LIT) + (binary_expression IDENT * LIT)) )))) , IDENT , IDENT , IDENT , LIT )))) , (binary_expression IDENT == LIT)) )) (compound_statement { (expression_statement (assignment_expression IDENT = (binary_expression IDENT + LIT)) ;) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return IDENT ;) })) (if_statement if (parenthesized_expression ( (binary_expression IDENT == LIT) )) (compound_statement { (return_statement return LIT ;) })) })) (expression_statement (call_expression IDENT (argument_list ( IDENT , (string_literal " string_content escape_sequence ") ))) ;) (expression_statement (assignment_expression IDENT = LIT) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) })) (return_statement return IDENT ;) })))
(function_definition "int FUN_00064470(int *param_1)\n\n{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n  iVar1 = *param_1;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = DAT_000c5d34;\n  if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }\n  return iVar6;\n}" (primitive_type "int") (function_declarator "FUN_00064470(int *param_1)" (identifier "FUN_00064470") (parameter_list "(int *param_1)" (( "(") (parameter_declaration "int *param_1" (primitive_type "int") (pointer_declarator "*param_1" (* "*") (identifier "param_1"))) () ")"))) (compound_statement "{\n  int iVar1;\n  undefined4 uVar2;\n  undefined4 uVar3;\n  undefined4 uVar4;\n  int iVar5;\n  int iVar6;\n  \n  iVar1 = *param_1;\n  uVar2 = *(undefined4 *)(iVar1 + 8);\n  uVar3 = *(undefined4 *)(iVar1 + 0xc);\n  uVar4 = *(undefined4 *)(iVar1 + 0x20);\n  iVar6 = DAT_000c5d34;\n  if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }\n  return iVar6;\n}" ({ "{") (declaration "int iVar1;" (primitive_type "int") (identifier "iVar1") (; ";")) (declaration "undefined4 uVar2;" (type_identifier "undefined4") (identifier "uVar2") (; ";")) (declaration "undefined4 uVar3;" (type_identifier "undefined4") (identifier "uVar3") (; ";")) (declaration "undefined4 uVar4;" (type_identifier "undefined4") (identifier "uVar4") (; ";")) (declaration "int iVar5;" (primitive_type "int") (identifier "iVar5") (; ";")) (declaration "int iVar6;" (primitive_type "int") (identifier "iVar6") (; ";")) (expression_statement "iVar1 = *param_1;" (assignment_expression "iVar1 = *param_1" (identifier "iVar1") (= "=") (pointer_expression "*param_1" (* "*") (identifier "param_1"))) (; ";")) (expression_statement "uVar2 = *(undefined4 *)(iVar1 + 8);" (assignment_expression "uVar2 = *(undefined4 *)(iVar1 + 8)" (identifier "uVar2") (= "=") (pointer_expression "*(undefined4 *)(iVar1 + 8)" (* "*") (cast_expression "(undefined4 *)(iVar1 + 8)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar1 + 8)" (( "(") (binary_expression "iVar1 + 8" (identifier "iVar1") (+ "+") (number_literal "8")) () ")"))))) (; ";")) (expression_statement "uVar3 = *(undefined4 *)(iVar1 + 0xc);" (assignment_expression "uVar3 = *(undefined4 *)(iVar1 + 0xc)" (identifier "uVar3") (= "=") (pointer_expression "*(undefined4 *)(iVar1 + 0xc)" (* "*") (cast_expression "(undefined4 *)(iVar1 + 0xc)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar1 + 0xc)" (( "(") (binary_expression "iVar1 + 0xc" (identifier "iVar1") (+ "+") (number_literal "0xc")) () ")"))))) (; ";")) (expression_statement "uVar4 = *(undefined4 *)(iVar1 + 0x20);" (assignment_expression "uVar4 = *(undefined4 *)(iVar1 + 0x20)" (identifier "uVar4") (= "=") (pointer_expression "*(undefined4 *)(iVar1 + 0x20)" (* "*") (cast_expression "(undefined4 *)(iVar1 + 0x20)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar1 + 0x20)" (( "(") (binary_expression "iVar1 + 0x20" (identifier "iVar1") (+ "+") (number_literal "0x20")) () ")"))))) (; ";")) (expression_statement "iVar6 = DAT_000c5d34;" (assignment_expression "iVar6 = DAT_000c5d34" (identifier "iVar6") (= "=") (identifier "DAT_000c5d34")) (; ";")) (if_statement "if (DAT_000c5d34 != 0) {\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }" (if "if") (parenthesized_expression "(DAT_000c5d34 != 0)" (( "(") (binary_expression "DAT_000c5d34 != 0" (identifier "DAT_000c5d34") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    iVar6 = 0;\n    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }\n    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");\n    iVar6 = -1;\n    ERR_print_errors(DAT_000c458c);\n  }" ({ "{") (expression_statement "iVar6 = 0;" (assignment_expression "iVar6 = 0" (identifier "iVar6") (= "=") (number_literal "0")) (; ";")) (while_statement "while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1) {\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }" (while "while") (parenthesized_expression "(iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1)" (( "(") (comma_expression "iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14), iVar5 == 1" (assignment_expression "iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14)" (identifier "iVar5") (= "=") (call_expression "EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14)" (identifier "EVP_DigestVerify") (argument_list "(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,\n                                    uVar2,0x14)" (( "(") (pointer_expression "*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4)" (* "*") (cast_expression "(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4)" (( "(") (type_descriptor "undefined4 *" (type_identifier "undefined4") (abstract_pointer_declarator "*" (* "*"))) () ")") (parenthesized_expression "(iVar1 + 0x104 + DAT_000c5448 * 4)" (( "(") (binary_expression "iVar1 + 0x104 + DAT_000c5448 * 4" (binary_expression "iVar1 + 0x104" (identifier "iVar1") (+ "+") (number_literal "0x104")) (+ "+") (binary_expression "DAT_000c5448 * 4" (identifier "DAT_000c5448") (* "*") (number_literal "4"))) () ")")))) (, ",") (identifier "uVar3") (, ",") (identifier "uVar4") (, ",") (identifier "uVar2") (, ",") (number_literal "0x14") () ")")))) (, ",") (binary_expression "iVar5 == 1" (identifier "iVar5") (== "==") (number_literal "1"))) () ")")) (compound_statement "{\n      iVar6 = iVar6 + 1;\n      if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }\n      if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }\n    }" ({ "{") (expression_statement "iVar6 = iVar6 + 1;" (assignment_expression "iVar6 = iVar6 + 1" (identifier "iVar6") (= "=") (binary_expression "iVar6 + 1" (identifier "iVar6") (+ "+") (number_literal "1"))) (; ";")) (if_statement "if (DAT_000c5d34 == 0) {\n        return iVar6;\n      }" (if "if") (parenthesized_expression "(DAT_000c5d34 == 0)" (( "(") (binary_expression "DAT_000c5d34 == 0" (identifier "DAT_000c5d34") (== "==") (number_literal "0")) () ")")) (compound_statement "{\n        return iVar6;\n      }" ({ "{") (return_statement "return iVar6;" (return "return") (identifier "iVar6") (; ";")) (} "}"))) (if_statement "if (iVar6 == 0x7fffffff) {\n        return 0x7fffffff;\n      }" (if "if") (parenthesized_expression "(iVar6 == 0x7fffffff)" (( "(") (binary_expression "iVar6 == 0x7fffffff" (identifier "iVar6") (== "==") (number_literal "0x7fffffff")) () ")")) (compound_statement "{\n        return 0x7fffffff;\n      }" ({ "{") (return_statement "return 0x7fffffff;" (return "return") (number_literal "0x7fffffff") (; ";")) (} "}"))) (} "}"))) (expression_statement "BIO_printf(DAT_000c458c,"EdDSA verify failure\n");" (call_expression "BIO_printf(DAT_000c458c,"EdDSA verify failure\n")" (identifier "BIO_printf") (argument_list "(DAT_000c458c,"EdDSA verify failure\n")" (( "(") (identifier "DAT_000c458c") (, ",") (string_literal ""EdDSA verify failure\n"" (" """) (string_content "EdDSA verify failure") (escape_sequence "\n") (" """)) () ")"))) (; ";")) (expression_statement "iVar6 = -1;" (assignment_expression "iVar6 = -1" (identifier "iVar6") (= "=") (number_literal "-1")) (; ";")) (expression_statement "ERR_print_errors(DAT_000c458c);" (call_expression "ERR_print_errors(DAT_000c458c)" (identifier "ERR_print_errors") (argument_list "(DAT_000c458c)" (( "(") (identifier "DAT_000c458c") () ")"))) (; ";")) (} "}"))) (return_statement "return iVar6;" (return "return") (identifier "iVar6") (; ";")) (} "}")))

/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */
/* WARNING: Unknown calling convention */

int function_1(void *args)

{
  int var_1;
  type_1 uVar2;
  type_1 uVar3;
  type_1 uVar4;
  int var_5;
  int var_6;
  
                    /* WARNING: Load size is inaccurate */
  var_1 = *args;
  uVar2 = *(type_1 *)(var_1 + 8);
  uVar3 = *(type_1 *)(var_1 + 0xc);
  uVar4 = *(type_1 *)(var_1 + 0x20);
  var_6 = var_2;
  if (var_2 != 0) {
    var_6 = 0;
    while (var_5 = var_3(*(type_1 *)(var_1 + 0x104 + var_4 * 4),uVar3,uVar4,uVar2,
                                    0x14), var_5 == 1) {
      var_6 = var_6 + 1;
      if (var_2 == 0) {
        return var_6;
      }
      if (var_6 == 0x7fffffff) {
        return 0x7fffffff;
      }
    }
    var_7((type_2 *)bio_err,"EdDSA verify failure\n");
    var_6 = -1;
    var_8((type_2 *)bio_err);
  }
  return var_6;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))))) body: (compound_statement (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (type_identifier) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (declaration type: (primitive_type) declarator: (identifier)) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (identifier)))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))))))) (expression_statement (assignment_expression left: (identifier) right: (identifier))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (while_statement condition: (parenthesized_expression (comma_expression left: (assignment_expression left: (identifier) right: (call_expression function: (identifier) arguments: (argument_list (pointer_expression argument: (cast_expression type: (type_descriptor type: (type_identifier) declarator: (abstract_pointer_declarator)) value: (parenthesized_expression (binary_expression left: (binary_expression left: (identifier) right: (number_literal)) right: (binary_expression left: (identifier) right: (number_literal)))))) (identifier) (identifier) (identifier) (number_literal)))) right: (binary_expression left: (identifier) right: (number_literal)))) body: (compound_statement (expression_statement (assignment_expression left: (identifier) right: (binary_expression left: (identifier) right: (number_literal)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (identifier)))) (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement (number_literal)))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier) (string_literal (string_content) (escape_sequence))))) (expression_statement (assignment_expression left: (identifier) right: (number_literal))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier)))))) (return_statement (identifier)))))

/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */

int MASKED(int *param_1)

{
  int iVar1;
  undefined4 uVar2;
  undefined4 uVar3;
  undefined4 uVar4;
  int iVar5;
  int iVar6;
  
  iVar1 = *param_1;
  uVar2 = *(undefined4 *)(iVar1 + 8);
  uVar3 = *(undefined4 *)(iVar1 + 0xc);
  uVar4 = *(undefined4 *)(iVar1 + 0x20);
  iVar6 = DAT_000c5d34;
  if (DAT_000c5d34 != 0) {
    iVar6 = 0;
    while (iVar5 = EVP_DigestVerify(*(undefined4 *)(iVar1 + 0x104 + DAT_000c5448 * 4),uVar3,uVar4,
                                    uVar2,0x14), iVar5 == 1) {
      iVar6 = iVar6 + 1;
      if (DAT_000c5d34 == 0) {
        return iVar6;
      }
      if (iVar6 == 0x7fffffff) {
        return 0x7fffffff;
      }
    }
    BIO_printf(DAT_000c458c,"EdDSA verify failure\n");
    iVar6 = -1;
    ERR_print_errors(DAT_000c458c);
  }
  return iVar6;
}

