{"name": "vringh_init_user", "code": "__int64 __fastcall vringh_init_user ( __int64 @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ , __int64 @@a4@@ , __int64 @@a5@@ , __int64 @@a6@@ , __int64 @@a7@@ ) { __int64 @@result@@ ; if ( ( _DWORD ) @@a3@@ && ( unsigned int ) @@a3@@ <= Number && ( ( unsigned int ) @@a3@@ & ( ( _DWORD ) @@a3@@ - Number ) ) == Number ) { * ( _BYTE * ) @@a1@@ = ( @@a2@@ & Number ) != Number ; * ( _BYTE * ) ( @@a1@@ + Number ) = ( @@a2@@ & Number ) != Number ; * ( _BYTE * ) ( @@a1@@ + Number ) = @@a4@@ ; * ( _DWORD * ) ( @@a1@@ + Number ) = Number ; * ( _WORD * ) ( @@a1@@ + Number ) = Number ; * ( _WORD * ) ( @@a1@@ + Number ) = Number ; * ( _DWORD * ) ( @@a1@@ + Number ) = @@a3@@ ; * ( _QWORD * ) ( @@a1@@ + Number ) = @@a5@@ ; * ( _QWORD * ) ( @@a1@@ + Number ) = @@a6@@ ; * ( _QWORD * ) ( @@a1@@ + Number ) = @@a7@@ ; @@result@@ = Number L ; } else { vringh_bad ( String , ( unsigned int ) @@a3@@ , @@a3@@ , @@a4@@ , @@a5@@ , @@a6@@ ) ; @@result@@ = Number L ; } return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r24"}, {"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": "result", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r8"}, {"n": "a6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r80"}, {"n": "a7", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s-16"}]}
{"name": "vringh_bad", "code": "int vringh_bad ( const char * @@a1@@ , __int64 @@a2@@ , __int64 @@a3@@ , __int64 @@a4@@ , __int64 @@a5@@ , __int64 @@a6@@ , ... ) { int @@result@@ ; gcc_va_list @@arg@@ ; __int64 @@v8@@ ; __int64 @@v9@@ ; __int64 @@v10@@ ; __int64 @@v11@@ ; __int64 @@v12@@ ; @@v8@@ = @@a2@@ ; @@v9@@ = @@a3@@ ; @@v10@@ = @@a4@@ ; @@v11@@ = @@a5@@ ; @@v12@@ = @@a6@@ ; @@result@@ = vringh_rs_4301 ; if ( vringh_rs_4301 ) { @@arg@@ [ Number ] . gp_offset = Number ; va_start ( @@arg@@ , @@a6@@ ) ; printf ( & format ) ; @@result@@ = vprintf ( @@a1@@ , @@arg@@ ) ; } return @@result@@ ; }", "source": [{"n": "a3", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r16"}, {"n": "a4", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r24"}, {"n": "a1", "t": {"T": 3, "t": "const char"}, "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": "result", "t": {"T": 1, "n": "int", "s": 4}, "location": "r8"}, {"n": "a6", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r80"}, {"n": "v12", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s136"}, {"n": "v11", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s144"}, {"n": "v10", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s152"}, {"n": "v9", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s160"}, {"n": "v8", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "s168"}, {"n": "arg", "t": {"T": 2, "n": 1, "s": 24, "t": "__va_list_tag"}, "location": "s200"}]}