{"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": "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": "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_cat_pid", "code": "char * __fastcall tests_cat_pid ( char * @@a1@@ , const char * @@a2@@ , int @@a3@@ ) { char @@v4@@ ; char @@v5@@ [ Number ] ; strcpy ( @@v5@@ , String ) ; * ( _DWORD * ) & @@v5@@ [ Number ] = @@a3@@ ; * ( _QWORD * ) & @@v5@@ [ Number ] = & @@v4@@ ; @@v4@@ = Number ; if ( @@a3@@ ) { while ( * ( _DWORD * ) & @@v5@@ [ Number ] ) { -- * ( _QWORD * ) & @@v5@@ [ Number ] ; * * ( _BYTE * * ) & @@v5@@ [ Number ] = @@v5@@ [ * ( _DWORD * ) & @@v5@@ [ Number ] % Number ] ; * ( _DWORD * ) & @@v5@@ [ Number ] /= Number ; } } else { -- * ( _QWORD * ) & @@v5@@ [ Number ] ; * * ( _BYTE * * ) & @@v5@@ [ Number ] = Number ; } * @@a1@@ = Number ; strcat ( @@a1@@ , @@a2@@ ) ; return strcat ( @@a1@@ , * ( const char * * ) & @@v5@@ [ Number ] ) ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "int", "s": 4}, "location": "r16"}, {"n": "a1", "t": {"T": 3, "t": "char"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "const char"}, "location": "r64"}, {"n": "v5", "t": {"T": 2, "n": 23, "s": 1, "t": "char"}, "location": "s23"}, {"n": "v4", "t": {"T": 1, "n": "char", "s": 1}, "location": "s33"}]}