{"name": "tests_check_filled_file_fd", "code": "void __fastcall tests_check_filled_file_fd ( int @@a1@@ ) { __off_t v1 ; int v2 ; char @@buf@@ [ Number ] ; size_t @@n@@ ; v1 = lseek ( @@a1@@ , Number L , Number ) ; tests_test ( v1 == Number , String , String , Number ) ; do { @@n@@ = read ( @@a1@@ , @@buf@@ , Number ) ; tests_test ( ( @@n@@ & Number ) == Number L , String , String , Number ) ; v2 = memcmp ( @@buf@@ , write_buffer , @@n@@ ) ; tests_test ( v2 == Number , String , String , Number ) ; } while ( @@n@@ ) ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "buf", "t": {"T": 2, "n": 32776, "s": 1, "t": "char"}, "location": "s32784"}, {"n": "n", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s8"}]}
{"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_filled_file", "code": "void __fastcall tests_check_filled_file ( const char * @@a1@@ ) { int @@v1@@ ; int @@fd@@ ; @@fd@@ = open ( @@a1@@ , Number ) ; tests_test ( @@fd@@ != Number , String , String , Number ) ; tests_check_filled_file_fd ( @@fd@@ ) ; @@v1@@ = close ( @@fd@@ ) ; tests_test ( @@v1@@ != Number , String , String , Number ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "fd", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]}