{"name": "dso__set_basename", "code": "unsigned __int64 __fastcall dso__set_basename ( __int64 @@a1@@ ) { char * @@v1@@ ; unsigned __int64 @@v3@@ ; @@v3@@ = __readfsqword ( Number ) ; @@v1@@ = _xpg_basename ( * ( char * * ) ( @@a1@@ + Number ) ) ; dso__set_short_name ( @@a1@@ , @@v1@@ ) ; return __readfsqword ( Number ) ^ @@v3@@ ; }", "source": [{"n": "a1", "t": {"T": 1, "n": "__int64", "s": 8}, "location": "r56"}, {"n": "v1", "t": {"T": 3, "t": "char"}, "location": "r8"}, {"n": "v3", "t": {"T": 1, "n": "unsigned __int64", "s": 8}, "location": "s8"}]}