// print-addresses.cpp
#include <stdio.h>

void foo() { }

void bar() { }

void moo() { }

int main(int argc,const char** argv) {
  printf("%p\n",foo);
  printf("%p\n",bar);
  printf("%p\n",moo);
  return 0;
}

它会打印一些数字

013510F0
013510A0
01351109

如何将这些数字转换回正确的符号？实际上,我希望能够做到这一点

print-addresses > address.txt
addresses-to-symbols < address.txt

并打印出来

foo
bar
moo

我知道这与Debug Interface Access SDK有关,但我并不完全清楚我是如何从地址转到符号的.