{"name": "test_scan", "code": "int __fastcall test_scan ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ ) { __int64 @@v3@@ ; __int64 @@v4@@ ; unsigned int v5 ; __int64 v6 ; __int64 v7 ; __int64 @@v10@@ [ Number ] ; char @@v11@@ [ Number ] ; __int64 @@v12@@ [ Number ] ; char @@v13@@ [ Number ] ; __int64 @@v14@@ [ Number ] ; char @@v15@@ [ Number ] ; char @@dest@@ [ Number ] ; __int64 @@v17@@ ; char @@s@@ [ Number ] ; size_t @@v19@@ ; size_t @@v20@@ ; __int64 @@v21@@ ; int @@v22@@ ; int @@v23@@ ; int @@v24@@ ; int @@i@@ ; int @@j@@ ; unsigned int @@k@@ ; int @@v28@@ ; __int64 @@v29@@ ; * ( _QWORD * ) @@dest@@ = Number L ; @@v17@@ = Number L ; memset ( @@s@@ , Number , ( size_t ) & unk_13FF0 ) ; @@v14@@ [ Number ] = Number L ; @@v14@@ [ Number ] = Number L ; memset ( @@v15@@ , Number , ( size_t ) & unk_13FF0 ) ; @@v12@@ [ Number ] = Number L ; @@v12@@ [ Number ] = Number L ; memset ( @@v13@@ , Number , ( size_t ) & unk_13FF0 ) ; @@v10@@ [ Number ] = Number L ; @@v10@@ [ Number ] = Number L ; memset ( @@v11@@ , Number , ( size_t ) & unk_13FF0 ) ; strcat ( @@dest@@ , * ( const char * * ) ( @@a1@@ + Number ) ) ; strcat ( @@dest@@ , * ( const char * * ) ( @@a2@@ + Number ) ) ; strcat ( @@dest@@ , * ( const char * * ) ( @@a3@@ + Number ) ) ; @@v24@@ = strlen ( @@dest@@ ) ; @@v23@@ = ( @@v24@@ - Number ) * ( @@v24@@ - Number ) ; @@v28@@ = Number ; @@v22@@ = count_parsed_messages ( Number , @@a1@@ , @@a2@@ , @@a3@@ , @@v3@@ , @@v4@@ ) ; for ( @@i@@ = Number ; @@i@@ <= Number ; ++ @@i@@ ) { for ( @@j@@ = Number ; @@j@@ < @@v24@@ ; ++ @@j@@ ) { for ( @@k@@ = Number ; ( int ) @@k@@ < @@j@@ ; ++ @@k@@ ) { if ( ! ( @@v28@@ % Number ) ) { printf ( String , ( float ) ( ( float ) ( Number * ( float ) @@v28@@ ) / ( float ) @@v23@@ ) ) ; fflush ( stdout ) ; } ++ @@v28@@ ; if ( @@i@@ ) v5 = Number ; else v5 = * ( _DWORD * ) ( @@a1@@ + Number ) ; parser_init ( v5 ) ; @@v21@@ = ( int ) @@k@@ ; strlncpy ( @@v14@@ , ( size_t ) & unk_14000 , @@dest@@ , ( int ) @@k@@ ) ; * ( ( _BYTE * ) @@v14@@ + @@v21@@ ) = Number ; @@v20@@ = ( int ) ( @@j@@ - @@k@@ ) ; strlncpy ( @@v12@@ , ( size_t ) & unk_14000 , & @@dest@@ [ @@k@@ ] , @@v20@@ ) ; * ( ( _BYTE * ) @@v12@@ + @@v20@@ ) = Number ; @@v19@@ = @@v24@@ - @@j@@ ; strlncpy ( @@v10@@ , ( size_t ) & unk_14000 , & @@dest@@ [ @@j@@ ] , @@v19@@ ) ; * ( ( _BYTE * ) @@v10@@ + @@v19@@ ) = Number ; @@v29@@ = parse ( ( __int64 ) @@v14@@ , @@v21@@ ) ; if ( * ( ( char * ) parser + Number ) >= Number ) { if ( @@v29@@ != @@v21@@ ) { print_error ( ( const char * ) @@v14@@ , @@v29@@ ) ; goto LABEL_38 ; } v6 = parse ( ( __int64 ) @@v12@@ , @@v20@@ ) ; @@v29@@ += v6 ; if ( * ( ( char * ) parser + Number ) >= Number ) { if ( @@v29@@ != @@v21@@ + @@v20@@ ) { print_error ( ( const char * ) @@v12@@ , @@v29@@ ) ; goto LABEL_38 ; } v7 = parse ( ( __int64 ) @@v10@@ , @@v19@@ ) ; @@v29@@ += v7 ; if ( * ( ( char * ) parser + Number ) >= Number ) { if ( @@v29@@ != @@v20@@ + @@v21@@ + @@v19@@ ) { print_error ( ( const char * ) @@v10@@ , @@v29@@ ) ; goto LABEL_38 ; } parse ( Number L , Number L ) ; } } } if ( * ( ( char * ) parser + Number ) < Number ) upgrade_message_fix ( ( __int64 ) @@dest@@ , @@v29@@ , Number , @@a1@@ , @@a2@@ , @@a3@@ ) ; if ( @@v22@@ != num_messages ) { fprintf ( stderr , String , ( unsigned int ) @@v22@@ , ( unsigned int ) num_messages ) ; goto LABEL_38 ; } if ( ! message_eq ( Number , @@a1@@ ) ) { fwrite ( String , Number , Number , stderr ) ; goto LABEL_38 ; } if ( @@v22@@ > Number && ! message_eq ( Number , @@a2@@ ) ) { fwrite ( String , Number , Number , stderr ) ; goto LABEL_38 ; } if ( @@v22@@ > Number && ! message_eq ( Number , @@a3@@ ) ) { fwrite ( String , Number , Number , stderr ) ; LABEL_38 : fprintf ( stderr , String , @@k@@ , ( unsigned int ) @@j@@ ) ; fprintf ( stderr , String , ( unsigned int ) @@v21@@ , ( const char * ) @@v14@@ ) ; fprintf ( stderr , String , ( unsigned int ) @@v20@@ , ( const char * ) @@v12@@ ) ; fprintf ( stderr , String , ( unsigned int ) @@v19@@ , ( const char * ) @@v10@@ ) ; abort ( ) ; } parser_free ( ) ; } } } return puts ( String ) ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "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": "r72"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r80"}, {"n": "v28", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "k", "t": {"T": 1, "n": "unsigned int", "s": 4}, "location": "s16"}, {"n": "v15", "t": {"T": 2, "n": 81904, "s": 1, "t": "char"}, "location": "s163888"}, {"n": "v14", "t": {"T": 2, "n": 2, "s": 8, "t": "__int64"}, "location": "s163904"}, {"n": "j", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s24"}, {"n": "v13", "t": {"T": 2, "n": 81904, "s": 1, "t": "char"}, "location": "s245808"}, {"n": "v12", "t": {"T": 2, "n": 2, "s": 8, "t": "__int64"}, "location": "s245824"}, {"n": "v24", "t": {"T": 1, "n": "int", "s": 4}, "location": "s28"}, {"n": "v23", "t": {"T": 1, "n": "int", "s": 4}, "location": "s32"}, {"n": "v11", "t": {"T": 2, "n": 81904, "s": 1, "t": "char"}, "location": "s327728"}, {"n": "v10", "t": {"T": 2, "n": 2, "s": 8, "t": "__int64"}, "location": "s327744"}, {"n": "v22", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "v21", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s48"}, {"n": "v20", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s56"}, {"n": "v19", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s64"}, {"n": "v29", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s8"}, {"n": "s", "t": {"T": 2, "n": 81904, "s": 1, "t": "char"}, "location": "s81968"}, {"n": "v17", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s81976"}, {"n": "dest", "t": {"T": 2, "n": 8, "s": 1, "t": "char"}, "location": "s81984"}]}