/dev/posts/

The ELF file format

Published:

Some notes on the ELF 🧝 file format with references, explanations and some examples.

Read more…

Anatomy of an ELF core file

Published:

The Executable and Linkable Format (ELF) 🧝 is used for compilation outputs (.o files), executables, shared libraries and core dumps. The first cases are documented in the System V ABI specification and the Tools Interface Standard (TIS) ELF specification but there does not seem to be much documentation about the usage of the ELF format for core dumps. Here are some notes on this.

Read more…

ELF loading and dynamic linking

Published:

Some notes on ELF 🧝 loading and dynamic linking mainly for GNU userland (ld.so, libc, libdl) running on top of the Linux kernel. Some prior knowlegde on the topic (virtual memory, shared objects, sections) might be useful to understand this.

Read more…

Better isolation for SimGridMC

Published:

In an attempt to simplify the development around the SimGrid model-checker, we were thinking about moving the model-checker out in a different process. Another different approach would be to use a dynamic-linker isolation of the different components of the process. Here is a summary of the goals, problems and design issues surrounding these topics.

Read more…

Page 1 of 1 | | | JSON Feed | Atom Feed