{"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": "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": "test_darray_sort_add_and_darray_find", "code": "const char * test_darray_sort_add_and_darray_find ( ) { int * v0 ; char * v1 ; const char * result ; int * v3 ; char * v4 ; int * v5 ; char * v6 ; int * v7 ; char * v8 ; int @@v9@@ ; int * @@v10@@ ; @@v10@@ = ( int * ) create_words ( ) ; @@v9@@ = * @@v10@@ ; if ( ( unsigned int ) DArray_sort_add ( @@v10@@ , testcmp , String ) ) { if ( * __errno_location ( ) ) { v0 = __errno_location ( ) ; v1 = strerror ( * v0 ) ; } else { v1 = String ; } fprintf ( stderr , String , String , Number L , String , v1 ) ; result = String ; } else if ( @@v9@@ + Number == * @@v10@@ ) { if ( ( unsigned int ) is_sorted ( @@v10@@ ) ) { if ( ( unsigned int ) DArray_find ( @@v10@@ , testcmp , String ) == * @@v10@@ - Number ) { DArray_destroy ( @@v10@@ ) ; 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 ; } } else { if ( * __errno_location ( ) ) { v5 = __errno_location ( ) ; v6 = strerror ( * v5 ) ; } else { v6 = String ; } fprintf ( stderr , String , String , Number L , String , v6 ) ; result = String ; } } else { if ( * __errno_location ( ) ) { v3 = __errno_location ( ) ; v4 = strerror ( * v3 ) ; } else { v4 = String ; } fprintf ( stderr , String , String , Number L , String , v4 ) ; result = String ; } return result ; }", "source": [{"n": "v9", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v10", "t": {"T": 3, "t": "int"}, "location": "s8"}]} {"name": "DArray_create", "code": "_DWORD * __fastcall DArray_create ( __int64 @@a1@@ , size_t @@a2@@ ) { int * v2 ; char * v3 ; int * v4 ; char * v5 ; int * v6 ; char * v7 ; _DWORD * @@ptr@@ ; @@ptr@@ = malloc ( Number ) ; if ( @@ptr@@ ) { @@ptr@@ [ Number ] = @@a2@@ ; if ( ( int ) @@ptr@@ [ Number ] > Number ) { * ( ( _QWORD * ) @@ptr@@ + Number ) = calloc ( @@a2@@ , Number ) ; if ( * ( ( _QWORD * ) @@ptr@@ + Number ) ) { * @@ptr@@ = Number ; * ( ( _QWORD * ) @@ptr@@ + Number ) = @@a1@@ ; * ( ( _QWORD * ) @@ptr@@ + Number ) = Number L ; return @@ptr@@ ; } if ( * __errno_location ( ) ) { v6 = __errno_location ( ) ; v7 = strerror ( * v6 ) ; } else { v7 = String ; } fprintf ( stderr , String , String , Number L , String , v7 ) ; * __errno_location ( ) = Number ; } else { if ( * __errno_location ( ) ) { v4 = __errno_location ( ) ; v5 = strerror ( * v4 ) ; } else { v5 = String ; } fprintf ( stderr , String , String , Number L , String , v5 ) ; * __errno_location ( ) = Number ; } } else { if ( * __errno_location ( ) ) { v2 = __errno_location ( ) ; v3 = strerror ( * v2 ) ; } else { v3 = String ; } fprintf ( stderr , String , String , Number L , String , v3 ) ; * __errno_location ( ) = Number ; } if ( @@ptr@@ ) free ( @@ptr@@ ) ; return Number L ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r64"}, {"n": "ptr", "t": {"T": 3, "t": "_DWORD"}, "location": "s8"}]} {"name": "DArray_push", "code": "__int64 __fastcall DArray_push ( __int64 @@a1@@ , __int64 @@a2@@ ) { int * v2 ; char * v3 ; __int64 result ; if ( @@a1@@ ) { * ( _QWORD * ) ( Number L * ( int ) ( * ( _DWORD * ) @@a1@@ ) ++ + * ( _QWORD * ) ( @@a1@@ + Number ) ) = @@a2@@ ; if ( * ( _DWORD * ) @@a1@@ < * ( _DWORD * ) ( @@a1@@ + Number ) ) result = Number L ; else result = DArray_expand ( @@a1@@ ) ; } else { if ( * __errno_location ( ) ) { v2 = __errno_location ( ) ; v3 = strerror ( * v2 ) ; } else { v3 = String ; } fprintf ( stderr , String , String , Number L , String , v3 ) ; * __errno_location ( ) = Number ; result = Number ; } return result ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}]}