NAME

       abilint - validate an abigail ABI representation

       abilint  parses  the native XML representation of an ABI as emitted by abidw.  Once it has parsed the XML
       representation of the ABI, abilint builds and in-memory model from it.  It then tries to save it back  to
       an  XML  form,  to  standard output.  If that read-write operation succeeds chances are the input XML ABI
       representation is meaningful.

       Note that the main intent of this tool to help debugging issues in the underlying Libabigail library.

       Note also that abilint can also read an ELF input file, build  the  in-memory  model  for  its  ABI,  and
       serialize  that  model  back  into  XML  to  standard  output.   In that case, the ELF input file must be
       accompanied with its debug information in the DWARF format.

INVOCATION

          abilint [options] [<abi-file1>]

OPTIONS

          • --help

            Display a short help message and exits.

          • –version | -v

            Display the version of the program and exit.

          • --debug-info-dir <path>

            When reading an ELF input file which debug information is split  out  into  a  separate  file,  this
            options tells abilint where to find that separate debug information file.

            Note  that  path must point to the root directory under which the debug information is arranged in a
            tree-like manner.  Under Red Hat based systems, that directory is usually <root>/usr/lib/debug.

            Note also that this option is not mandatory for split debug information installed by  your  system’s
            package manager because then abidiff knows where to find it.

          • --diff

            For XML inputs, perform a text diff between the input and the memory model saved back to disk.  This
            can help to spot issues in the handling of the XML format by the underlying Libabigail library.

          • --noout

            Do  not display anything on standard output.  The return code of the command is the only way to know
            if the command succeeded.

          • --suppressions | suppr <path-to-suppression-specifications-file>

            Use a suppression specification file located at path-to-suppression-specifications-file.  Note  that
            this  option  can  appear  multiple  times  on  the command line.  In that case, all of the provided
            suppression specification files are taken into account.  ABI artifacts matched  by  the  suppression
            specifications are suppressed from the output of this tool.

          • --headers-dir | --hd <headers-directory-path-1>

            Specifies  where  to  find  the  public  headers  of  the  first shared library that the tool has to
            consider.  The tool will thus filter out types that are not defined in public headers.

          • --header-file | --hf <header-file-path>

            Specifies where to find one of the public headers of the abi file that the  tool  has  to  consider.
            The tool will thus filter out types that are not defined in public headers.

          • --stdin | --

            Read the input content from standard input.

          • --tu

            Expect the input XML to represent a single translation unit.

          • --ctf

            Extract ABI information from CTF debug information, if present in the given object.

AUTHOR

       Dodji Seketeli

COPYRIGHT

       2014-2024, Red Hat, Inc.

                                                  Mar 31, 2024                                        ABILINT(1)