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