30 Dec
2025
30 Dec
'25
4:35 p.m.
Новые версии 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/