--- /dev/null
+#
+# Author: Zoltan Varga (vargaz@gmail.com)
+# License: MIT/X11
+#
+
+#
+# This is a mono support mode for a python-enabled gdb:
+# http://sourceware.org/gdb/wiki/PythonGdb
+# Usage:
+# - copy/symlink this file, plus mono-gdbinit to the directory where the mono
+# executable lives.
+# - run mono under gdb, or attach to a mono process using gdb
+# - Type 'xdb' in gdb to load/reload the debugging info emitted by the runtime.
+# - The debug info is emitted to a file called xdb.s in the current working directory.
+# When attaching to a mono process, make sure you are in the same directory.
+#
+
+import os
+
+class StringPrinter:
+ "Print a C# string"
+
+ def __init__(self, val):
+ self.val = val
+
+ def to_string(self):
+ if int(self.val.cast (gdb.lookup_type ("guint64"))) == 0:
+ return "null"
+
+ obj = self.val.cast (gdb.lookup_type ("MonoString").pointer ()).dereference ()
+ len = obj ['length']
+ chars = obj ['chars']
+ i = 0
+ res = ['"']
+ while i < len:
+ val = (chars.cast(gdb.lookup_type ("gint64")) + (i * 2)).cast(gdb.lookup_type ("gunichar2").pointer ()).dereference ()
+ if val >= 256:
+ c = "\u%X" % val
+ else:
+ c = chr (val)
+ res.append (c)
+ i = i + 1
+ res.append ('"')
+ return ''.join (res)
+
+def stringify_class_name(ns, name):
+ if ns == "System":
+ if name == "Byte":
+ return "byte"
+ if name == "String":
+ return "string"
+ if ns == "":
+ return name
+ else:
+ return "%s.%s" % (ns, name)
+
+class ArrayPrinter:
+ "Print a C# array"
+
+ def __init__(self, val, class_ns, class_name):
+ self.val = val
+ self.class_ns = class_ns
+ self.class_name = class_name
+
+ def to_string(self):
+ obj = self.val.cast (gdb.lookup_type ("MonoArray").pointer ()).dereference ()
+ length = obj ['max_length']
+ return "%s [%d]" % (stringify_class_name (self.class_ns, self.class_name [0:len(self.class_name) - 2]), int(length))
+
+class ObjectPrinter:
+ "Print a C# object"
+
+ def __init__(self, val):
+ if str(val.type)[-1] == "&":
+ self.val = val.address.cast (gdb.lookup_type ("MonoObject").pointer ())
+ else:
+ self.val = val.cast (gdb.lookup_type ("MonoObject").pointer ())
+
+ class _iterator:
+ def __init__(self,obj):
+ self.obj = obj
+ self.iter = self.obj.type.fields ().__iter__ ()
+ pass
+
+ def __iter__(self):
+ return self
+
+ def next(self):
+ field = self.iter.next ()
+ try:
+ if str(self.obj [field.name].type) == "object":
+ # Avoid recursion
+ return (field.name, self.obj [field.name].cast (gdb.lookup_type ("void").pointer ()))
+ else:
+ return (field.name, self.obj [field.name])
+ except:
+ # Superclass
+ return (field.name, self.obj.cast (gdb.lookup_type ("%s" % (field.name))))
+
+ def children(self):
+ # FIXME: It would be easier if gdb.Value would support iteration itself
+ # It would also be better if we could return None
+ if int(self.val.cast (gdb.lookup_type ("guint64"))) == 0:
+ return {}.__iter__ ()
+ try:
+ obj = self.val.dereference ()
+ class_ns = obj ['vtable'].dereference ()['klass'].dereference ()['name_space'].string ()
+ class_name = obj ['vtable'].dereference ()['klass'].dereference ()['name'].string ()
+ if class_name [-2:len(class_name)] == "[]":
+ return {}.__iter__ ()
+ gdb_type = gdb.lookup_type ("struct %s_%s" % (class_ns.replace (".", "_"), class_name))
+ return self._iterator(obj.cast (gdb_type))
+ except:
+ print sys.exc_info ()[0]
+ print sys.exc_info ()[1]
+ return {}.__iter__ ()
+
+ def to_string(self):
+ if int(self.val.cast (gdb.lookup_type ("guint64"))) == 0:
+ return "null"
+ try:
+ obj = self.val.dereference ()
+ class_ns = obj ['vtable'].dereference ()['klass'].dereference ()['name_space'].string ()
+ class_name = obj ['vtable'].dereference ()['klass'].dereference ()['name'].string ()
+ if class_ns == "System" and class_name == "String":
+ return StringPrinter (self.val).to_string ()
+ if class_name [-2:len(class_name)] == "[]":
+ return ArrayPrinter (self.val,class_ns,class_name).to_string ()
+ if class_ns != "":
+ try:
+ gdb_type = gdb.lookup_type ("struct %s.%s" % (class_ns, class_name))
+ except:
+ # Maybe there is no debug info for that type
+ return "%s.%s" % (class_ns, class_name)
+ #return obj.cast (gdb_type)
+ return "%s.%s" % (class_ns, class_name)
+ return class_name
+ except:
+ print sys.exc_info ()[0]
+ print sys.exc_info ()[1]
+ # FIXME: This can happen because we don't have liveness information
+ return self.val.cast (gdb.lookup_type ("guint64"))
+
+class MonoMethodPrinter:
+ "Print a MonoMethod structure"
+
+ def __init__(self, val):
+ self.val = val
+
+ def to_string(self):
+ if int(self.val.cast (gdb.lookup_type ("guint64"))) == 0:
+ return "0x0"
+ val = self.val.dereference ()
+ klass = val ["klass"].dereference ()
+ class_name = stringify_class_name (klass ["name_space"].string (), klass ["name"].string ())
+ return "\"%s:%s ()\"" % (class_name, val ["name"].string ())
+ # This returns more info but requires calling into the inferior
+ #return "\"%s\"" % (gdb.parse_and_eval ("mono_method_full_name (%s, 1)" % (str (int (self.val.cast (gdb.lookup_type ("guint64")))))).string ())
+
+class MonoClassPrinter:
+ "Print a MonoClass structure"
+
+ def __init__(self, val):
+ self.val = val
+
+ def to_string(self):
+ if int(self.val.cast (gdb.lookup_type ("guint64"))) == 0:
+ return "0x0"
+ klass = self.val.dereference ()
+ class_name = stringify_class_name (klass ["name_space"].string (), klass ["name"].string ())
+ return "\"%s\"" % (class_name)
+ # This returns more info but requires calling into the inferior
+ #return "\"%s\"" % (gdb.parse_and_eval ("mono_type_full_name (&((MonoClass*)%s)->byval_arg)" % (str (int ((self.val).cast (gdb.lookup_type ("guint64")))))))
+
+def lookup_pretty_printer(val):
+ t = str (val.type)
+ if t == "object":
+ return ObjectPrinter (val)
+ if t[0:5] == "class" and t[-1] == "&":
+ return ObjectPrinter (val)
+ if t == "string":
+ return StringPrinter (val)
+ if t == "MonoMethod *":
+ return MonoMethodPrinter (val)
+ if t == "MonoClass *":
+ return MonoClassPrinter (val)
+ return None
+
+def register_csharp_printers(obj):
+ "Register C# pretty-printers with objfile Obj."
+
+ if obj == None:
+ obj = gdb
+
+ obj.pretty_printers.append (lookup_pretty_printer)
+
+register_csharp_printers (gdb.current_objfile())
+
+class MonoSupport(object):
+
+ def __init__(self):
+ self.s_size = 0
+
+ def run_hook(self):
+ if os.access ("xdb.s", os.F_OK):
+ os.remove ("xdb.s")
+ gdb.execute ("set environment MONO_XDEBUG gdb")
+
+ def stop_hook(self):
+ # Called when the program is stopped
+ # Need to recompile+reload the xdb.s file if needed
+ # FIXME: Need to detect half-written files created when the child is
+ # interrupted while executing the xdb.s writing code
+ # FIXME: Handle appdomain unload
+ if os.access ("xdb.s", os.F_OK):
+ new_size = os.stat ("xdb.s").st_size
+ if new_size > self.s_size:
+ sofile = "xdb.so"
+ gdb.execute ("shell as -o xdb.o xdb.s && ld -shared -o %s xdb.o" % sofile)
+ # FIXME: This prints messages which couldn't be turned off
+ gdb.execute ("add-symbol-file %s 0" % sofile)
+ self.s_size = new_size
+
+class RunHook (gdb.Command):
+ def __init__ (self):
+ super (RunHook, self).__init__ ("hook-run", gdb.COMMAND_NONE,
+ gdb.COMPLETE_COMMAND, pre_hook_of="run")
+
+ def invoke(self, arg, from_tty):
+ mono_support.run_hook ()
+
+print "Mono support loaded."
+
+mono_support = MonoSupport ()
+
+# This depends on the changes in gdb-python.diff to work
+#RunHook ()
+
+# Register our hooks
+# This currently cannot be done from python code
+
+exec_file = gdb.current_objfile ().filename
+# FIXME: Is there a way to detect symbolic links ?
+if os.stat (exec_file).st_size != os.lstat (exec_file).st_size:
+ exec_file = os.readlink (exec_file)
+exec_dir = os.path.dirname (exec_file)
+gdb.execute ("source %s/%s-gdbinit" % (exec_dir, os.path.basename (exec_file)))