mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 21:16:22 +00:00
jabber.developer2
c815c39cdd
Arch Linux ships a stripped ld-linux-x86-64.so.2, so Valgrind cannot find the memcmp/memcpy/strlen symbols it must redirect and exits at startup with "Fatal error at startup: a function redirection which is mandatory for this platform-tool combination cannot be set up". debuginfod is already installed in the image but was never wired up. Set DEBUGINFOD_URLS to the official Arch debuginfod server so Valgrind fetches the missing glibc debug symbols on demand and caches them.