{"name": "process_mount_options", "code": "__int64 __fastcall process_mount_options ( const char * * @@a1@@ , __int64 * @@a2@@ ) { size_t v2 ; __int64 v3 ; __int64 v4 ; __int64 v5 ; _BYTE * v6 ; int @@v8@@ ; _BYTE * @@v9@@ ; char * @@ptr@@ ; const char * @@s1@@ ; _BYTE * @@dest@@ ; @@ptr@@ = strdup ( * @@a1@@ ) ; if ( ! @@ptr@@ ) goto LABEL_28 ; v2 = strlen ( * @@a1@@ ) ; @@v9@@ = calloc ( Number , v2 + Number ) ; @@dest@@ = @@v9@@ ; if ( ! @@v9@@ ) { free ( @@ptr@@ ) ; LABEL_28 : fwrite ( String , Number , Number , stderr ) ; return Number L ; } * @@a2@@ = Number L ; for ( @@s1@@ = strtok ( @@ptr@@ , String ) ; @@s1@@ ; @@s1@@ = strtok ( Number L , String ) ) { if ( strcmp ( @@s1@@ , String ) ) { if ( ! strcmp ( @@s1@@ , String ) ) { * @@a2@@ |= Number ; } else if ( ! strcmp ( @@s1@@ , String ) ) { v3 = * @@a2@@ ; LOBYTE ( v3 ) = * @@a2@@ | Number ; * @@a2@@ = v3 ; } else if ( ! strcmp ( @@s1@@ , String ) ) { v4 = * @@a2@@ ; BYTE1 ( v4 ) = BYTE1 ( * @@a2@@ ) | Number ; * @@a2@@ = v4 ; } else if ( ! strcmp ( @@s1@@ , String ) ) { v5 = * @@a2@@ ; BYTE1 ( v5 ) = BYTE1 ( * @@a2@@ ) | Number ; * @@a2@@ = v5 ; } else if ( ! strcmp ( @@s1@@ , String ) ) { * @@a2@@ |= Number ; } else if ( ! strcmp ( @@s1@@ , String ) ) { * @@a2@@ |= Number ; } else if ( ! strcmp ( @@s1@@ , String ) ) { * @@a2@@ |= Number ; } else if ( ! strcmp ( @@s1@@ , String ) ) { * @@a2@@ |= Number ; } else { @@v8@@ = strlen ( @@s1@@ ) ; if ( @@dest@@ != @@v9@@ ) { v6 = @@dest@@ ++ ; * v6 = Number ; } memcpy ( @@dest@@ , @@s1@@ , @@v8@@ ) ; @@dest@@ += @@v8@@ ; * @@dest@@ = Number ; } } } free ( @@ptr@@ ) ; * @@a1@@ = @@v9@@ ; return Number L ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char *"}, "location": "r56"}, {"n": "a2", "t": {"T": 3, "t": "__int64"}, "location": "r64"}, {"n": "s1", "t": {"T": 3, "t": "const char"}, "location": "s16"}, {"n": "ptr", "t": {"T": 3, "t": "char"}, "location": "s24"}, {"n": "v9", "t": {"T": 3, "t": "_BYTE"}, "location": "s32"}, {"n": "v8", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "dest", "t": {"T": 3, "t": "_BYTE"}, "location": "s8"}]}
{"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"}]}