Центр верификации Linux выпустил ABI Compliance Checker

Центр верификации ОС Linux, функционирующий при Институте системного программирования (ИСП) РАН, объявил о публичной доступности нового инструмента для тестирования бинарной совместимости различных версий динамических библиотек — ABI Compliance Checker.

Сообщается, что ABI Compliance Checker позволяет обнаружить изменения в публичном интерфейсе библиотеки, которые могут привести к некорректной работе приложений после её обновления. Важным отличием инструмента от существующих аналогов называется детальный анализ типов параметров экспортируемых функций на основе разбора заголовочных файлов библиотеки. ABI Compliance Checker рекомендован для использования разработчиками библиотек и инженерами сопровождения дистрибутивов, которые заинтересованы в предоставлении своим пользователям стабильного бинарного интерфейса.

ABI Compliance Checker был разработан в рамках LSB Infrastructure Program, совместной программы Института системного программирования РАН и организации Linux Foundation. Инструмент распространяется под лицензией GPL v2.0. Скачать его можно с сайта LSB Infrastructure Program.