The Fedora package update process promotes ABI compatibility of many critical path packages which contain C and C++ ELF shared libraries. This compatibility is enforced by statically analysing each package update in its binary form. At the moment, the result of that analysis has an informative value for each package maintainer.
In this talk we present the current status of the Libabigail static analysis framework used to enforce ABI compatibility in Fedora. Some of the most recent developments are highlighted and their possible use to improve the Fedora ABI verification process are considered.
The talk also intends to foster some needed discussions about how we, as a community, want to use ABI compatibility analysis in the gating process of Fedora package updates.
This talk is meant to be presented by Dodji Seketeli and Sinny Kumari who have been working on the Fedora ABI verification infrastructure so far.
Metadata Update from @bex: - Issue assigned to bex
Metadata Update from @bex: - Issue tagged with: Talk Accepted
Metadata Update from @bex: - Issue close_status updated to: Talk Scheduled - Issue status updated to: Closed (was: Open)
Login to comment on this ticket.