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

void print_archive_member_bsd(char *archive,char *filename)

{
  if (filename_per_symbol != 0) {
    return;
  }
  printf("\n%s:\n",filename);
  return;
}



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

void FUN_00012bf0(undefined4 param_1,undefined4 param_2)

{
  if (DAT_0001d3e0 != 0) {
    return;
  }
  printf("\n%s:\n",param_2);
  return;
}


PUSH EBX
CALL 0x00012a60
ADD EBX,0xa40a
SUB ESP,0x8
MOV EAX,dword ptr [EBX + 0x3e0]
TEST EAX,EAX
JZ 0x00012c10
ADD ESP,0x8
POP EBX
RET
SUB ESP,0x8
LEA EAX,[EBX + 0xffffb011]
PUSH dword ptr [ESP + 0x1c]
PUSH EAX
CALL 0x00012080
ADD ESP,0x10
ADD ESP,0x8
POP EBX
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid FUN_00012bf0(undefined4 param_1,undefined4 param_2)\n\n{\n  if (DAT_0001d3e0 != 0) {\n    return;\n  }\n  printf("\n%s:\n",param_2);\n  return;\n}\n\n" comment (function_definition "void FUN_00012bf0(undefined4 param_1,undefined4 param_2)\n\n{\n  if (DAT_0001d3e0 != 0) {\n    return;\n  }\n  printf("\n%s:\n",param_2);\n  return;\n}" primitive_type (function_declarator "FUN_00012bf0(undefined4 param_1,undefined4 param_2)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) ))) (compound_statement "{\n  if (DAT_0001d3e0 != 0) {\n    return;\n  }\n  printf("\n%s:\n",param_2);\n  return;\n}" { (if_statement "if (DAT_0001d3e0 != 0) {\n    return;\n  }" if (parenthesized_expression "(DAT_0001d3e0 != 0)" ( (binary_expression "DAT_0001d3e0 != 0" identifier != number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (expression_statement "printf("\n%s:\n",param_2);" (call_expression "printf("\n%s:\n",param_2)" identifier (argument_list "("\n%s:\n",param_2)" ( (string_literal ""\n%s:\n"" " escape_sequence string_content escape_sequence ") , identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n/* WARNING: Unknown calling convention */\n\nvoid print_archive_member_bsd(char *archive,char *filename)\n\n{\n  if (filename_per_symbol != 0) {\n    return;\n  }\n  printf("\n%s:\n",filename);\n  return;\n}\n\n" comment comment (function_definition "void print_archive_member_bsd(char *archive,char *filename)\n\n{\n  if (filename_per_symbol != 0) {\n    return;\n  }\n  printf("\n%s:\n",filename);\n  return;\n}" primitive_type (function_declarator "print_archive_member_bsd(char *archive,char *filename)" identifier (parameter_list "(char *archive,char *filename)" ( (parameter_declaration "char *archive" primitive_type (pointer_declarator "*archive" * identifier)) , (parameter_declaration "char *filename" primitive_type (pointer_declarator "*filename" * identifier)) ))) (compound_statement "{\n  if (filename_per_symbol != 0) {\n    return;\n  }\n  printf("\n%s:\n",filename);\n  return;\n}" { (if_statement "if (filename_per_symbol != 0) {\n    return;\n  }" if (parenthesized_expression "(filename_per_symbol != 0)" ( (binary_expression "filename_per_symbol != 0" identifier != number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (expression_statement "printf("\n%s:\n",filename);" (call_expression "printf("\n%s:\n",filename)" identifier (argument_list "("\n%s:\n",filename)" ( (string_literal ""\n%s:\n"" " escape_sequence string_content escape_sequence ") , identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_00012bf0(undefined4 param_1,undefined4 param_2)\n\n{\n  if (DAT_0001d3e0 != 0) {\n    return;\n  }\n  printf("\n%s:\n",param_2);\n  return;\n}\n\n" (function_definition "void FUN_00012bf0(undefined4 param_1,undefined4 param_2)\n\n{\n  if (DAT_0001d3e0 != 0) {\n    return;\n  }\n  printf("\n%s:\n",param_2);\n  return;\n}" primitive_type (function_declarator "FUN_00012bf0(undefined4 param_1,undefined4 param_2)" identifier (parameter_list "(undefined4 param_1,undefined4 param_2)" ( (parameter_declaration "undefined4 param_1" type_identifier identifier) , (parameter_declaration "undefined4 param_2" type_identifier identifier) ))) (compound_statement "{\n  if (DAT_0001d3e0 != 0) {\n    return;\n  }\n  printf("\n%s:\n",param_2);\n  return;\n}" { (if_statement "if (DAT_0001d3e0 != 0) {\n    return;\n  }" if (parenthesized_expression "(DAT_0001d3e0 != 0)" ( (binary_expression "DAT_0001d3e0 != 0" identifier != number_literal) )) (compound_statement "{\n    return;\n  }" { (return_statement "return;" return ;) })) (expression_statement "printf("\n%s:\n",param_2);" (call_expression "printf("\n%s:\n",param_2)" identifier (argument_list "("\n%s:\n",param_2)" ( (string_literal ""\n%s:\n"" " escape_sequence string_content escape_sequence ") , identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE IDENT) , (parameter_declaration TYPE IDENT) ))) (compound_statement { (if_statement if (parenthesized_expression ( (binary_expression IDENT != LIT) )) (compound_statement { (return_statement return ;) })) (expression_statement (call_expression IDENT (argument_list ( (string_literal " escape_sequence string_content escape_sequence ") , IDENT ))) ;) (return_statement return ;) })))
(function_definition "void FUN_00012bf0(undefined4 param_1,undefined4 param_2)\n\n{\n  if (DAT_0001d3e0 != 0) {\n    return;\n  }\n  printf("\n%s:\n",param_2);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_00012bf0(undefined4 param_1,undefined4 param_2)" (identifier "FUN_00012bf0") (parameter_list "(undefined4 param_1,undefined4 param_2)" (( "(") (parameter_declaration "undefined4 param_1" (type_identifier "undefined4") (identifier "param_1")) (, ",") (parameter_declaration "undefined4 param_2" (type_identifier "undefined4") (identifier "param_2")) () ")"))) (compound_statement "{\n  if (DAT_0001d3e0 != 0) {\n    return;\n  }\n  printf("\n%s:\n",param_2);\n  return;\n}" ({ "{") (if_statement "if (DAT_0001d3e0 != 0) {\n    return;\n  }" (if "if") (parenthesized_expression "(DAT_0001d3e0 != 0)" (( "(") (binary_expression "DAT_0001d3e0 != 0" (identifier "DAT_0001d3e0") (!= "!=") (number_literal "0")) () ")")) (compound_statement "{\n    return;\n  }" ({ "{") (return_statement "return;" (return "return") (; ";")) (} "}"))) (expression_statement "printf("\n%s:\n",param_2);" (call_expression "printf("\n%s:\n",param_2)" (identifier "printf") (argument_list "("\n%s:\n",param_2)" (( "(") (string_literal ""\n%s:\n"" (" """) (escape_sequence "\n") (string_content "%s:") (escape_sequence "\n") (" """)) (, ",") (identifier "param_2") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

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

void function_1(char *archive,char *filename)

{
  if (var_1 != 0) {
    return;
  }
  var_2("\n%s:\n",filename);
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (type_identifier) declarator: (identifier)) (parameter_declaration type: (type_identifier) declarator: (identifier)))) body: (compound_statement (if_statement condition: (parenthesized_expression (binary_expression left: (identifier) right: (number_literal))) consequence: (compound_statement (return_statement))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (string_literal (escape_sequence) (string_content) (escape_sequence)) (identifier)))) (return_statement))))

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

void MASKED(undefined4 param_1,undefined4 param_2)

{
  if (DAT_0001d3e0 != 0) {
    return;
  }
  printf("\n%s:\n",param_2);
  return;
}

