[Safec-announce] Safelang — безопасный компилятор на основе Clang

Представляем Safelang — безопасный компилятор на основе Clang (LLVM). Safelang [1] был впервые представлен и зарегистрирован [2] в 2024 году. Сейчас для скачивания доступны две сборки безопасного Clang. Ветка safelang-16 достигла паритета функциональности с SAFEC. На ветку safelang-19 выполнено портирование функциональности в части, относящейся к 3 классу безопасного компилятора. Сборка safelang-16-dev-x86_64-linux-2025-12-30.tar.xz — основана на Clang 16. Реализует три класса безопасного компилятора согласно ГОСТ Р 71206-2024 (опции -Safe3, -Safe2, -Safe1). Сборка safelang-19-30-clang-x86_64-linux.tar.xz — основана на Clang 19. Реализует третий класс безопасного компилятора согласно черновику новой редакции ГОСТ Р 71206. Мы планируем отдельно анонсировать предлагаемые изменения ГОСТ в начале следующего года. Подробная информация на уровне опций компилятора, реализующих функции безопасности, приведена в логе изменений [3]. В обеих сборках доступна компиляция для целевых платформ x86_64-unknown-linux-gnu и aarch64-unknown-linux-gnu. Для использования Safelang необходимо оформить лицензию через страницу оформления лицензий [4] и изучить readme в подкаталоге sentinel-runtime каталога safelang-public-release [5]. Скачать сборки Safelang может любой желающий по постоянной ссылке [5], где также будут публиковаться новые релизы. Следить за выходом новых версий можно с помощью страницы с логом изменений и список рассылки safec-announce(a)list.ispras.ru. [1]: https://safelang.ispras.ru [2]: https://fips.ru/registers-doc-view/fips_servlet?DB=EVM&DocNumber=202468… [3]: https://safecompiler.pages.ispras.ru/changelog/llvm/ [4]: https://www.ispras.ru/sdl/ [5]: https://download.ispras.ru/safelang