diff --git a/.github/workflows/autobuild.yaml b/.github/workflows/autobuild.yaml index d978da5..c20d1d0 100644 --- a/.github/workflows/autobuild.yaml +++ b/.github/workflows/autobuild.yaml @@ -143,6 +143,9 @@ jobs: asset_name: clangd-${{ matrix.config.name }}-${{ github.event.release.tag_name }}.zip asset_path: clangd.zip asset_content_type: application/zip + - name: Check binary compatibility + if: matrix.config.name == 'linux' + run: .github/worflows/lib_compat_test.py --lib=GLIBC_2.18 # Create the release, and upload the artifacts to it. finalize: runs-on: ubuntu-latest diff --git a/.github/workflows/lib_compat_test.py b/.github/workflows/lib_compat_test.py new file mode 100755 index 0000000..25ce685 --- /dev/null +++ b/.github/workflows/lib_compat_test.py @@ -0,0 +1,70 @@ +#!/usr/bin/env python3 + +# Verifies a binary uses only dynamic symbols from whitelisted library versions. +# Prints the disallowed symbols and their versions on failure. +# Usage: lib_compat_test.py bin/clangd --lib=GLIBC_2.18 + +import argparse +import subprocess +import sys + +parser = argparse.ArgumentParser() +parser.add_argument('binary') +parser.add_argument('--lib', action='append', default=[], + help="Whitelist a library, e.g. GLIBC_2.18 or GLIBC") +parser.add_argument('--sym', action='append', default=[], + help="Whitelist a symbol, e.g. crc32") +args = parser.parse_args() + +# Parses GLIBC_2.3 into ("GLIBC", [2,3]) +# Parses GLIBC into ("GLIBC", None) +def parse_version(version): + parts = version.split('_', 1) + if len(parts) == 1: + return (version, None) + return (parts[0], [int(p) for p in parts[1].split('.')]) + +lib_versions = dict([parse_version(v) for v in args.lib]) + +# Determines whether an optionally-versioned symbol is acceptable. +def accept_symbol(sym): + if sym in args.sym: + return True + split = sym.split('@', 1) + return (split[0] in args.sym) or (len(split) == 2 and accept_lib(split[1])) + +# Determines whether all symbols with version 'lib' are acceptable. +def accept_lib(lib): + (lib, ver) = parse_version(lib) + if not lib in lib_versions: # Non-whitelisted library. + return False + if lib_versions[lib] is None: # Unrestricted version + return True + if ver is None: # Lib has non-numeric version, library restricts version. + return False + return ver <= lib_versions[lib] + +# Run nm to find the undefined symbols, and check whether each is acceptable. +nm = subprocess.run(['nm', '-uD', '--with-symbol-version', args.binary], + stdout=subprocess.PIPE, text=True) +nm.check_returncode() +status = 0 +for line in nm.stdout.splitlines(): + # line = " U foo@GLIBC_2.3" + parts = line.split() + if len(parts) != 2: + print("Unparseable nm output: ", line, file=sys.stderr) + status = 2 + continue + if parts[0] == 'w': # Weak-undefined symbol, not actually required. + continue + if not accept_symbol(parts[1]): + print(parts[1]) + status = 1 +if status == 1: + print("Binary depends on disallowed symbols above. Use some combination of:\n" + " - relax the whitelist by adding --lib and --sym flags to this test\n" + " - force older symbol versions by updating lib_compat.h\n" + " - avoid dynamic dependencies by changing CMake configuration\n" + " - remove bad dependencies from the code", file=sys.stderr) +sys.exit(status)