{"name": "main", "code": "int __cdecl main ( int @@argc@@ , const char * * @@argv@@ , const char * * @@envp@@ ) { const char * @@v3@@ ; const char * @@v4@@ ; tests_size_parameter = Number L ; @@v3@@ = stress_1_get_description ( ) ; @@v4@@ = stress_1_get_title ( ) ; if ( ! ( unsigned int ) tests_get_args ( ( unsigned int ) @@argc@@ , @@argv@@ , @@v4@@ , @@v3@@ , String ) ) return Number ; tests_check_test_file_system ( ) ; stress_1 ( ) ; return Number ; }", "source": [{"n": "envp", "t": {"T": 3, "t": "const char *"}, "location": "r16"}, {"n": "v3", "t": {"T": 3, "t": "const char"}, "location": "r32"}, {"n": "argc", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "argv", "t": {"T": 3, "t": "const char *"}, "location": "r64"}, {"n": "v4", "t": {"T": 3, "t": "const char"}, "location": "r8"}]}
{"name": "_start", "code": "void __fastcall __noreturn start ( __int64 @@a1@@ , __int64 @@a2@@ , void ( * @@a3@@ ) ( void ) ) { __int64 @@v3@@ ; int v4 ; __int64 @@v5@@ ; char * @@retaddr@@ ; v4 = @@v5@@ ; @@v5@@ = @@v3@@ ; _libc_start_main ( ( int ( __fastcall * ) ( int , char * * , char * * ) ) main , v4 , & @@retaddr@@ , _libc_csu_init , _libc_csu_fini , @@a3@@ , & @@v5@@ ) ; __halt ( ) ; }", "source": [{"n": "a3", "t": {"T": 9, "n": "void (*)(void)"}, "location": "r16"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "retaddr", "t": {"T": 3, "t": "char"}, "location": "s0"}, {"n": "v5", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s8"}]} {"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_get_args", "code": "__int64 __fastcall tests_get_args ( int @@a1@@ , const char * * @@a2@@ , const char * @@a3@@ , const char * @@a4@@ , const char * @@a5@@ ) { const unsigned __int16 * v5 ; const char * v6 ; const unsigned __int16 * v7 ; const char * v8 ; const unsigned __int16 * v9 ; const char * v10 ; __int64 @@v15@@ ; __int64 @@v16@@ ; __int64 @@v17@@ ; const char * s ; const char * sa ; char * @@k@@ ; char * @@j@@ ; int @@v22@@ ; char * @@nptr@@ ; int @@i@@ ; int @@v25@@ ; int @@v26@@ ; int @@v27@@ ; unsigned int @@v28@@ ; @@v27@@ = Number ; @@v26@@ = Number ; @@v25@@ = Number ; program_name = ( char * ) * @@a2@@ ; s = getenv ( String ) ; if ( s ) tests_file_system_mount_dir = strdup ( s ) ; sa = getenv ( String ) ; if ( sa ) tests_file_system_type = strdup ( sa ) ; @@v28@@ = Number ; rootok = Number ; for ( @@i@@ = Number ; @@i@@ < @@a1@@ ; ++ @@i@@ ) { if ( ! strcmp ( @@a2@@ [ @@i@@ ] , String ) || ! strcmp ( @@a2@@ [ @@i@@ ] , String ) ) { @@v27@@ = Number ; } else if ( ! strcmp ( @@a2@@ [ @@i@@ ] , String ) || ! strcmp ( @@a2@@ [ @@i@@ ] , String ) ) { @@v26@@ = Number ; } else if ( ! strcmp ( @@a2@@ [ @@i@@ ] , String ) || ! strcmp ( @@a2@@ [ @@i@@ ] , String ) ) { @@v25@@ = Number ; } else if ( ! strcmp ( @@a2@@ [ @@i@@ ] , String ) || ! strcmp ( @@a2@@ [ @@i@@ ] , String ) ) { tests_ok_to_sync = Number ; } else if ( ! strncmp ( @@a2@@ [ @@i@@ ] , String , Number ) || ! strncmp ( @@a2@@ [ @@i@@ ] , String , Number ) ) { if ( @@a1@@ > @@i@@ + Number ) { v5 = * __ctype_b_loc ( ) ; v6 = @@a2@@ [ @@i@@ ] ; if ( ( v5 [ v6 [ strlen ( v6 ) - Number ] ] & Number ) == Number ) ++ @@i@@ ; } for ( @@nptr@@ = ( char * ) @@a2@@ [ @@i@@ ] ; * @@nptr@@ && ( ( * __ctype_b_loc ( ) ) [ * @@nptr@@ ] & Number ) == Number ; ++ @@nptr@@ ) ; @@v15@@ = atoll ( @@nptr@@ ) ; if ( @@v15@@ ) { tests_size_parameter = @@v15@@ ; } else { @@v22@@ = Number ; while ( @@v22@@ && * @@nptr@@ ) { if ( * @@nptr@@ != Number ) @@v22@@ = Number ; ++ @@nptr@@ ; } if ( @@v22@@ ) tests_size_parameter = Number L ; else @@v27@@ = Number ; } } else if ( ! strncmp ( @@a2@@ [ @@i@@ ] , String , Number ) || ! strncmp ( @@a2@@ [ @@i@@ ] , String , Number ) ) { if ( @@a1@@ > @@i@@ + Number ) { v7 = * __ctype_b_loc ( ) ; v8 = @@a2@@ [ @@i@@ ] ; if ( ( v7 [ v8 [ strlen ( v8 ) - Number ] ] & Number ) == Number ) ++ @@i@@ ; } for ( @@j@@ = ( char * ) @@a2@@ [ @@i@@ ] ; * @@j@@ && ( ( * __ctype_b_loc ( ) ) [ * @@j@@ ] & Number ) == Number ; ++ @@j@@ ) ; @@v16@@ = atoll ( @@j@@ ) ; if ( @@v16@@ || ( unsigned int ) is_zero ( @@j@@ ) ) tests_repeat_parameter = @@v16@@ ; else @@v27@@ = Number ; } else if ( ! strncmp ( @@a2@@ [ @@i@@ ] , String , Number ) || ! strncmp ( @@a2@@ [ @@i@@ ] , String , Number ) ) { if ( @@a1@@ > @@i@@ + Number ) { v9 = * __ctype_b_loc ( ) ; v10 = @@a2@@ [ @@i@@ ] ; if ( ( v9 [ v10 [ strlen ( v10 ) - Number ] ] & Number ) == Number ) ++ @@i@@ ; } for ( @@k@@ = ( char * ) @@a2@@ [ @@i@@ ] ; * @@k@@ && ( ( * __ctype_b_loc ( ) ) [ * @@k@@ ] & Number ) == Number ; ++ @@k@@ ) ; @@v17@@ = atoll ( @@k@@ ) ; if ( @@v17@@ || ( unsigned int ) is_zero ( @@k@@ ) ) tests_sleep_parameter = @@v17@@ ; else @@v27@@ = Number ; } else if ( ! strcmp ( @@a2@@ [ @@i@@ ] , String ) || ! strcmp ( @@a2@@ [ @@i@@ ] , String ) ) { tests_unlink_flag = Number ; } else if ( ! strcmp ( @@a2@@ [ @@i@@ ] , String ) || ! strcmp ( @@a2@@ [ @@i@@ ] , String ) ) { tests_hole_flag = Number ; } else if ( ! strcmp ( @@a2@@ [ @@i@@ ] , String ) || ! strcmp ( @@a2@@ [ @@i@@ ] , String ) ) { tests_close_flag = Number ; } else if ( ! strcmp ( @@a2@@ [ @@i@@ ] , String ) || ! strcmp ( @@a2@@ [ @@i@@ ] , String ) ) { tests_delete_flag = Number ; } else { @@v27@@ = Number ; } } if ( @@v27@@ ) { @@v28@@ = Number ; if ( ! @@a5@@ ) @@a5@@ = ( const char * ) & unk_406269 ; puts ( String ) ; printf ( String , @@a3@@ ) ; printf ( String , * @@a2@@ ) ; puts ( String ) ; printf ( String ) ; puts ( String ) ; printf ( String ) ; puts ( String ) ; printf ( String ) ; puts ( String ) ; if ( strchr ( @@a5@@ , Number ) ) { printf ( String ) ; puts ( String ) ; } if ( strchr ( @@a5@@ , Number ) ) { printf ( String ) ; puts ( String ) ; } if ( strchr ( @@a5@@ , Number ) ) { printf ( String ) ; puts ( String ) ; } if ( strchr ( @@a5@@ , Number ) ) { printf ( String ) ; puts ( String ) ; } if ( strchr ( @@a5@@ , Number ) ) { printf ( String ) ; puts ( String ) ; } if ( strchr ( @@a5@@ , Number ) ) { printf ( String ) ; puts ( String ) ; } if ( strchr ( @@a5@@ , Number ) ) { printf ( String ) ; puts ( String ) ; } if ( strchr ( @@a5@@ , Number ) ) { printf ( String ) ; puts ( String ) ; } printf ( String ) ; printf ( String ) ; printf ( String ) ; printf ( String ) ; printf ( String ) ; puts ( String ) ; puts ( String ) ; fold ( @@a4@@ , Number ) ; } else { if ( @@v26@@ ) puts ( @@a3@@ ) ; if ( @@v25@@ ) puts ( @@a4@@ ) ; if ( ( @@v26@@ || @@v25@@ ) && ( @@a1@@ == Number || @@a1@@ == Number && @@v26@@ && @@v25@@ ) ) @@v28@@ = Number ; } return @@v28@@ ; }", "source": [{"n": "a3", "t": {"T": 3, "t": "const char"}, "location": "r16"}, {"n": "a4", "t": {"T": 3, "t": "const char"}, "location": "r24"}, {"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char *"}, "location": "r64"}, {"n": "a5", "t": {"T": 3, "t": "const char"}, "location": "r72"}, {"n": "v15", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s104"}, {"n": "v28", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s20"}, {"n": "v27", "t": {"T": 1, "n": "int", "s": 4}, "location": "s24"}, {"n": "v26", "t": {"T": 1, "n": "int", "s": 4}, "location": "s28"}, {"n": "v25", "t": {"T": 1, "n": "int", "s": 4}, "location": "s32"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "nptr", "t": {"T": 3, "t": "char"}, "location": "s48"}, {"n": "v22", "t": {"T": 1, "n": "int", "s": 4}, "location": "s52"}, {"n": "j", "t": {"T": 3, "t": "char"}, "location": "s64"}, {"n": "k", "t": {"T": 3, "t": "char"}, "location": "s72"}, {"n": "v17", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s88"}, {"n": "v16", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s96"}]} {"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"}]}