Dodji Seketeli
Dodji is a Software Engineer, member of the Platform Tools Group, at Red Hat. He mainly hacks on low level ABI analysis tools these days.
Dodji Seketeli's contributions
How libabigail 2.2 supports multiple debugging formats
Dodji Seketeli
Learn how internal architectural changes in the new libabigail 2.2 release allow the framework to support multiple debugging formats in addition to DWARF.
What's new in Libabigail 2.0
Dodji Seketeli
Find out what's new in Libabigail 2.0, including updates to the symbol table reader component, ABIXML format, and moving to the Apache 2 license.
How to write an ABI compliance checker using Libabigail
Dodji Seketeli
Write a Python-based application binary interface (ABI) checker to ensure backward compatibility between shared libraries in Linux systems
Changes made to the Libabigail ABI change analysis framework in 2018
Dodji Seketeli
This article describes changes that were made to the Abigail library (Libabigail) application binary interface (ABI) change analysis framework and its associated set of tools in 2018.
Analyzing Changes to the Binary Interface Between the Linux Kernel and its Modules
Dodji Seketeli
This article is for people interested in long-term Linux kernel maintenance. It introduces you to tools that can help keep the binary interfaces between the kernel and its loadable modules stable during the entire lifetime of a supposedly stable kernel, while code is modified.
ABI change analysis of Fedora packages
Dodji Seketeli
In 2016, many improvements happened in the ABI static analysis framework that is Libabigail. In this article we'll present how fedabipkgdiff, a new Libabigail tool can help Fedora users, developers and others to analyze ABI changes of libraries carried by packages of the distribution. Introduction As many of you already know, the engine used to build RPM packages in the Fedora build system is named Koji. Thus, one can get Fedora RPMs from Koji using a web browser. In that...
abipkgdiff: Ensuring ABI compliance for shared ELF library packages
Dodji Seketeli
Introduction Detecting and reviewing changes in the application binary interface (aka ABI) of ELF shared libraries has never been easier, notably since the creation of the Abigail project. As you might already know, a tool like abidiff now allows users to analyse the cause of ABI changes and assess their impact on the forward compatibility of the shared library being considered. It is less practical, though, to use that tool on a binary (RPM) package, because it expects individual libraries...
Address and Thread Sanitizers in GCC
Dodji Seketeli
Introduction Since their 4.8 version, the C and C++ compilers of the GNU Co mpiler Collection are equipped with built-in memory and data race errors detectors named Address Sanitizer and Thread Sanitizer. This article intends to quickly walk you through the highlights of these two interesting tools. Spotting common memory access errors ... When instructed to compile a given program, the Address Sanitizer sub-system of GCC emits additional code to instruments the memory accesses performed during the program's execution. Later...
How libabigail 2.2 supports multiple debugging formats
Learn how internal architectural changes in the new libabigail 2.2 release allow the framework to support multiple debugging formats in addition to DWARF.
What's new in Libabigail 2.0
Find out what's new in Libabigail 2.0, including updates to the symbol table reader component, ABIXML format, and moving to the Apache 2 license.
How to write an ABI compliance checker using Libabigail
Write a Python-based application binary interface (ABI) checker to ensure backward compatibility between shared libraries in Linux systems
Changes made to the Libabigail ABI change analysis framework in 2018
This article describes changes that were made to the Abigail library (Libabigail) application binary interface (ABI) change analysis framework and its associated set of tools in 2018.
Analyzing Changes to the Binary Interface Between the Linux Kernel and its Modules
This article is for people interested in long-term Linux kernel maintenance. It introduces you to tools that can help keep the binary interfaces between the kernel and its loadable modules stable during the entire lifetime of a supposedly stable kernel, while code is modified.
ABI change analysis of Fedora packages
abipkgdiff: Ensuring ABI compliance for shared ELF library packages
Address and Thread Sanitizers in GCC