GDB Python API：从地址获取符号名

在GDB shell中，我可以从如下地址获取符号名称：

(gdb) info symbol 0x405ece
top::test_thread() in section .text of test_procs

---

如何使用pythongdbapi（）实现同样的功能？有可能吗？

类似的方法应该有效（未经测试）：

---

在我的例子中似乎不需要迭代，因为我事先知道指针持有函数或methodHmm的有效地址。。此外，文件似乎也不正确。它不会为无效地址返回None，而是引发运行时异常

block = gdb.block_for_pc(0x405ece)
while block and not block.function:
  block = block.superblock

print block.function.print_name