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

void print_archive_member_sysv(char *archive,char *filename)

{
  char *__format;
  
  __format = (char *)dcgettext(0,
                               "Name                  Value   Class        Type         Size     Line  Section\n\n"
                               ,5);
  printf(__format);
  return;
}



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

void FUN_000147e0(void)

{
  char *__format;
  
  __format = (char *)dcgettext(0,
                               "Name                  Value   Class        Type         Size     Line  Section\n\n"
                               ,5);
  printf(__format);
  return;
}


PUSH EBX
CALL 0x00012a60
ADD EBX,0x881a
SUB ESP,0xc
PUSH 0x5
LEA EAX,[EBX + 0xffffbc84]
PUSH EAX
PUSH 0x0
CALL 0x00012160
MOV dword ptr [ESP],EAX
CALL 0x00012080
ADD ESP,0x18
POP EBX
RET
(translation_unit "/* WARNING: Function: __i686.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid FUN_000147e0(void)\n\n{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}\n\n" comment (function_definition "void FUN_000147e0(void)\n\n{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}" primitive_type (function_declarator "FUN_000147e0(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}" { (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (expression_statement "__format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);" (assignment_expression "__format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" identifier = (cast_expression "(char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" identifier (argument_list "(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" ( number_literal , (string_literal ""Name                  Value   Class        Type         Size     Line  Section\n\n"" " string_content escape_sequence escape_sequence ") , number_literal ))))) ;) (expression_statement "printf(__format);" (call_expression "printf(__format)" identifier (argument_list "(__format)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "/* WARNING: Function: __x86.get_pc_thunk.bx replaced with injection: get_pc_thunk_bx */\n\nvoid print_archive_member_sysv(char *archive,char *filename)\n\n{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}\n\n" comment (function_definition "void print_archive_member_sysv(char *archive,char *filename)\n\n{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}" primitive_type (function_declarator "print_archive_member_sysv(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  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}" { (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (expression_statement "__format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);" (assignment_expression "__format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" identifier = (cast_expression "(char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" identifier (argument_list "(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" ( number_literal , (string_literal ""Name                  Value   Class        Type         Size     Line  Section\n\n"" " string_content escape_sequence escape_sequence ") , number_literal ))))) ;) (expression_statement "printf(__format);" (call_expression "printf(__format)" identifier (argument_list "(__format)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit "void FUN_000147e0(void)\n\n{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}\n\n" (function_definition "void FUN_000147e0(void)\n\n{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}" primitive_type (function_declarator "FUN_000147e0(void)" identifier (parameter_list "(void)" ( (parameter_declaration "void" primitive_type) ))) (compound_statement "{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}" { (declaration "char *__format;" primitive_type (pointer_declarator "*__format" * identifier) ;) (expression_statement "__format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);" (assignment_expression "__format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" identifier = (cast_expression "(char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" ( (type_descriptor "char *" primitive_type (abstract_pointer_declarator "*" *)) ) (call_expression "dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" identifier (argument_list "(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" ( number_literal , (string_literal ""Name                  Value   Class        Type         Size     Line  Section\n\n"" " string_content escape_sequence escape_sequence ") , number_literal ))))) ;) (expression_statement "printf(__format);" (call_expression "printf(__format)" identifier (argument_list "(__format)" ( identifier ))) ;) (return_statement "return;" return ;) })))
(translation_unit (function_definition TYPE (function_declarator IDENT (parameter_list ( (parameter_declaration TYPE) ))) (compound_statement { (declaration TYPE (pointer_declarator * IDENT) ;) (expression_statement (assignment_expression IDENT = (cast_expression ( (type_descriptor TYPE (abstract_pointer_declarator *)) ) (call_expression IDENT (argument_list ( LIT , (string_literal " string_content escape_sequence escape_sequence ") , LIT ))))) ;) (expression_statement (call_expression IDENT (argument_list ( IDENT ))) ;) (return_statement return ;) })))
(function_definition "void FUN_000147e0(void)\n\n{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}" (primitive_type "void") (function_declarator "FUN_000147e0(void)" (identifier "FUN_000147e0") (parameter_list "(void)" (( "(") (parameter_declaration "void" (primitive_type "void")) () ")"))) (compound_statement "{\n  char *__format;\n  \n  __format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);\n  printf(__format);\n  return;\n}" ({ "{") (declaration "char *__format;" (primitive_type "char") (pointer_declarator "*__format" (* "*") (identifier "__format")) (; ";")) (expression_statement "__format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5);" (assignment_expression "__format = (char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" (identifier "__format") (= "=") (cast_expression "(char *)dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" (( "(") (type_descriptor "char *" (primitive_type "char") (abstract_pointer_declarator "*" (* "*"))) () ")") (call_expression "dcgettext(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" (identifier "dcgettext") (argument_list "(0,\n                               "Name                  Value   Class        Type         Size     Line  Section\n\n"\n                               ,5)" (( "(") (number_literal "0") (, ",") (string_literal ""Name                  Value   Class        Type         Size     Line  Section\n\n"" (" """) (string_content "Name                  Value   Class        Type         Size     Line  Section") (escape_sequence "\n") (escape_sequence "\n") (" """)) (, ",") (number_literal "5") () ")"))))) (; ";")) (expression_statement "printf(__format);" (call_expression "printf(__format)" (identifier "printf") (argument_list "(__format)" (( "(") (identifier "__format") () ")"))) (; ";")) (return_statement "return;" (return "return") (; ";")) (} "}")))

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

void function_1(char *archive,char *filename)

{
  char *__format;
  
  __format = (char *)var_1(0,
                               "Name                  Value   Class        Type         Size     Line  Section\n\n"
                               ,5);
  var_2(__format);
  return;
}


(translation_unit (function_definition type: (primitive_type) declarator: (function_declarator declarator: (identifier) parameters: (parameter_list (parameter_declaration type: (primitive_type)))) body: (compound_statement (declaration type: (primitive_type) declarator: (pointer_declarator declarator: (identifier))) (expression_statement (assignment_expression left: (identifier) right: (cast_expression type: (type_descriptor type: (primitive_type) declarator: (abstract_pointer_declarator)) value: (call_expression function: (identifier) arguments: (argument_list (number_literal) (string_literal (string_content) (escape_sequence) (escape_sequence)) (number_literal)))))) (expression_statement (call_expression function: (identifier) arguments: (argument_list (identifier)))) (return_statement))))

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

void MASKED(void)

{
  char *__format;
  
  __format = (char *)dcgettext(0,
                               "Name                  Value   Class        Type         Size     Line  Section\n\n"
                               ,5);
  printf(__format);
  return;
}

