ABILINT(1)
okay so this is the abilint(1) page and Iβm already obsessed π β¨. Itβs manual section 1, bestie, and itβs all about validating an abigail ABI representation. Letβs get into it.
π 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 an 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. β¨
Lowkey important: the main intent of this tool is to help debugging issues in the underlying Libabigail library. Thatβs the actual main character energy here π
Also note: abilint can 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. No DWARF, no XML-serialization party π«Ά
π INVOCATION π
Run it like this, bestie:
abilint [options] [<abi-file1>]
π OPTIONS π
--abidiffβ perform an ABI comparison between the internal representation against the input ABIXML and the internal representation of the file saved to disk and read back into memory. The result of the comparison should be the empty set, unless Libabigail has a bug. Like, if itβs not empty, thatβs a bug alert π¨--annotateβ annotate the ABIXML output with comments above most elements. The comments are made of the pretty-printed form of types, declaration or even ELF symbols. The purpose is to make the ABIXML output more human-readable for debugging or documenting purposes. Cute and useful π--ctfβ extract ABI information from CTF debug information, if present in the given object.--debug-info-dir <path>β when reading an ELF input file which debug information is split out into a separate file, this option tellsabilintwhere to find that separate debug information file. Note thatpathmust 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 thenabidiffknows 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. iykyk π--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.--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.--helpβ display a short help message and exits.--load-all-typesβ analyze all the types coming from the ABIXML input, including those that are not reachable from exported declarations.--nooutβ do not display anything on standard output. The return code of the command is the only way to know if the command succeeded. Silent but lowkey powerful π€«--suppressions | suppr <path-to-suppression-specifications-file>β use a suppression specification file located atpath-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.--stdin | --β read the input content from standard input.--tuβ expect the input XML to represent a single translation unit.βverboseβ shows verbose messages about internal stuff. This is used to debug the tool and its underlying library. (Yes, thatβs the en dash as printed, bestie β keeping it exact π )βversion | -vβ display the version of the program and exit.
π AUTHOR π
Dodji Seketeli β the author, no cap π
π COPYRIGHT π
2014-2026, Red Hat, Inc. β periodt.
made with π by Libabigail, dated Oct 08, 2026 β now go validate that ABI, bestie π«Άβ¨
π¦ where this page comes from
- centos-stream 9: libabigail 3.0-1.el9 Β· Apache-2.0 WITH LLVM-exception
- centos-stream 9: libabigail 3.0-1.el9 Β· Apache-2.0 WITH LLVM-exception
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms