{"name": "get_kernel_version", "code": "char * __fastcall get_kernel_version ( const char * @@a1@@ ) { FILE * @@stream@@ ; char * @@v3@@ ; char * v4 ; char * v5 ; char @@s@@ [ Number ] ; unsigned __int64 @@v7@@ ; @@v7@@ = __readfsqword ( Number ) ; sprintf ( @@s@@ , String , @@a1@@ ) ; @@stream@@ = fopen64 ( @@s@@ , String ) ; if ( ! @@stream@@ ) return Number L ; @@s@@ [ Number ] = Number ; fgets ( @@s@@ , Number , @@stream@@ ) ; fclose ( @@stream@@ ) ; v4 = strstr ( @@s@@ , String ) ; if ( ! v4 ) return Number L ; v5 = & v4 [ strlen ( String ) ] ; @@v3@@ = strchr ( v5 , Number ) ; if ( @@v3@@ ) * @@v3@@ = Number ; return strdup ( v5 ) ; }", "source": [{"n": "a1", "t": {"T": 3, "t": "const char"}, "location": "r56"}, {"n": "s", "t": {"T": 2, "n": 4104, "s": 1, "t": "char"}, "location": "s4112"}, {"n": "v3", "t": {"T": 3, "t": "char"}, "location": "s4128"}, {"n": "stream", "t": {"T": 3, "t": "FILE"}, "location": "s4136"}, {"n": "v7", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}