{"name": "main", "code": "int __cdecl main ( int @@argc@@ , const char * * @@argv@@ , const char * * @@envp@@ ) { __int64 v3 ; __int64 v4 ; __int64 v5 ; __int64 v6 ; __int64 v7 ; __int64 @@v8@@ ; __int64 @@s@@ [ Number ] ; int @@v11@@ ; int @@v12@@ ; __int64 @@v13@@ ; int @@v14@@ ; char @@v15@@ [ Number ] ; __int64 @@v16@@ ; int @@v17@@ ; _BYTE @@v18@@ [ Number ] ; int @@v19@@ ; __int64 @@v20@@ ; __int64 @@v21@@ ; int @@v22@@ ; _BYTE @@v23@@ [ Number ] ; int @@v24@@ ; char @@v25@@ [ Number ] ; int @@v26@@ ; _BYTE @@v27@@ [ Number ] ; int @@v28@@ ; __int64 @@v29@@ ; __int64 @@v30@@ ; int @@v31@@ ; _BYTE @@v32@@ [ Number ] ; int @@v33@@ ; __int16 @@v34@@ ; const char * @@v35@@ ; void * @@ptr@@ ; const char * * @@n@@ ; int @@j@@ ; int @@i@@ ; int @@m@@ ; int @@l@@ ; int @@k@@ ; parser = Number L ; printf ( String , Number L ) ; for ( @@i@@ = Number ; requests [ Number * @@i@@ ] ; ++ @@i@@ ) ; for ( @@j@@ = Number ; responses [ Number * @@j@@ ] ; ++ @@j@@ ) ; test_preserve_data ( ) ; test_parse_url ( ) ; test_method_str ( ) ; test_header_overflow_error ( Number ) ; test_no_overflow_long_body ( Number , Number ) ; test_no_overflow_long_body ( Number , Number ) ; test_header_overflow_error ( Number ) ; test_no_overflow_long_body ( Number , Number ) ; test_no_overflow_long_body ( Number , Number ) ; test_header_content_length_overflow_error ( ) ; test_chunk_content_length_overflow_error ( ) ; for ( @@k@@ = Number ; @@k@@ < @@j@@ ; ++ @@k@@ ) test_message ( Number L * @@k@@ + Number ) ; for ( @@k@@ = Number ; @@k@@ < @@j@@ ; ++ @@k@@ ) test_message_pause ( Number L * @@k@@ + Number ) ; for ( @@k@@ = Number ; @@k@@ < @@j@@ ; ++ @@k@@ ) { if ( dword_61BC04 [ Number * @@k@@ ] ) { for ( @@l@@ = Number ; @@l@@ < @@j@@ ; ++ @@l@@ ) { if ( dword_61BC04 [ Number * @@l@@ ] ) { for ( @@m@@ = Number ; @@m@@ < @@j@@ ; ++ @@m@@ ) test_multiple3 ( Number L * @@k@@ + Number , ( __int64 ) & responses [ Number * @@l@@ ] , ( __int64 ) & responses [ Number * @@m@@ ] , ( __int64 ) & responses [ Number * @@l@@ ] , v3 , v4 ) ; } } } } test_message_count_body ( ( __int64 ) off_62B490 ) ; test_message_count_body ( ( __int64 ) off_64A560 ) ; @@ptr@@ = create_large_chunked_message ( Number , String ) ; memset ( @@s@@ , Number , Number ) ; @@s@@ [ Number ] = ( __int64 ) String ; @@s@@ [ Number ] = ( __int64 ) @@ptr@@ ; @@v11@@ = Number ; @@v12@@ = Number ; @@v13@@ = Number L ; @@v14@@ = Number ; strcpy ( @@v15@@ , String ) ; @@v16@@ = Number L ; @@v17@@ = Number ; memset ( @@v18@@ , Number , sizeof ( @@v18@@ ) ) ; @@v19@@ = Number ; @@v20@@ = Number ; @@v21@@ = Number L ; @@v22@@ = Number ; memset ( @@v23@@ , Number , sizeof ( @@v23@@ ) ) ; @@v24@@ = Number ; strcpy ( @@v25@@ , String ) ; @@v26@@ = Number ; memset ( @@v27@@ , Number , sizeof ( @@v27@@ ) ) ; @@v28@@ = Number ; @@v29@@ = Number ; @@v30@@ = Number L ; @@v31@@ = Number ; memset ( @@v32@@ , Number , sizeof ( @@v32@@ ) ) ; @@v33@@ = Number ; @@v34@@ = Number ; test_message_count_body ( ( __int64 ) @@s@@ ) ; free ( @@ptr@@ ) ; printf ( String ) ; test_scan ( ( __int64 ) off_64A560 , ( __int64 ) off_6E5970 , ( __int64 ) off_63ACF8 ) ; printf ( String ) ; test_scan ( ( __int64 ) off_688700 , ( __int64 ) off_678E98 , ( __int64 ) off_659DC8 ) ; puts ( String ) ; test_simple ( String , Number ) ; test_simple ( String , Number ) ; test_simple ( String , Number ) ; test_simple ( String , Number ) ; test_simple ( String , Number ) ; test_simple ( String , Number ) ; for ( @@n@@ = ( const char * * ) & all_methods_3677 ; * @@n@@ ; ++ @@n@@ ) { sprintf ( ( char * ) @@s@@ , String , * @@n@@ ) ; test_simple ( ( char * ) @@s@@ , Number ) ; } for ( @@n@@ = ( const char * * ) bad_methods_3683 ; * @@n@@ ; ++ @@n@@ ) { sprintf ( ( char * ) @@s@@ , String , * @@n@@ ) ; test_simple ( ( char * ) @@s@@ , Number ) ; } @@v35@@ = String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String ; test_simple ( String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String String , Number ) ; for ( @@k@@ = Number ; requests [ Number * @@k@@ ] ; ++ @@k@@ ) test_message ( Number L * @@k@@ + Number ) ; for ( @@k@@ = Number ; @@k@@ < @@i@@ ; ++ @@k@@ ) test_message_pause ( Number L * @@k@@ + Number ) ; for ( @@k@@ = Number ; @@k@@ < @@i@@ ; ++ @@k@@ ) { if ( dword_41A944 [ Number * @@k@@ ] ) { for ( @@l@@ = Number ; @@l@@ < @@i@@ ; ++ @@l@@ ) { if ( dword_41A944 [ Number * @@l@@ ] ) { for ( @@m@@ = Number ; @@m@@ < @@i@@ ; ++ @@m@@ ) test_multiple3 ( Number L * @@k@@ + Number , ( __int64 ) & requests [ Number * @@l@@ ] , ( __int64 ) & requests [ Number * @@m@@ ] , ( __int64 ) & requests [ Number * @@l@@ ] , v5 , v6 ) ; } } } } printf ( String ) ; test_scan ( ( __int64 ) off_4492A0 , ( __int64 ) off_458B08 , ( __int64 ) off_4492A0 ) ; printf ( String ) ; test_scan ( ( __int64 ) off_487440 , ( __int64 ) off_477BD8 , ( __int64 ) off_468370 ) ; printf ( String ) ; test_scan ( ( __int64 ) off_496CA8 , ( __int64 ) off_4A6510 , ( __int64 ) off_4B5D78 ) ; printf ( String ) ; test_scan ( ( __int64 ) off_4E46B0 , ( __int64 ) off_4F3F18 , ( __int64 ) off_512FE8 ) ; test_status_complete ( off_4E46B0 , off_4F3F18 , v7 , @@v8@@ ) ; puts ( String ) ; return Number ; }", "source": [{"n": "envp", "t": {"T": 3, "t": "const char *"}, "location": "r16"}, {"n": "v8", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r24"}, {"n": "argc", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "argv", "t": {"T": 3, "t": "const char *"}, "location": "r64"}, {"n": "m", "t": {"T": 1, "n": "int", "s": 4}, "location": "s12"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s16"}, {"n": "j", "t": {"T": 1, "n": "int", "s": 4}, "location": "s20"}, {"n": "n", "t": {"T": 3, "t": "const char *"}, "location": "s32"}, {"n": "k", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "ptr", "t": {"T": 3, "t": "void"}, "location": "s40"}, {"n": "v33", "t": {"T": 1, "n": "int", "s": 4}, "location": "s45152"}, {"n": "v32", "t": {"T": 2, "n": 2024, "s": 1, "t": "_BYTE"}, "location": "s47176"}, {"n": "v31", "t": {"T": 1, "n": "int", "s": 4}, "location": "s47180"}, {"n": "v30", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s47188"}, {"n": "v29", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s47196"}, {"n": "v28", "t": {"T": 1, "n": "int", "s": 4}, "location": "s47200"}, {"n": "v35", "t": {"T": 3, "t": "const char"}, "location": "s48"}, {"n": "v27", "t": {"T": 2, "n": 2024, "s": 1, "t": "_BYTE"}, "location": "s49224"}, {"n": "v26", "t": {"T": 1, "n": "int", "s": 4}, "location": "s49228"}, {"n": "v25", "t": {"T": 2, "n": 16, "s": 1, "t": "char"}, "location": "s49244"}, {"n": "v24", "t": {"T": 1, "n": "int", "s": 4}, "location": "s49248"}, {"n": "v23", "t": {"T": 2, "n": 2024, "s": 1, "t": "_BYTE"}, "location": "s51272"}, {"n": "v22", "t": {"T": 1, "n": "int", "s": 4}, "location": "s51276"}, {"n": "v21", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s51284"}, {"n": "v20", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s51292"}, {"n": "v19", "t": {"T": 1, "n": "int", "s": 4}, "location": "s51296"}, {"n": "v18", "t": {"T": 2, "n": 2008, "s": 1, "t": "_BYTE"}, "location": "s53304"}, {"n": "v17", "t": {"T": 1, "n": "int", "s": 4}, "location": "s53308"}, {"n": "v16", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s53316"}, {"n": "v15", "t": {"T": 2, "n": 24, "s": 1, "t": "char"}, "location": "s53340"}, {"n": "v14", "t": {"T": 1, "n": "int", "s": 4}, "location": "s53348"}, {"n": "v13", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s53376"}, {"n": "v12", "t": {"T": 1, "n": "int", "s": 4}, "location": "s63624"}, {"n": "v11", "t": {"T": 1, "n": "int", "s": 4}, "location": "s63632"}, {"n": "s", "t": {"T": 2, "n": 2, "s": 8, "t": "__int64"}, "location": "s63648"}, {"n": "l", "t": {"T": 1, "n": "int", "s": 4}, "location": "s8"}, {"n": "v34", "t": {"T": 1, "n": "__int16", "s": 2}, "location": "s80"}]}