#84 [talk] Status of the ABI compatibility verifier in Fedora
Closed: Talk Scheduled 2 years ago Opened 2 years ago by dodji.

Status of the ABI compatibility verifier in Fedora

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

2 years ago

Metadata Update from @bex:
- Issue tagged with: Talk Accepted

2 years ago

Metadata Update from @bex:
- Issue close_status updated to: Talk Scheduled
- Issue status updated to: Closed (was: Open)

2 years ago

Login to comment on this ticket.

Metadata