{"name": "tests_check_fragment_file_fd", "code": "ssize_t __fastcall tests_check_fragment_file_fd ( unsigned int @@a1@@ , int @@a2@@ ) { __off_t v2 ; ssize_t result ; char @@v4@@ ; int v5 ; char @@buf@@ [ Number ] ; ssize_t @@v7@@ ; int @@v8@@ ; __int64 @@v9@@ ; ssize_t @@i@@ ; v2 = lseek ( @@a2@@ , Number L , Number ) ; tests_test ( v2 == Number , String , String , Number ) ; srand ( @@a1@@ ) ; @@v9@@ = Number ; @@v8@@ = Number ; while ( Number ) { result = read ( @@a2@@ , @@buf@@ , Number ) ; @@v7@@ = result ; if ( ! result ) break ; tests_test ( @@v7@@ >= Number , String , String , Number ) ; for ( @@i@@ = Number L ; @@i@@ < @@v7@@ ; ++ @@i@@ ) { @@v4@@ = @@buf@@ [ @@i@@ ] ; v5 = rand ( ) ; tests_test ( @@v4@@ == ( char ) ( v5 / @@v8@@ ) , String , String , Number ) ; } } return result ; }", "source": [{"n": "v4", "t": {"T": 1, "n": "char", "s": 1}, "location": "r32"}, {"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r64"}, {"n": "i", "t": {"T": 1, "n": "ssize_t", "s": 8}, "location": "s24"}, {"n": "v9", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v8", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "v7", "t": {"T": 1, "n": "ssize_t", "s": 8}, "location": "s48"}, {"n": "buf", "t": {"T": 2, "n": 8192, "s": 1, "t": "char"}, "location": "s8240"}]}
{"name": "tests_test", "code": "void __fastcall tests_test ( int @@a1@@ , const char * @@a2@@ , const char * @@a3@@ , unsigned int @@a4@@ ) { char * v4 ; char * v5 ; time_t @@timer@@ ; int @@errnum@@ ; if ( ! @@a1@@ ) { @@errnum@@ = * __errno_location ( ) ; time ( & @@timer@@ ) ; v4 = ctime ( & @@timer@@ ) ; fprintf ( stderr , String , program_name , v4 , @@a2@@ , @@a3@@ , @@a4@@ ) ; if ( @@errnum@@ ) { fprintf ( stderr , String , ( unsigned int ) @@errnum@@ ) ; v5 = strerror ( @@errnum@@ ) ; fprintf ( stderr , String , v5 ) ; } exit ( Number ) ; } }", "source": [{"n": "a3", "t": {"T": 3, "t": "const char"}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r24"}, {"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char"}, "location": "r64"}, {"n": "timer", "t": {"T": 1, "n": "time_t", "s": 8}, "location": "s16"}, {"n": "errnum", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]} {"name": "tests_check_fragment_file", "code": "void __fastcall tests_check_fragment_file ( unsigned int @@a1@@ ) { char @@v1@@ ; int v2 ; int v3 ; char @@buf@@ [ Number ] ; char @@s@@ [ Number ] ; ssize_t @@v6@@ ; int @@v7@@ ; __int64 @@v8@@ ; int @@fd@@ ; ssize_t @@i@@ ; sprintf ( @@s@@ , String , @@a1@@ ) ; @@fd@@ = open ( @@s@@ , Number ) ; tests_test ( @@fd@@ != Number , String , String , Number ) ; srand ( @@a1@@ ) ; @@v8@@ = Number ; @@v7@@ = Number ; while ( Number ) { @@v6@@ = read ( @@fd@@ , @@buf@@ , Number ) ; if ( ! @@v6@@ ) break ; tests_test ( @@v6@@ >= Number , String , String , Number ) ; for ( @@i@@ = Number L ; @@i@@ < @@v6@@ ; ++ @@i@@ ) { @@v1@@ = @@buf@@ [ @@i@@ ] ; v2 = rand ( ) ; tests_test ( @@v1@@ == ( char ) ( v2 / @@v7@@ ) , String , String , Number ) ; } } v3 = close ( @@fd@@ ) ; tests_test ( v3 != Number , String , String , Number ) ; }", "source": [{"n": "v1", "t": {"T": 1, "n": "char", "s": 1}, "location": "r32"}, {"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "i", "t": {"T": 1, "n": "ssize_t", "s": 8}, "location": "s24"}, {"n": "fd", "t": {"T": 1, "n": "int", "s": 4}, "location": "s28"}, {"n": "s", "t": {"T": 2, "n": 264, "s": 1, "t": "char"}, "location": "s320"}, {"n": "v8", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s40"}, {"n": "v7", "t": {"T": 1, "n": "int", "s": 4}, "location": "s44"}, {"n": "v6", "t": {"T": 1, "n": "ssize_t", "s": 8}, "location": "s56"}, {"n": "buf", "t": {"T": 2, "n": 8192, "s": 1, "t": "char"}, "location": "s8512"}]}