{"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": "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"}]}