From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sourceware-bugzilla@sourceware.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 2E7463858D32; Fri, 22 Mar 2024 17:50:11 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2E7463858D32
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org;
	s=default; t=1711129811;
	bh=hcBHuHSogbmnGG4/9FEtLL0qiS10t1Uw64wzrGe4plk=;
	h=From:To:Subject:Date:From;
	b=o8YqpNTut80L7Ze4s1q3nyY+uWgPqaXhTsgn1+5yHhPOKH3sXbnhGBqHTL48fz3pT
	 yyS+ML+oC1B27eF8nz5ft3YXmpJUJ6jK+AgaFDpTd+a/A9c7bHiO09TOFfgf7Kf8zG
	 dY/nw1VP1SGeQp9JoFMfncMoRESxjahyeXPvC9zI=
From: "fche at redhat dot com" <sourceware-bugzilla@sourceware.org>
To: libabigail@sourceware.org
Subject: [Bug default/31535] New: abidb: make a --check mode for tracking
 undefined symbols
Date: Fri, 22 Mar 2024 17:50:10 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: libabigail
X-Bugzilla-Component: default
X-Bugzilla-Version: unspecified
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: fche at redhat dot com
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at sourceware dot org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter cc target_milestone
Message-ID: <bug-31535-9487@http.sourceware.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://sourceware.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <libabigail.sourceware.org>

https://sourceware.org/bugzilla/show_bug.cgi?id=3D31535

            Bug ID: 31535
           Summary: abidb: make a --check mode for tracking undefined
                    symbols
           Product: libabigail
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: default
          Assignee: unassigned at sourceware dot org
          Reporter: fche at redhat dot com
                CC: libabigail at sourceware dot org
  Target Milestone: ---

abidb in --check mode runs a loop of abicompat invocations, between the tar=
get
binary and each possible implementation of each shared library it needs.  T=
his
does not detect cases where an undefined symbol from the binary is resolved=
 in
some but not all versions of the shared library pool.  That is, we don't tr=
ack
whether all its undefined symbols are in fact resolved. This is especially =
bad
if a symbol is defined by some but not all versions of a shared library.

This may be assisted by abicompat -u and manually tracking defined symbols =
from
various combinations of the candidate shared libraries.  Maybe it could be
detected during --submit time (since other candidate solibs for a new one a=
re
enumerable at that time).

--=20
You are receiving this mail because:
You are on the CC list for the bug.=