C - GDB Python 漂亮的打印机uint64_t被解释为签名

Question

当我尝试使用：

class MyPrinter:
        def __init__(self, val):
                self.val = val
        def to_string(self):
                return str(self.val['fData'][0]) + ":" + "%016x" % (self.val['fData'][0]).cast(gdb.lookup_type("uint64_t"))

它打印

2929725441843584891:28a879c45a82df7b
但也
9918728419520062851:-7659990ddaef5a7d
当为val设置最高有效位时，它被解释为有符号。

fData[]是uint64_t.

我怎样才能避免这种情况？我的所有值都应该是无符号的。

Answer 1

至少

作为一种解决方法，这对我有用：

class MyPrinter:
        def __init__(self, val):
                self.val = val
        def to_hex(self, val):
                s = ''
                x = 7
                while (x >= 0):
                        s = s + "%02x" % ((val>>(x*8))&255)
                        x -= 1
                return s
        def to_string(self):
                return self.to_hex(self.val['fData'][0]) + self.to_hex(self.val['fData'][1])