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