python - gdb python pretty printer 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
But also
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])