Аннотирование ELF-файлов compile-time информацией для последующего анализа

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

Михаил расскажет, для чего это может пригодится, как создаётся на этапе компиляции и дальнейшее применение, как Самсунг встроили данную технологию у себя в компилятор GNU GCC и как они ею пользуются.