{"name": "test_header_overflow_error", "code": "__int64 __fastcall test_header_overflow_error ( int @@a1@@ ) { char * v1 ; __int64 v2 ; size_t v3 ; __int64 result ; char @@v5@@ [ Number ] ; __int64 @@v6@@ ; __int64 @@v7@@ ; char * @@s@@ ; int @@i@@ ; http_parser_init ( @@v5@@ , @@a1@@ == Number ) ; if ( @@a1@@ ) v1 = String ; else v1 = String ; @@s@@ = v1 ; v2 = strlen ( v1 ) ; @@v7@@ = http_parser_execute ( ( __int64 ) @@v5@@ , ( __int64 ) & settings_null , @@s@@ , v2 ) ; v3 = strlen ( @@s@@ ) ; if ( @@v7@@ != v3 ) __assert_fail ( String , String , Number , String ) ; @@s@@ = String ; @@v6@@ = strlen ( String ) ; for ( @@i@@ = Number ; ; ++ @@i@@ ) { if ( @@i@@ > Number ) { fwrite ( String , Number , Number , stderr ) ; abort ( ) ; } @@v7@@ = http_parser_execute ( ( __int64 ) @@v5@@ , ( __int64 ) & settings_null , @@s@@ , @@v6@@ ) ; if ( @@v7@@ != @@v6@@ ) break ; } result = @@v5@@ [ Number ] & Number ; if ( ( _BYTE ) result != Number ) __assert_fail ( String , String , Number , String ) ; return result ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "int", "s": 4}, "location": "r56"}, {"n": "s", "t": {"T": 3, "t": "char"}, "location": "s16"}, {"n": "v7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "i", "t": {"T": 1, "n": "int", "s": 4}, "location": "s4"}, {"n": "v5", "t": {"T": 2, "n": 32, "s": 1, "t": "char"}, "location": "s64"}]}