addr2line
addr2line(dso_name, addr, /*file=*/NULL, /*line_nr=*/NULL, dso,
if (!addr2line(dso_name, addr, &file, &line, dso,
if (!addr2line(dso_name, addr, &file, line, dso, /*unwind_inlines=*/true,
const char *addr2line = "addr2line -s -e /proc/$PPID/exe -fpai";
char cmd[strlen(addr2line) + strlen(pipeline) +
c += sprintf(c, "%s", addr2line);