{"name": "run_sort_test", "code": "const char * __fastcall run_sort_test ( unsigned int ( __fastcall * @@a1@@ ) ( _DWORD * , _QWORD ) , const char * @@a2@@ ) { int * v2 ; char * v3 ; const char * result ; int * v5 ; char * v6 ; int * v7 ; char * v8 ; _DWORD * @@v9@@ ; @@v9@@ = ( _DWORD * ) create_words ( ) ; if ( ( unsigned int ) is_sorted ( @@v9@@ ) ) { if ( * __errno_location ( ) ) { v2 = __errno_location ( ) ; v3 = strerror ( * v2 ) ; } else { v3 = String ; } fprintf ( stderr , String , String , Number L , String , v3 ) ; result = String ; } else { fprintf ( stderr , String , String , Number L , @@a2@@ ) ; if ( @@a1@@ ( @@v9@@ , testcmp ) ) { if ( * __errno_location ( ) ) { v5 = __errno_location ( ) ; v6 = strerror ( * v5 ) ; } else { v6 = String ; } fprintf ( stderr , String , String , Number L , String , v6 ) ; result = String ; } else if ( ( unsigned int ) is_sorted ( @@v9@@ ) ) { DArray_destroy ( @@v9@@ ) ; result = Number L ; } else { if ( * __errno_location ( ) ) { v7 = __errno_location ( ) ; v8 = strerror ( * v7 ) ; } else { v8 = String ; } fprintf ( stderr , String , String , Number L , String , v8 ) ; result = String ; } } return result ; }", "source": [{"n": "a1", "t": {"T": 9, "n": "unsigned int (__fastcall *)(_DWORD *, _QWORD)"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char"}, "location": "r64"}, {"n": "v9", "t": {"T": 3, "t": "_DWORD"}, "location": "s8"}]}
{"name": "testcmp", "code": "int __fastcall testcmp ( const char * * @@a1@@ , const char * * @@a2@@ ) { return strcmp ( * @@a1@@ , * @@a2@@ ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char *"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char *"}, "location": "r64"}]} {"name": "create_words", "code": "__int64 create_words ( ) { __int64 @@v1@@ [ Number ] ; int @@v2@@ ; __int64 @@v3@@ ; int @@i@@ ; @@v3@@ = DArray_create ( Number L , N ) ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v1@@ [ Number ] = ( __int64 ) String ; @@v2@@ = Number ; for ( @@i@@ = Number ; @@i@@ < N ; ++ @@i@@ ) { @@v2@@ = rand ( ) % Number ; DArray_push ( @@v3@@ , @@v1@@ [ @@v2@@ ] ) ; } return @@v3@@ ; }", "source": [{"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "v2", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v1", "t": {"T": 2, "n": 5, "s": 8, "t": "__int64"}, "location": "s64"}]} {"name": "is_sorted", "code": "__int64 __fastcall is_sorted ( _DWORD * @@a1@@ ) { const char * @@v1@@ ; const char * @@v2@@ ; int @@i@@ ; for ( @@i@@ = Number ; @@i@@ < * @@a1@@ - Number ; ++ @@i@@ ) { @@v1@@ = ( const char * ) DArray_get ( ( __int64 ) @@a1@@ , @@i@@ + Number ) ; @@v2@@ = ( const char * ) DArray_get ( ( __int64 ) @@a1@@ , @@i@@ ) ; if ( strcmp ( @@v2@@ , @@v1@@ ) > Number ) return Number L ; } return Number L ; }", "source": [{"n": "v1", "t": {"T": 3, "t": "const char"}, "location": "r32"}, {"n": "a1", "t": {"T": 3, "t": "_DWORD"}, "location": "r56"}, {"n": "v2", "t": {"T": 3, "t": "const char"}, "location": "r8"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}]} {"name": "DArray_destroy", "code": "void __fastcall DArray_destroy ( void * * @@a1@@ ) { int * v1 ; char * v2 ; if ( @@a1@@ ) { if ( @@a1@@ [ Number ] ) free ( @@a1@@ [ Number ] ) ; free ( @@a1@@ ) ; } else { if ( * __errno_location ( ) ) { v1 = __errno_location ( ) ; v2 = strerror ( * v1 ) ; } else { v2 = String ; } fprintf ( stderr , String , String , Number L , String , v2 ) ; * __errno_location ( ) = Number ; } }", "source": [{"n": "a1", "t": {"T": 3, "t": "void *"}, "location": "r56"}]}