{"name": "main", "code": "int __cdecl main ( int @@argc@@ , const char * * @@argv@@ , const char * * @@envp@@ ) { int @@v3@@ ; unsigned int @@v5@@ ; if ( @@argc@@ <= Number ) @@v3@@ = Number ; else @@v3@@ = atoi ( @@argv@@ [ Number ] ) ; @@v5@@ = @@v3@@ ; if ( @@v3@@ ) fprintf ( stdout , String , * @@argv@@ ) ; return tst_iswupper ( stdout , @@v5@@ ) != Number ; }", "source": [{"n": "envp", "t": {"T": 3, "t": "const char *"}, "location": "r16"}, {"n": "argc", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "argv", "t": {"T": 3, "t": "const char *"}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v5", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s4"}]}
{"name": "tst_iswupper", "code": "__int64 __fastcall tst_iswupper ( FILE * @@a1@@ , int @@a2@@ ) { unsigned int @@v3@@ ; int @@v4@@ ; int @@v5@@ ; int @@v6@@ ; char * @@locale@@ ; unsigned int @@v8@@ ; int @@j@@ ; int @@i@@ ; @@v8@@ = Number ; for ( @@i@@ = Number ; strcmp ( * ( ( const char * * ) & tst_iswupper_loc + Number * @@i@@ + Number ) , String ) ; ++ @@i@@ ) { @@locale@@ = ( char * ) * ( ( _QWORD * ) & tst_iswupper_loc + Number * @@i@@ + Number ) ; if ( setlocale ( Number , @@locale@@ ) ) { for ( @@j@@ = Number ; ! * ( ( _DWORD * ) & tst_iswupper_loc + Number * @@i@@ + Number * @@j@@ + Number ) ; ++ @@j@@ ) { @@v6@@ = * ( ( _DWORD * ) & tst_iswupper_loc + Number * @@i@@ + Number * @@j@@ + Number ) ; @@v5@@ = * ( ( _DWORD * ) & tst_iswupper_loc + Number * @@i@@ + Number * @@j@@ + Number ) ; @@v4@@ = * ( ( _DWORD * ) & tst_iswupper_loc + Number * @@i@@ + Number * @@j@@ + Number ) ; @@v3@@ = iswupper ( * ( ( _DWORD * ) & tst_iswupper_loc + Number * @@i@@ + Number * @@j@@ + Number ) ) ; if ( @@a2@@ ) fprintf ( stdout , String , @@locale@@ , ( unsigned int ) ( @@j@@ + Number ) , @@v3@@ ) ; if ( @@v6@@ ) { ++ @@v8@@ ; result ( @@a1@@ , Number , String , @@locale@@ , @@j@@ + Number , Number , Number , String ) ; } if ( @@v5@@ == Number ) { if ( @@v3@@ == @@v4@@ ) { result ( @@a1@@ , Number , String , @@locale@@ , @@j@@ + Number , Number , Number , String ) ; } else { ++ @@v8@@ ; result ( @@a1@@ , Number , String , @@locale@@ , @@j@@ + Number , Number , Number , String ) ; } } else if ( @@v3@@ ) { result ( @@a1@@ , Number , String , @@locale@@ , @@j@@ + Number , Number , Number , String ) ; } else { ++ @@v8@@ ; result ( @@a1@@ , Number , String , @@locale@@ , @@j@@ + Number , Number , Number , String ) ; } } } else { fprintf ( stderr , String , @@locale@@ ) ; result ( @@a1@@ , Number , String , @@locale@@ , Number , Number , Number , String ) ; ++ @@v8@@ ; } } return @@v8@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "FILE"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "v8", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s12"}, {"n": "locale", "t": {"T": 3, "t": "char"}, "location": "s32"}, {"n": "v6", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v5", "t": {"T": 1, "n": "int", "s": 4}, "location": "s40"}, {"n": "v4", "t": {"T": 1, "n": "int", "s": 4}, "location": "s44"}, {"n": "v3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s52"}, {"n": "j", "t": {"T": 1, "n": "int", "s": 4}, "location": "s8"}]}