Some notes on the ELF \ud83e\udddd file format with references, explanations and\nsome examples.
\n"}, {"id": "http://www.gabriel.urdhr.fr/2015/05/29/core-file/", "title": "Anatomy of an ELF core file", "url": "https://www.gabriel.urdhr.fr/2015/05/29/core-file/", "date_published": "2015-05-29T00:00:00+02:00", "date_modified": "2015-05-29T00:00:00+02:00", "tags": ["computer", "system", "elf", "coredump"], "content_html": "The Executable and Linkable Format (ELF) \ud83e\udddd is used for\ncompilation outputs (.o files), executables, shared libraries and core dumps.\nThe first cases are documented in the System V ABI\nspecification\nand the Tools Interface Standard (TIS) ELF\nspecification but there does not\nseem to be much documentation about the usage of the ELF format for core dumps.\nHere are some notes on this.
Some notes on ELF \ud83e\udddd loading and dynamic linking mainly for GNU userland\n(ld.so, libc, libdl) running on top of the Linux kernel. Some\nprior knowlegde on the topic (virtual memory, shared objects,\nsections) might be useful to understand this.
In an attempt to simplify the development around the SimGrid\nmodel-checker, we were thinking about moving the model-checker out in\na different process. Another different approach would be to use a\ndynamic-linker isolation of the different components of the process.\nHere is a summary of the goals, problems and design issues surrounding\nthese topics.
\n"}]}