Safec-announce December 2025

safec-announce@list.ispras.ru

1 participants
3 discussions

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

by Обновления БК SAFEC

Представляем 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=2024686547… [3]: https://safecompiler.pages.ispras.ru/changelog/llvm/ [4]: https://www.ispras.ru/sdl/ [5]: https://download.ispras.ru/safelang

1 month, 2 weeks

Changelog SAFEC 2025

by Обновления БК SAFEC

Итоги 2025 года (в основном) — накопившиеся изменения в SAFEC, о которых не было анонса. Всё это время исправно выходили новые версии и публиковался changelog. Исправлено ложное срабатывание -fsanitize=function (входит в -Safe1), встретившееся на QEMU. https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-comphash-canonical-… Добавлена новая опция --print-safe-options=<level>, которая печатает набор опций безопасного компилятора, эквивалентный опции -Safe<level>. https://safecompiler.pages.ispras.ru/changelog/gcc/#add-print-safe-options В конфигурацию сборки добавлен флаг --enable-checking=release, отключающий внутренние проверки компилятора, предназначенные для разработчиков. https://safecompiler.pages.ispras.ru/changelog/gcc/#use-enable-checking-rel… Исправлена внутренняя ошибка компилятора в коде диагностики -Wclobbered, встретившаяся при компиляции LXC. https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-ice-wclobbered-lost… Исправлена внутренняя ошибка компилятора в коде диагностики -Wclobbered, встретившаяся при компиляции Boost. https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-ice-wclobbered-due-… Исправлено поведение ThreadSanitizer при выводе summary: санитайзер ранее не распознавал стековые фреймы, порождённые вызванными из libtsan функциями, как внутренние, вследствие чего некорректно выводилось место ошибки. https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-tsan-frame-is-inter… Исправлена ошибка заголовочных файлов с проверками безопасности, встретившаяся в libtar. https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-safe-fortify-vsnpri… Исправлен некорректный запрет gets в случае, если до #include<stdio.h> слово gets определяется как макрос. https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-safe-fortify-add-un… Исправлена выдача диагностики о выходе за границы массива (-Warray-bounds) при использовании -Safe2. https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-safe2-warray-bounds Исправлена ошибка в addon-toolchain, приводившая к компоновке с системной libc, если в качестве директории для поиска библиотек (с помощью -L) была передана директория, содержащая компоненты libc. https://safecompiler.pages.ispras.ru/changelog/gcc/#force-linking-with-at-l… Исправлена ошибка, позволявшая переопределить уровень _FORTIFY_SOURCE, гарантируемый опцией -Safe[1..3], меньшим уровнем через командную строку. https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-fortify-forcing Исправлена ошибка, возникавшая при использовании опции -floc-var-per на архитектуре aarch64 при использовании векторных инструкций из набора SVE. https://safecompiler.pages.ispras.ru/changelog/gcc/#properly-avoid-exceedin… Внедрены исправления для CVE-2023-4039 — уязвимости опции -fstack-protector на архитектуре aarch64 для safec8—safec10. https://safecompiler.pages.ispras.ru/changelog/gcc/#cve-2023-4039 Опция -Wno-parameter-types переименована в -Wno-declaration-missing-parameter-type. https://safecompiler.pages.ispras.ru/changelog/gcc/#declaration-missing-par… Удалена опция --dump-sbom. https://safecompiler.pages.ispras.ru/changelog/gcc/#revert-sbom-functionali… Исправлены ошибки сборки некоторых PIE файлов с помощью safec8—safec10. https://safecompiler.pages.ispras.ru/changelog/gcc/#build-libraries-with-fp… Исправлена ошибка компоновщика в составе сборки addon-toolchain (safec8—safec10). https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-relocation-offset Отключена динамическая перестановка функций для уровней слабее -Safe1 в сборке addon-toolchain (safec8—safec10). https://safecompiler.pages.ispras.ru/changelog/gcc/#disable-faslr-below-saf… Исправлено поведение безусловной линковки с libubsan при использовании -Safe1 для freestanding программ. https://safecompiler.pages.ispras.ru/changelog/gcc/#fix-link-with-ubsan-for… Исправлена внутренняя ошибка компилятора при использовании опций -fadd-loc-var и -floc-var-per (-Safe1 -fno-dynamic-func-reorder). https://safecompiler.pages.ispras.ru/changelog/gcc/#support-unknown-frame-s… В -Safe[1..3] теперь включается -D_FORTIFY_SOURCE=3 вместо -D_FORTIFY_SOURCE=2 для safec12 и более новых. https://safecompiler.pages.ispras.ru/changelog/gcc/#enable-fortify-source-3 Исправлена ошибка, из-за которой не работало зануление неинициализированных локальных переменных для языка C++ (safec8—safec11). https://safecompiler.pages.ispras.ru/changelog/gcc/#port-finit-local-vars-t… В новый год — с новым компилятором! С наступающими праздниками!

1 month, 2 weeks

Выход safe-{15.2,14.3,13.4} и safec{11,12}, каналы коммуникации, FAQ

by Обновления БК SAFEC

Новые версии SAFEC на базе GCC 11—15 ==================================== Мы начали поставлять сборки безопасного компилятора SAFEC на основе новейших на сегодняшний день версий GCC: 14.3 и 15.2. Также был выполнен переход на последнюю минорную версию для трёх предыдущих релизных веток. Теперь доступны релизы веток - safec11 (на основе GCC 11.5), - safec12 (на основе GCC 12.5), - safe-13.4 (на основе GCC 13.4). Новые сборки расположены в новых подкаталогах по переданным ранее ссылкам на nextcloud. Например, последняя версия safe-15.2 для AMD64 находится по пути gcc/safe-15.2/x86_64/safe-15.2-51-gcc-addon-toolchain-x86_64-pc-linux-gnu.tar.gz В данный момент поддерживается 8 веток SAFEC. Их список можно увидеть на странице описания изменений [1]. При этом кросс-компилятор под AArch64 поставляется только для шести наиболее новых из них. Архивы для неподдерживаемых веток SAFEC наряду с другими ранее выпущенными архивами были перемещены в подкаталог deprecated. Рекомендуем перейти на новую версию по крайней мере в рамках одной основной версии GCC/SAFEC. Каналы коммуникации по безопасному компилятору ============================================== Для запроса безопасного компилятора, поддержки пользователей и обратной связи предусмотрены специальные почтовые адреса (списки рассылки), группирующие нужных специалистов ИСП РАН. Для согласования подписания документов и передачи SAFEC можно написать на safec-administrivia(a)list.ispras.ru, либо заполнить форму на сайте [2]. Задать вопрос разработчикам компилятора, отправить обратную можно написав на safec-support(a)list.ispras.ru. Туда же автоматически направляются ответы на анонсы такие, как этот (посланные через announce). Актуальная информация публикуется на странице «Контакты» [3]. Часто задаваемые вопросы (FAQ) ============================== На сайте появилась страница с ответами на часто задаваемые вопросы [4]. Список будет пополняться по мере дальнейшей разработки компилятора и поступления новой обратной связи. В контексте этого анонса про переход на новые версии может оказаться актуальным раздел «Какую версию безопасного компилятора использовать?». [1]: https://safecompiler.pages.ispras.ru/changelog/gcc/ [2]: https://ispras.ru/sdl [3]: https://safecompiler.pages.ispras.ru/contacts/ [4]: https://safecompiler.pages.ispras.ru/faq/

1 month, 2 weeks

2026

2025

2024