{"name": "test_multiple3", "code": "void __fastcall test_multiple3 ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ , __int64 @@a4@@ , __int64 @@a5@@ , __int64 @@a6@@ ) { size_t v6 ; size_t v7 ; size_t v8 ; void * @@v9@@ ; __int64 v10 ; size_t v11 ; __int64 @@v12@@ [ Number ] ; __int64 @@v13@@ ; __int64 @@v14@@ ; __int64 @@v15@@ ; __int64 @@v16@@ ; char * @@dest@@ ; size_t @@v18@@ ; int @@v19@@ ; @@v15@@ = @@a1@@ ; @@v14@@ = @@a2@@ ; @@v13@@ = @@a3@@ ; @@v19@@ = count_parsed_messages ( Number , @@a1@@ , @@a2@@ , @@a3@@ , @@a5@@ , @@a6@@ ) ; v6 = strlen ( * ( const char * * ) ( @@v15@@ + Number ) ) ; v7 = strlen ( * ( const char * * ) ( @@v14@@ + Number ) ) + v6 ; v8 = v7 + strlen ( * ( const char * * ) ( @@v13@@ + Number ) ) + Number ; @@v18@@ = v8 - Number ; @@v12@@ [ Number ] = v8 ; @@v12@@ [ Number ] = Number L ; @@v9@@ = alloca ( Number * ( ( v8 + Number ) / Number ) ) ; @@dest@@ = ( char * ) @@v12@@ ; LOBYTE ( @@v12@@ [ Number ] ) = Number ; strcat ( ( char * ) @@v12@@ , * ( const char * * ) ( @@v15@@ + Number ) ) ; strcat ( @@dest@@ , * ( const char * * ) ( @@v14@@ + Number ) ) ; strcat ( @@dest@@ , * ( const char * * ) ( @@v13@@ + Number ) ) ; parser_init ( * ( _DWORD * ) ( @@v15@@ + Number ) ) ; v10 = strlen ( @@dest@@ ) ; @@v16@@ = parse ( ( __int64 ) @@dest@@ , v10 ) ; if ( * ( ( char * ) parser + Number ) >= Number ) { v11 = strlen ( @@dest@@ ) ; if ( @@v16@@ != v11 ) { print_error ( @@dest@@ , @@v16@@ ) ; abort ( ) ; } @@v16@@ = parse ( Number L , Number L ) ; if ( @@v16@@ ) { print_error ( @@dest@@ , @@v16@@ ) ; abort ( ) ; } } else { upgrade_message_fix ( ( __int64 ) @@dest@@ , @@v16@@ , Number , @@v15@@ , @@v14@@ , @@v13@@ ) ; } if ( @@v19@@ != num_messages ) { fprintf ( stderr , String , ( unsigned int ) num_messages ) ; abort ( ) ; } if ( ! message_eq ( Number , @@v15@@ ) ) abort ( ) ; if ( @@v19@@ > Number && ! message_eq ( Number , @@v14@@ ) ) abort ( ) ; if ( @@v19@@ > Number && ! message_eq ( Number , @@v13@@ ) ) abort ( ) ; parser_free ( ) ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r24"}, {"n": "v9", "t": {"T": 3, "t": "void"}, "location": "r40"}, {"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "a2", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r64"}, {"n": "a5", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r72"}, {"n": "a6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r80"}, {"n": "v12", "t": {"T": 2, "n": 3, "s": 8, "t": "__int64"}, "location": "s112"}, {"n": "v19", "t": {"T": 1, "n": "int", "s": 4}, "location": "s36"}, {"n": "v18", "t": {"T": 1, "n": "size_t", "s": 8}, "location": "s48"}, {"n": "dest", "t": {"T": 3, "t": "char"}, "location": "s56"}, {"n": "v16", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s64"}, {"n": "v15", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s72"}, {"n": "v14", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s80"}, {"n": "v13", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s88"}]}