{"name": "map__kmap", "code": "__int64 __fastcall map__kmap ( __int64 @@a1@@ ) { return @@a1@@ + Number ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}]}
{"name": "report__warn_kptr_restrict", "code": "unsigned __int64 __fastcall report__warn_kptr_restrict ( __int64 @@a1@@ ) { const char * @@v2@@ ; __int64 @@v3@@ ; __int64 @@v4@@ ; unsigned __int64 @@v5@@ ; @@v5@@ = __readfsqword ( Number ) ; @@v3@@ = * ( _QWORD * ) ( * ( _QWORD * ) ( @@a1@@ + Number ) + Number L ) ; @@v4@@ = map__kmap ( @@v3@@ ) ; if ( ! @@v3@@ || ( * ( _BYTE * ) ( * ( _QWORD * ) ( @@v3@@ + Number ) + Number L ) & Number ) != Number && ( ! * ( _QWORD * ) @@v4@@ || ! * ( _QWORD * ) ( * ( _QWORD * ) @@v4@@ + Number L ) ) ) { @@v2@@ = String ; if ( @@v3@@ && * ( _QWORD * ) ( * ( _QWORD * ) ( @@v3@@ + Number ) + Number L ) ) @@v2@@ = String ; ui__warning ( String String String String String String String String , @@v2@@ ) ; } return __readfsqword ( Number ) ^ @@v5@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s24"}, {"n": "v3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s32"}, {"n": "v2", "t": {"T": 3, "t": "const char"}, "location": "s40"}, {"n": "v5", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}