感谢Yakov Galka的评论，我找到了一个解决我想做的事情的方法：

#define __USE_GNU
#include <dlfcn.h>

// instruction address for which I want the source location
const void* code_addr = 0xabcdef;

// call dladdr to figure out base address in virtual memory
Dl_info info;
dladdr(code_addr, &info);

size_t base_address = (size_t) info.dli_fbase;
size_t relative_address = ((size_t) code_addr) - base_address;
// in my case: relative_address == 0x126c

然后，我可以调用addr2line来确定源位置。在我的例子中，所有东西都被喜欢到a.out中，所以我可以调用

addr2line --basenames -i -e tasks.out 0x126c

然后输出如下内容：

filename.c:42