ABIcheck is a tool for checking an application's compliance with a library's defined Application Binary Interface . It relies on ABI definition information contained in the library. Example definitions are given for GNOME and glibc.