{"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": "stress_1", "code": "__int64 stress_1 ( ) { int * v0 ; int v1 ; __int64 result ; int v3 ; char @@buf@@ [ Number ] ; char @@file@@ [ Number ] ; ssize_t @@v6@@ ; int @@fd@@ ; unsigned int @@seed@@ ; size_t @@n@@ ; __int64 @@j@@ ; int @@i@@ ; @@seed@@ = getpid ( ) ; tests_cat_pid ( @@file@@ , String , @@seed@@ ) ; @@fd@@ = open ( @@file@@ , Number , Number L ) ; tests_test ( @@fd@@ != Number , String , String , Number L ) ; srand ( @@seed@@ ) ; for ( @@i@@ = Number ; @@i@@ <= Number ; ++ @@i@@ ) @@buf@@ [ @@i@@ ] = rand ( ) ; for ( @@j@@ = tests_size_parameter ; @@j@@ > Number ; @@j@@ -= @@v6@@ ) { if ( @@j@@ <= Number ) @@n@@ = @@j@@ ; else @@n@@ = Number ; @@v6@@ = write ( @@fd@@ , @@buf@@ , @@n@@ ) ; if ( @@v6@@ <= Number ) { v0 = __errno_location ( ) ; tests_test ( * v0 == Number , String , String , Number L ) ; * __errno_location ( ) = Number ; break ; } } v1 = close ( @@fd@@ ) ; tests_test ( v1 != Number , String , String , Number L ) ; result = ( unsigned int ) tests_delete_flag ; if ( tests_delete_flag ) { v3 = unlink ( @@file@@ ) ; result = tests_test ( v3 != Number , String , String , Number L ) ; } return result ; }", "source": [{"n": "j", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s16"}, {"n": "n", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s24"}, {"n": "seed", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s28"}, {"n": "file", "t": {"T": 2, "n": 264, "s": 1, "t": "char"}, "location": "s304"}, {"n": "fd", "t": {"T": 1, "n": "int", "s": 4}, "location": "s32"}, {"n": "buf", "t": {"T": 2, "n": 32768, "s": 1, "t": "char"}, "location": "s33072"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v6", "t": {"T": 1, "n": "ssize_t", "s": 8}, "location": "s40"}]} {"name": "tests_count_files_in_dir", "code": "__int64 __fastcall tests_count_files_in_dir ( const char * @@a1@@ ) { int * v1 ; int v2 ; struct dirent * @@v4@@ ; DIR * @@dirp@@ ; unsigned int @@v6@@ ; @@v6@@ = Number ; @@dirp@@ = opendir ( @@a1@@ ) ; tests_test ( @@dirp@@ != Number L , String , String , Number ) ; while ( Number ) { * __errno_location ( ) = Number ; @@v4@@ = readdir ( @@dirp@@ ) ; if ( ! @@v4@@ ) break ; if ( strcmp ( String , @@v4@@ -> d_name ) ) { if ( strcmp ( String , @@v4@@ -> d_name ) ) ++ @@v6@@ ; } } v1 = __errno_location ( ) ; tests_test ( * v1 == Number , String , String , Number ) ; v2 = closedir ( @@dirp@@ ) ; tests_test ( v2 != Number , String , String , Number ) ; return @@v6@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "dirp", "t": {"T": 3, "t": "DIR"}, "location": "s16"}, {"n": "v4", "t": {"T": 3, "t": "struct dirent"}, "location": "s24"}, {"n": "v6", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s4"}]} {"name": "tests_check_test_file_system", "code": "void tests_check_test_file_system ( ) { int v0 ; int v1 ; struct stat @@v2@@ ; struct stat @@v3@@ ; struct statfs @@v4@@ ; if ( chdir ( tests_file_system_mount_dir ) == Number || statfs ( tests_file_system_mount_dir , & @@v4@@ ) == Number ) { fprintf ( stderr , String , tests_file_system_mount_dir ) ; fwrite ( String , Number , Number , stderr ) ; tests_test ( Number , String , String , Number ) ; } tests_max_fname_len = @@v4@@ . f_namelen ; if ( ! strcmp ( tests_file_system_type , String ) && @@v4@@ . f_type != Number ) { fwrite ( String , Number , Number , stderr ) ; tests_test ( Number , String , String , Number ) ; } if ( ! rootok ) { v0 = stat ( tests_file_system_mount_dir , & @@v3@@ ) ; tests_test ( v0 != Number , String , String , Number ) ; v1 = stat ( String , & @@v2@@ ) ; tests_test ( v1 != Number , String , String , Number ) ; tests_test ( @@v3@@ . st_dev != @@v2@@ . st_dev , String , String , Number ) ; } }", "source": [{"n": "v4", "t": {"T": 6, "n": "struct statfs", "l": [{"T": 4, "n": "f_type", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_bsize", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_blocks", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bfree", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bavail", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_files", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_ffree", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_fsid", "t": "__fsid_t", "s": 8}, {"T": 4, "n": "f_namelen", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_frsize", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_flags", "t": "__fsword_t", "s": 8}, {"T": 4, "n": "f_spare", "t": "__fsword_t[4]", "s": 32}]}, "location": "s128"}, {"n": "v3", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s272"}, {"n": "v2", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s416"}]} {"name": "tests_get_free_space", "code": "__fsblkcnt_t tests_get_free_space ( ) { int @@v0@@ ; struct statvfs @@v2@@ ; @@v0@@ = statvfs ( tests_file_system_mount_dir , & @@v2@@ ) ; tests_test ( @@v0@@ != Number , String , String , Number ) ; return @@v2@@ . f_bavail * @@v2@@ . f_frsize ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v2", "t": {"T": 6, "n": "struct statvfs", "l": [{"T": 4, "n": "f_bsize", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_frsize", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_blocks", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bfree", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bavail", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_files", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_ffree", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_favail", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_fsid", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_flag", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_namemax", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "__f_spare", "t": "int[6]", "s": 24}]}, "location": "s112"}]} {"name": "tests_get_total_space", "code": "__fsblkcnt_t tests_get_total_space ( ) { int @@v0@@ ; struct statvfs @@v2@@ ; @@v0@@ = statvfs ( tests_file_system_mount_dir , & @@v2@@ ) ; tests_test ( @@v0@@ != Number , String , String , Number ) ; return @@v2@@ . f_blocks * @@v2@@ . f_frsize ; }", "source": [{"n": "v0", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v2", "t": {"T": 6, "n": "struct statvfs", "l": [{"T": 4, "n": "f_bsize", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_frsize", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_blocks", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bfree", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_bavail", "t": "__fsblkcnt_t", "s": 8}, {"T": 4, "n": "f_files", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_ffree", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_favail", "t": "__fsfilcnt_t", "s": 8}, {"T": 4, "n": "f_fsid", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_flag", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "f_namemax", "t": "unsigned __int64", "s": 8}, {"T": 4, "n": "__f_spare", "t": "int[6]", "s": 24}]}, "location": "s112"}]} {"name": "tests_fill_file", "code": "__int64 __fastcall tests_fill_file ( unsigned int @@a1@@ , size_t @@a2@@ ) { ssize_t v2 ; int * v3 ; unsigned int @@v5@@ ; __int64 @@v6@@ ; int @@v8@@ ; size_t @@n@@ ; @@v8@@ = Number ; @@v6@@ = Number L ; init_write_buffer ( ) ; while ( @@a2@@ ) { @@v5@@ = Number - @@v8@@ ; if ( @@a2@@ <= ( unsigned int ) ( Number - @@v8@@ ) ) { @@n@@ = @@a2@@ ; v2 = write ( @@a1@@ , & write_buffer [ @@v8@@ ] , @@a2@@ ) ; } else { @@n@@ = @@v5@@ ; v2 = write ( @@a1@@ , & write_buffer [ @@v8@@ ] , @@v5@@ ) ; } if ( v2 <= Number ) { v3 = __errno_location ( ) ; tests_test ( * v3 == Number , String , String , Number ) ; * __errno_location ( ) = Number ; break ; } @@a2@@ -= v2 ; @@v6@@ += v2 ; if ( v2 == @@n@@ ) @@v8@@ = Number ; else @@v8@@ += v2 ; } tests_maybe_sync ( @@a1@@ ) ; return @@v6@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r64"}, {"n": "v8", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v5", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s36"}, {"n": "n", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s8"}]} {"name": "tests_write_filled_file", "code": "__int64 __fastcall tests_write_filled_file ( unsigned int @@a1@@ , __off_t @@a2@@ , size_t @@a3@@ ) { __off_t v3 ; ssize_t v4 ; int * v5 ; unsigned int @@v8@@ ; __int64 @@v9@@ ; size_t @@v10@@ ; int @@v11@@ ; size_t @@n@@ ; @@v9@@ = Number L ; v3 = lseek ( @@a1@@ , @@a2@@ , Number ) ; tests_test ( @@a2@@ == v3 , String , String , Number ) ; init_write_buffer ( ) ; @@v10@@ = @@a3@@ ; @@v11@@ = @@a2@@ % Number ; while ( @@v10@@ ) { @@v8@@ = Number - @@v11@@ ; if ( @@v10@@ <= ( unsigned int ) ( Number - @@v11@@ ) ) { @@n@@ = @@v10@@ ; v4 = write ( @@a1@@ , & write_buffer [ @@v11@@ ] , @@v10@@ ) ; } else { @@n@@ = @@v8@@ ; v4 = write ( @@a1@@ , & write_buffer [ @@v11@@ ] , @@v8@@ ) ; } if ( v4 <= Number ) { v5 = __errno_location ( ) ; tests_test ( * v5 == Number , String , String , Number ) ; * __errno_location ( ) = Number ; break ; } @@v10@@ -= v4 ; @@v9@@ += v4 ; if ( v4 == @@n@@ ) @@v11@@ = Number ; else @@v11@@ += v4 ; } tests_maybe_sync ( @@a1@@ ) ; return @@v9@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__off_t", "s": 8}, "location": "r64"}, {"n": "v11", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v10", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s24"}, {"n": "v9", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v8", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s36"}, {"n": "n", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s8"}]} {"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_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"}]} {"name": "tests_sync_directory", "code": "void __fastcall tests_sync_directory ( const char * @@a1@@ ) { char * v1 ; int v2 ; int v3 ; int v4 ; int @@fd@@ ; const char * @@file@@ ; if ( tests_ok_to_sync ) { v1 = strdup ( @@a1@@ ) ; @@file@@ = dirname ( v1 ) ; v2 = tests_maybe_sync_flag ( ) ; @@fd@@ = open ( @@file@@ , v2 ) ; tests_test ( @@fd@@ != Number , String , String , Number ) ; v3 = fsync ( @@fd@@ ) ; tests_test ( v3 != Number , String , String , Number ) ; v4 = close ( @@fd@@ ) ; tests_test ( v4 != Number , String , String , Number ) ; free ( v1 ) ; } }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "file", "t": {"T": 3, "t": "const char"}, "location": "s16"}, {"n": "fd", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}]} {"name": "tests_delete_file", "code": "void __fastcall tests_delete_file ( const char * @@a1@@ ) { int @@v1@@ ; @@v1@@ = unlink ( @@a1@@ ) ; tests_test ( @@v1@@ != Number , String , String , Number ) ; tests_sync_directory ( @@a1@@ ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}]} {"name": "tests_create_file", "code": "__int64 __fastcall tests_create_file ( const char * @@a1@@ , size_t @@a2@@ ) { __int64 result ; int v3 ; __int64 @@v4@@ ; int @@fd@@ ; int @@oflag@@ ; @@oflag@@ = tests_maybe_sync_flag ( ) | Number ; @@fd@@ = open ( @@a1@@ , @@oflag@@ , Number L ) ; if ( @@fd@@ == Number && * __errno_location ( ) == Number ) { * __errno_location ( ) = Number ; result = Number L ; } else { tests_test ( @@fd@@ != Number , String , String , Number ) ; @@v4@@ = tests_fill_file ( @@fd@@ , @@a2@@ ) ; v3 = close ( @@fd@@ ) ; tests_test ( v3 != Number , String , String , Number ) ; if ( ! @@a2@@ || @@v4@@ ) tests_sync_directory ( @@a1@@ ) ; else tests_delete_file ( @@a1@@ ) ; result = @@v4@@ ; } return result ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "r64"}, {"n": "fd", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "oflag", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]} {"name": "tests_create_orphan", "code": "__int64 __fastcall tests_create_orphan ( unsigned int @@a1@@ ) { int @@v2@@ ; char @@s@@ [ Number ] ; unsigned int @@v4@@ ; int @@v5@@ ; int @@oflag@@ ; sprintf ( @@s@@ , String , @@a1@@ ) ; @@oflag@@ = tests_maybe_sync_flag ( ) | Number ; @@v5@@ = Number ; @@v4@@ = open ( @@s@@ , @@oflag@@ , Number L ) ; if ( @@v4@@ == Number && ( * __errno_location ( ) == Number || * __errno_location ( ) == Number ) ) return @@v4@@ ; tests_test ( @@v4@@ != Number , String , String , Number ) ; tests_sync_directory ( @@s@@ ) ; @@v2@@ = unlink ( @@s@@ ) ; tests_test ( @@v2@@ != Number , String , String , Number ) ; return @@v4@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "v2", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "v4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s12"}, {"n": "s", "t": {"T": 2, "n": 260, "s": 1, "t": "char"}, "location": "s272"}, {"n": "oflag", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v5", "t": {"T": 1, "n": "int", "s": 4}, "location": "s8"}]} {"name": "tests_write_fragment_file", "code": "ssize_t __fastcall tests_write_fragment_file ( unsigned int @@a1@@ , unsigned int @@a2@@ , __off_t @@a3@@ , unsigned int @@a4@@ ) { int * @@v5@@ ; unsigned int @@n@@ ; char @@buf@@ [ Number ] ; int @@v10@@ ; __int64 @@v11@@ ; __off_t @@v12@@ ; ssize_t @@v13@@ ; unsigned int @@i@@ ; @@n@@ = @@a4@@ ; if ( @@a4@@ > Number ) @@n@@ = Number ; @@v12@@ = lseek ( @@a2@@ , Number L , Number ) ; tests_test ( @@v12@@ != Number , String , String , Number ) ; if ( @@a3@@ > @@v12@@ ) @@a3@@ = @@v12@@ ; @@v12@@ = lseek ( @@a2@@ , @@a3@@ , Number ) ; tests_test ( @@v12@@ != Number , String , String , Number ) ; tests_test ( @@v12@@ == @@a3@@ , String , String , Number ) ; srand ( @@a1@@ ) ; while ( @@a3@@ -- ) rand ( ) ; @@v11@@ = Number ; @@v10@@ = Number ; for ( @@i@@ = Number ; @@n@@ > @@i@@ ; ++ @@i@@ ) @@buf@@ [ @@i@@ ] = rand ( ) / @@v10@@ ; @@v13@@ = write ( @@a2@@ , @@buf@@ , @@n@@ ) ; if ( @@v13@@ <= Number ) { @@v5@@ = __errno_location ( ) ; tests_test ( * @@v5@@ == Number , String , String , Number ) ; * __errno_location ( ) = Number ; @@v13@@ = Number L ; } tests_maybe_sync ( @@a2@@ ) ; return @@v13@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__off_t", "s": 8}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r24"}, {"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "v5", "t": {"T": 3, "t": "int"}, "location": "r8"}, {"n": "v13", "t": {"T": 1, "n": "ssize_t", "s": 8}, "location": "s16"}, {"n": "v12", "t": {"T": 1, "n": "__off_t", "s": 8}, "location": "s24"}, {"n": "v11", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "buf", "t": {"T": 2, "n": 32780, "s": 1, "t": "char"}, "location": "s32816"}, {"n": "n", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s32836"}, {"n": "v10", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "i", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s4"}]} {"name": "tests_fill_fragment_file", "code": "ssize_t __fastcall tests_fill_fragment_file ( unsigned int @@a1@@ , unsigned int @@a2@@ , unsigned int @@a3@@ ) { __off_t @@v5@@ ; @@v5@@ = lseek ( @@a2@@ , Number L , Number ) ; tests_test ( @@v5@@ != Number , String , String , Number ) ; return tests_write_fragment_file ( @@a1@@ , @@a2@@ , @@v5@@ , @@a3@@ ) ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "v5", "t": {"T": 1, "n": "__off_t", "s": 8}, "location": "s8"}]} {"name": "tests_append_to_fragment_file", "code": "__int64 __fastcall tests_append_to_fragment_file ( unsigned int @@a1@@ , unsigned int @@a2@@ , int @@a3@@ ) { int v3 ; __int64 result ; int v5 ; char @@s@@ [ Number ] ; unsigned int @@v8@@ ; int @@fd@@ ; int @@v10@@ ; int @@oflag@@ ; sprintf ( @@s@@ , String , @@a1@@ ) ; if ( @@a3@@ ) { v3 = tests_maybe_sync_flag ( ) ; LOBYTE ( v3 ) = v3 | Number ; @@oflag@@ = v3 ; } else { @@oflag@@ = tests_maybe_sync_flag ( ) | Number ; } @@v10@@ = Number ; @@fd@@ = open ( @@s@@ , @@oflag@@ , Number L ) ; if ( @@fd@@ == Number && * __errno_location ( ) == Number ) { * __errno_location ( ) = Number ; result = Number L ; } else { tests_test ( @@fd@@ != Number , String , String , Number ) ; @@v8@@ = tests_fill_fragment_file ( @@a1@@ , @@fd@@ , @@a2@@ ) ; v5 = close ( @@fd@@ ) ; tests_test ( v5 != Number , String , String , Number ) ; if ( @@a3@@ ) { if ( ! @@v8@@ ) tests_delete_fragment_file ( @@a1@@ ) ; } result = @@v8@@ ; } return result ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r64"}, {"n": "fd", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "v8", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s16"}, {"n": "s", "t": {"T": 2, "n": 256, "s": 1, "t": "char"}, "location": "s272"}, {"n": "oflag", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v10", "t": {"T": 1, "n": "int", "s": 4}, "location": "s8"}]} {"name": "tests_overwite_fragment_file", "code": "__int64 __fastcall tests_overwite_fragment_file ( unsigned int @@a1@@ , __off_t @@a2@@ , unsigned int @@a3@@ ) { int v3 ; __int64 result ; int v5 ; char @@s@@ [ Number ] ; unsigned int @@v8@@ ; int @@fd@@ ; sprintf ( @@s@@ , String , @@a1@@ ) ; v3 = tests_maybe_sync_flag ( ) ; @@fd@@ = open ( @@s@@ , v3 | Number ) ; if ( @@fd@@ == Number && * __errno_location ( ) == Number ) { * __errno_location ( ) = Number ; result = Number L ; } else { tests_test ( @@fd@@ != Number , String , String , Number ) ; @@v8@@ = tests_write_fragment_file ( @@a1@@ , @@fd@@ , @@a2@@ , @@a3@@ ) ; v5 = close ( @@fd@@ ) ; tests_test ( v5 != Number , String , String , Number ) ; result = @@v8@@ ; } return result ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__off_t", "s": 8}, "location": "r64"}, {"n": "s", "t": {"T": 2, "n": 264, "s": 1, "t": "char"}, "location": "s272"}, {"n": "fd", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v8", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s8"}]} {"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_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"}]} {"name": "tests_maybe_sync", "code": "void __fastcall tests_maybe_sync ( int @@a1@@ ) { int @@v1@@ ; if ( tests_ok_to_sync ) { @@v1@@ = fsync ( @@a1@@ ) ; tests_test ( @@v1@@ != Number , String , String , Number ) ; } }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "v1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}]} {"name": "tests_random_no", "code": "unsigned __int64 __fastcall tests_random_no ( unsigned __int64 @@a1@@ ) { unsigned __int64 @@v2@@ ; unsigned __int64 @@v3@@ ; unsigned __int64 @@v4@@ ; unsigned __int64 v5 ; __int64 v6 ; if ( ! @@a1@@ ) return Number L ; if ( @@a1@@ - Number >= Number ) { v6 = ( __int64 ) rand ( ) << Number ; v5 = rand ( ) + v6 ; @@v4@@ = Number ; tests_test ( @@a1@@ <= Number , String , String , Number ) ; } else { v5 = rand ( ) ; @@v4@@ = Number ; } if ( @@a1@@ <= Number ) return @@a1@@ * v5 / @@v4@@ ; if ( v5 >= @@a1@@ ) { @@v3@@ = @@a1@@ ; @@v2@@ = v5 ; } else { @@v3@@ = v5 ; @@v2@@ = @@a1@@ ; } return @@v3@@ * ( @@v2@@ / @@v4@@ ) + @@v3@@ * ( @@v2@@ % @@v4@@ ) / @@v4@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "r56"}, {"n": "v4", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s16"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s24"}, {"n": "v2", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s32"}]} {"name": "tests_clear_dir", "code": "void __fastcall tests_clear_dir ( const char * @@a1@@ ) { char * v1 ; int v2 ; int v3 ; int v4 ; int * v5 ; int v6 ; int v7 ; char @@buf@@ [ Number ] ; struct dirent * @@v9@@ ; DIR * @@dirp@@ ; @@dirp@@ = opendir ( @@a1@@ ) ; tests_test ( @@dirp@@ != Number L , String , String , Number ) ; v1 = getcwd ( @@buf@@ , Number ) ; tests_test ( v1 != Number L , String , String , Number ) ; v2 = chdir ( @@a1@@ ) ; tests_test ( v2 != Number , String , String , Number ) ; while ( Number ) { * __errno_location ( ) = Number ; @@v9@@ = readdir ( @@dirp@@ ) ; if ( ! @@v9@@ ) break ; if ( strcmp ( String , @@v9@@ -> d_name ) && strcmp ( String , @@v9@@ -> d_name ) ) { if ( @@v9@@ -> d_type == Number ) { tests_clear_dir ( @@v9@@ -> d_name ) ; v3 = rmdir ( @@v9@@ -> d_name ) ; tests_test ( v3 != Number , String , String , Number ) ; } else { v4 = unlink ( @@v9@@ -> d_name ) ; tests_test ( v4 != Number , String , String , Number ) ; } } } v5 = __errno_location ( ) ; tests_test ( * v5 == Number , String , String , Number ) ; v6 = chdir ( @@buf@@ ) ; tests_test ( v6 != Number , String , String , Number ) ; v7 = closedir ( @@dirp@@ ) ; tests_test ( v7 != Number , String , String , Number ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "v9", "t": {"T": 3, "t": "struct dirent"}, "location": "s16"}, {"n": "buf", "t": {"T": 2, "n": 4096, "s": 1, "t": "char"}, "location": "s4112"}, {"n": "dirp", "t": {"T": 3, "t": "DIR"}, "location": "s8"}]} {"name": "tests_create_entry", "code": "__int64 __fastcall tests_create_entry ( char * @@a1@@ ) { unsigned int v1 ; unsigned __int64 v2 ; __int64 result ; int * v4 ; char @@s@@ [ Number ] ; int @@fd@@ ; while ( Number ) { v1 = tests_random_no ( Number ) ; sprintf ( @@s@@ , String , v1 ) ; @@fd@@ = open ( @@s@@ , Number ) ; if ( @@fd@@ == Number ) break ; close ( @@fd@@ ) ; } if ( @@a1@@ ) strcpy ( @@a1@@ , @@s@@ ) ; if ( tests_random_no ( Number ) ) { v2 = tests_random_no ( Number ) ; result = tests_create_file ( @@s@@ , v2 ) ; } else if ( mkdir ( @@s@@ , Number ) == Number ) { v4 = __errno_location ( ) ; tests_test ( * v4 == Number , String , String , Number ) ; * __errno_location ( ) = Number ; result = Number L ; } else { result = Number L ; } return result ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "char"}, "location": "r56"}, {"n": "s", "t": {"T": 2, "n": 268, "s": 1, "t": "char"}, "location": "s272"}, {"n": "fd", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}]} {"name": "tests_remove_entry", "code": "__off_t tests_remove_entry ( ) { int * v0 ; int * v1 ; int v2 ; int v3 ; int v4 ; int v5 ; struct stat @@v7@@ ; char @@v8@@ [ Number ] ; DIR * @@dirp@@ ; __off_t @@v10@@ ; unsigned int @@v11@@ ; @@v11@@ = Number ; @@v10@@ = Number L ; @@dirp@@ = opendir ( String ) ; tests_test ( @@dirp@@ != Number L , String , String , Number ) ; while ( Number ) { * __errno_location ( ) = Number ; * ( _QWORD * ) & @@v8@@ [ Number ] = readdir ( @@dirp@@ ) ; if ( ! * ( _QWORD * ) & @@v8@@ [ Number ] ) break ; if ( strcmp ( String , ( const char * ) ( * ( _QWORD * ) & @@v8@@ [ Number ] + Number L ) ) ) { if ( strcmp ( String , ( const char * ) ( * ( _QWORD * ) & @@v8@@ [ Number ] + Number L ) ) ) ++ @@v11@@ ; } } v0 = __errno_location ( ) ; tests_test ( * v0 == Number , String , String , Number ) ; * ( _QWORD * ) @@v8@@ = ( unsigned int ) tests_random_no ( @@v11@@ ) ; @@v11@@ = Number ; rewinddir ( @@dirp@@ ) ; while ( Number ) { * __errno_location ( ) = Number ; * ( _QWORD * ) & @@v8@@ [ Number ] = readdir ( @@dirp@@ ) ; if ( ! * ( _QWORD * ) & @@v8@@ [ Number ] ) break ; if ( strcmp ( String , ( const char * ) ( * ( _QWORD * ) & @@v8@@ [ Number ] + Number L ) ) && strcmp ( String , ( const char * ) ( * ( _QWORD * ) & @@v8@@ [ Number ] + Number L ) ) ) { if ( @@v11@@ == * ( _DWORD * ) @@v8@@ ) { if ( * ( _BYTE * ) ( * ( _QWORD * ) & @@v8@@ [ Number ] + Number L ) == Number ) { tests_clear_dir ( ( const char * ) ( * ( _QWORD * ) & @@v8@@ [ Number ] + Number L ) ) ; v2 = rmdir ( ( const char * ) ( * ( _QWORD * ) & @@v8@@ [ Number ] + Number L ) ) ; tests_test ( v2 != Number , String , String , Number ) ; @@v10@@ = Number L ; } else { v3 = stat ( ( char * ) ( * ( _QWORD * ) & @@v8@@ [ Number ] + Number L ) , & @@v7@@ ) ; tests_test ( v3 != Number , String , String , Number ) ; @@v10@@ = @@v7@@ . st_size ; v4 = unlink ( ( const char * ) ( * ( _QWORD * ) & @@v8@@ [ Number ] + Number L ) ) ; tests_test ( v4 != Number , String , String , Number ) ; } } ++ @@v11@@ ; } } v1 = __errno_location ( ) ; tests_test ( * v1 == Number , String , String , Number ) ; v5 = closedir ( @@dirp@@ ) ; tests_test ( v5 != Number , String , String , Number ) ; return @@v10@@ ; }", "source": [{"n": "v10", "t": {"T": 1, "n": "__off_t", "s": 8}, "location": "s16"}, {"n": "v7", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s192"}, {"n": "dirp", "t": {"T": 3, "t": "DIR"}, "location": "s24"}, {"n": "v8", "t": {"T": 2, "n": 12, "s": 1, "t": "char"}, "location": "s36"}, {"n": "v11", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s4"}]} {"name": "tests_get_mount_info", "code": "__int64 __fastcall tests_get_mount_info ( char * * @@a1@@ ) { char * v1 ; char * v2 ; int @@v3@@ ; struct mntent * @@v5@@ ; unsigned int @@v6@@ ; FILE * @@stream@@ ; @@v6@@ = Number ; @@stream@@ = fopen ( String , String ) ; if ( ! @@stream@@ ) @@stream@@ = fopen ( String , String ) ; tests_test ( @@stream@@ != Number L , String , String , Number ) ; while ( ! @@v6@@ ) { @@v5@@ = getmntent ( @@stream@@ ) ; if ( ! @@v5@@ ) break ; if ( ! strcmp ( @@v5@@ -> mnt_dir , tests_file_system_mount_dir ) ) { @@v6@@ = Number ; v1 = @@v5@@ -> mnt_dir ; * @@a1@@ = @@v5@@ -> mnt_fsname ; @@a1@@ [ Number ] = v1 ; v2 = @@v5@@ -> mnt_opts ; @@a1@@ [ Number ] = @@v5@@ -> mnt_type ; @@a1@@ [ Number ] = v2 ; @@a1@@ [ Number ] = * ( char * * ) & @@v5@@ -> mnt_freq ; } } @@v3@@ = fclose ( @@stream@@ ) ; tests_test ( @@v3@@ == Number , String , String , Number ) ; return @@v6@@ ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "char *"}, "location": "r56"}, {"n": "v3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "stream", "t": {"T": 3, "t": "FILE"}, "location": "s24"}, {"n": "v6", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s28"}, {"n": "v5", "t": {"T": 3, "t": "struct mntent"}, "location": "s40"}]} {"name": "tests_remount", "code": "void tests_remount ( ) { int v0 ; char * v1 ; int v2 ; int v3 ; int v4 ; unsigned __int64 @@v5@@ ; char @@buf@@ [ Number ] ; void * @@data@@ ; char * @@v8@@ [ Number ] ; int @@v9@@ ; unsigned __int64 @@rwflag@@ ; char * @@fstype@@ ; char * @@dir@@ ; char * @@special_file@@ ; int @@v14@@ ; int @@v15@@ ; int @@v16@@ ; int @@v17@@ ; int @@v18@@ ; v0 = tests_get_mount_info ( @@v8@@ ) ; tests_test ( v0 , String , String , Number ) ; if ( strcmp ( @@v8@@ [ Number ] , String ) ) { v1 = getcwd ( @@buf@@ , Number ) ; tests_test ( v1 != Number L , String , String , Number ) ; v2 = chdir ( String ) ; tests_test ( v2 != Number , String , String , Number ) ; @@v17@@ = tests_random_no ( Number ) ; @@v18@@ = tests_random_no ( Number ) ; @@v16@@ = tests_random_no ( Number ) ; @@v15@@ = tests_random_no ( Number ) ; @@v14@@ = tests_random_no ( Number ) ; if ( ! ( @@v18@@ + @@v17@@ + @@v14@@ ) ) @@v18@@ = Number ; @@special_file@@ = @@v8@@ [ Number ] ; @@dir@@ = tests_file_system_mount_dir ; @@fstype@@ = tests_file_system_type ; @@data@@ = @@v8@@ [ Number ] ; process_mount_options ( ( const char * * ) & @@data@@ , ( __int64 * ) & @@v5@@ ) ; if ( @@v17@@ ) { @@rwflag@@ = @@v5@@ | Number ; @@v9@@ = mount ( @@special_file@@ , @@dir@@ , @@fstype@@ , @@v5@@ | Number , @@data@@ ) ; tests_test ( @@v9@@ != Number , String , String , Number ) ; @@rwflag@@ = ( @@v5@@ | Number ) & Number ; @@v9@@ = mount ( @@special_file@@ , @@dir@@ , @@fstype@@ , @@rwflag@@ , @@data@@ ) ; tests_test ( @@v9@@ != Number , String , String , Number ) ; } if ( @@v18@@ ) { if ( @@v16@@ ) { @@rwflag@@ = @@v5@@ | Number ; @@v9@@ = mount ( @@special_file@@ , @@dir@@ , @@fstype@@ , @@v5@@ | Number , @@data@@ ) ; tests_test ( @@v9@@ != Number , String , String , Number ) ; } v3 = umount ( @@dir@@ ) ; tests_test ( v3 != Number , String , String , Number ) ; if ( @@v15@@ ) { @@v9@@ = mount ( @@special_file@@ , @@dir@@ , @@fstype@@ , @@v5@@ | Number , @@data@@ ) ; tests_test ( @@v9@@ != Number , String , String , Number ) ; @@rwflag@@ = ( @@v5@@ | Number ) & Number ; @@v9@@ = mount ( @@special_file@@ , @@dir@@ , @@fstype@@ , @@rwflag@@ , @@data@@ ) ; tests_test ( @@v9@@ != Number , String , String , Number ) ; } else { @@v9@@ = mount ( @@special_file@@ , @@dir@@ , @@fstype@@ , @@v5@@ , @@data@@ ) ; tests_test ( @@v9@@ != Number , String , String , Number ) ; } } if ( @@v14@@ ) { @@rwflag@@ = @@v5@@ | Number ; @@v9@@ = mount ( @@special_file@@ , @@dir@@ , @@fstype@@ , @@v5@@ | Number , @@data@@ ) ; tests_test ( @@v9@@ != Number , String , String , Number ) ; @@rwflag@@ = ( @@v5@@ | Number ) & Number ; @@v9@@ = mount ( @@special_file@@ , @@dir@@ , @@fstype@@ , @@rwflag@@ , @@data@@ ) ; tests_test ( @@v9@@ != Number , String , String , Number ) ; } v4 = chdir ( @@buf@@ ) ; tests_test ( v4 != Number , String , String , Number ) ; } }", "source": [{"n": "v8", "t": {"T": 2, "n": 6, "s": 8, "t": "char *"}, "location": "s112"}, {"n": "v16", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "data", "t": {"T": 3, "t": "void"}, "location": "s120"}, {"n": "v15", "t": {"T": 1, "n": "int", "s": 4}, "location": "s16"}, {"n": "v14", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "special_file", "t": {"T": 3, "t": "char"}, "location": "s32"}, {"n": "v18", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "dir", "t": {"T": 3, "t": "char"}, "location": "s40"}, {"n": "buf", "t": {"T": 2, "n": 4104, "s": 1, "t": "char"}, "location": "s4224"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s4232"}, {"n": "fstype", "t": {"T": 3, "t": "char"}, "location": "s48"}, {"n": "rwflag", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s56"}, {"n": "v9", "t": {"T": 1, "n": "int", "s": 4}, "location": "s60"}, {"n": "v17", "t": {"T": 1, "n": "int", "s": 4}, "location": "s8"}]} {"name": "tests_mnt", "code": "void __fastcall tests_mnt ( int @@a1@@ ) { int v1 ; char * v2 ; int v3 ; int v4 ; int v5 ; int v6 ; void * @@data@@ ; unsigned __int64 @@rwflag@@ ; char * @@fstype@@ ; char * @@dir@@ ; char * @@special_file@@ ; if ( @@a1@@ ) { @@special_file@@ = ( char * ) mount_info_4825 ; @@dir@@ = tests_file_system_mount_dir ; @@fstype@@ = tests_file_system_type ; @@data@@ = ( void * ) qword_411298 ; process_mount_options ( ( const char * * ) & @@data@@ , ( __int64 * ) & @@rwflag@@ ) ; v5 = mount ( @@special_file@@ , @@dir@@ , @@fstype@@ , @@rwflag@@ , @@data@@ ) ; tests_test ( v5 != Number , String , String , Number ) ; v6 = chdir ( cwd_4831 ) ; tests_test ( v6 != Number , String , String , Number ) ; } else { v1 = tests_get_mount_info ( ( char * * ) & mount_info_4825 ) ; tests_test ( v1 , String , String , Number ) ; if ( strcmp ( qword_411288 , String ) ) { v2 = getcwd ( cwd_4831 , Number ) ; tests_test ( v2 != Number L , String , String , Number ) ; v3 = chdir ( String ) ; tests_test ( v3 != Number , String , String , Number ) ; v4 = umount ( tests_file_system_mount_dir ) ; tests_test ( v4 != Number , String , String , Number ) ; } } }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "dir", "t": {"T": 3, "t": "char"}, "location": "s16"}, {"n": "fstype", "t": {"T": 3, "t": "char"}, "location": "s24"}, {"n": "rwflag", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s32"}, {"n": "data", "t": {"T": 3, "t": "void"}, "location": "s40"}, {"n": "special_file", "t": {"T": 3, "t": "char"}, "location": "s8"}]} {"name": "tests_fs_is_rootfs", "code": "_BOOL8 tests_fs_is_rootfs ( ) { int v0 ; int v1 ; struct stat @@v3@@ ; struct stat @@v4@@ ; v0 = stat ( tests_file_system_mount_dir , & @@v4@@ ) ; tests_test ( v0 != Number , String , String , Number ) ; v1 = stat ( String , & @@v3@@ ) ; tests_test ( v1 != Number , String , String , Number ) ; return @@v4@@ . st_dev == @@v3@@ . st_dev ; }", "source": [{"n": "v4", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s144"}, {"n": "v3", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s288"}]} {"name": "tests_try_to_clear_dir", "code": "int __fastcall tests_try_to_clear_dir ( const char * @@a1@@ ) { DIR * v1 ; int * v2 ; char @@buf@@ [ Number ] ; struct dirent * @@v5@@ ; DIR * @@dirp@@ ; v1 = opendir ( @@a1@@ ) ; @@dirp@@ = v1 ; if ( v1 ) { if ( getcwd ( @@buf@@ , Number ) && chdir ( @@a1@@ ) != Number ) { while ( Number ) { * __errno_location ( ) = Number ; @@v5@@ = readdir ( @@dirp@@ ) ; if ( ! @@v5@@ ) break ; if ( strcmp ( String , @@v5@@ -> d_name ) && strcmp ( String , @@v5@@ -> d_name ) ) { if ( @@v5@@ -> d_type == Number ) { tests_try_to_clear_dir ( @@v5@@ -> d_name ) ; rmdir ( @@v5@@ -> d_name ) ; } else { unlink ( @@v5@@ -> d_name ) ; } } } v2 = __errno_location ( ) ; tests_test ( * v2 == Number , String , String , Number ) ; if ( chdir ( @@buf@@ ) < Number ) perror ( String ) ; } LODWORD ( v1 ) = closedir ( @@dirp@@ ) ; } return ( int ) v1 ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "v5", "t": {"T": 3, "t": "struct dirent"}, "location": "s16"}, {"n": "buf", "t": {"T": 2, "n": 4096, "s": 1, "t": "char"}, "location": "s4112"}, {"n": "dirp", "t": {"T": 3, "t": "DIR"}, "location": "s8"}]} {"name": "tests_fs_is_currfs", "code": "_BOOL8 tests_fs_is_currfs ( ) { int v0 ; int v1 ; struct stat @@v3@@ ; struct stat @@v4@@ ; v0 = stat ( tests_file_system_mount_dir , & @@v4@@ ) ; tests_test ( v0 != Number , String , String , Number ) ; v1 = stat ( String , & @@v3@@ ) ; tests_test ( v1 != Number , String , String , Number ) ; return @@v4@@ . st_dev == @@v3@@ . st_dev ; }", "source": [{"n": "v4", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s144"}, {"n": "v3", "t": {"T": 6, "n": "struct stat", "l": [{"T": 4, "n": "st_dev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_ino", "t": "__ino_t", "s": 8}, {"T": 4, "n": "st_nlink", "t": "__nlink_t", "s": 8}, {"T": 4, "n": "st_mode", "t": "__mode_t", "s": 4}, {"T": 4, "n": "st_uid", "t": "__uid_t", "s": 4}, {"T": 4, "n": "st_gid", "t": "__gid_t", "s": 4}, {"T": 4, "n": "__pad0", "t": "int", "s": 4}, {"T": 4, "n": "st_rdev", "t": "__dev_t", "s": 8}, {"T": 4, "n": "st_size", "t": "__off_t", "s": 8}, {"T": 4, "n": "st_blksize", "t": "__blksize_t", "s": 8}, {"T": 4, "n": "st_blocks", "t": "__blkcnt_t", "s": 8}, {"T": 4, "n": "st_atim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_mtim", "t": "timespec", "s": 16}, {"T": 4, "n": "st_ctim", "t": "timespec", "s": 16}, {"T": 4, "n": "__unused", "t": "__syscall_slong_t[3]", "s": 24}]}, "location": "s288"}]}