Назад в ленту

Вышел Foundry 1.8.0: локальный Z3-решатель, новый фаззинг и первые проблемы с тестами

Крупное обновление популярной платформы для разработки и тестирования принесло символьные вычисления, но и поломало часть проектов при обновлении.

27 августа 2026 года случилось то, чего многие ждали с замиранием сердца, а некоторые — со страхом. Вышел мажорный релиз Foundry 1.8.0. Это не очередной патч с парой исправлений, а полноценное обновление, которое в плане значимости авторы смело называют одним из важнейших за последние год-два. И, как водится, без сюрпризов не обошлось.



Главная фишка релиза — символьные вычисления. Теперь Foundry умеет работать с локальным Z3-решателем. Для тех, кто не в теме: это не просто модная надстройка, а реальный инструмент для верификации кода и поиска сложных логических ошибок. Вместо того чтобы гонять тысячи случайных тестов, можно один раз описать условия символьно — и пусть решатель сам разбирается, где у тебя что-то пойдёт не так. Звучит как магия, но это чистая математика, упакованная в удобный интерфейс.



Второй важный пункт — фаззинг-тестирование. Его тоже доработали, причём серьёзно. Теперь поиск уязвимостей и краевых случаев должен стать заметно эффективнее. Это не просто косметические улучшения, а изменения в самой логике генерации входных данных. Если ты занимаешься безопасностью или тестируешь парсеры, тебе это точно зайдёт.



Но есть и ложка дёгтя. Впервые за долгое время релиз прошёл без публикации через npm. Да, ты не ослышался. Разработчики отказались от привычного канала распространения, и это уже породило волну вопросов в сообществе. Почему так? Официально причину не раскрывают, но догадки строятся самые разные — от технических проблем до пересмотра стратегии дистрибуции. Как бы то ни было, те, кто привык ставить всё через один пакетный менеджер, могут столкнуться с неожиданными сложностями.



Ну и вишенка на торте — у части пользователей после обновления перестали проходить тесты. И это не баг, а следствие новых символьных вычислений. Если ты используешь старые сценарии, которые полагались на специфическое поведение фаззера, — готовься переписывать. Впрочем, авторы утверждают, что это осознанное изменение, которое в долгосрочной перспективе сделает тесты надёжнее. Правда, от этого не легче, когда вчера всё работало, а сегодня красные иконки в CI.



Подводя итог: Foundry 1.8.0 — это шаг вперёд, местами резкий и даже грубоватый. Символьные вычисления открывают новые горизонты, фаззинг стал мощнее, но за это приходится платить совместимостью и привычным комфортом. Лично я советую не обновляться на прод-машинах сломя голову, а сначала прогнать все тесты в песочнице. И да, обязательно изучи полный список изменений — там наверняка найдётся ещё пара сюрпризов, о которых мы не упомянули. Крайне занятное чтиво на вечер.

Справка по теме (FAQ)
Что нового в Foundry 1.8.0?
В релизе добавили символьные вычисления с использованием локального Z3-решателя, улучшили фаззинг-тестирование и изменили способ распространения — впервые без публикации через npm.
Почему после обновления Foundry перестали проходить тесты?
Это не баг, а следствие новых символьных вычислений. Старые сценарии, которые полагались на специфическое поведение фаззера, требуют обновления. Авторы считают, что в долгосрочной перспективе тесты станут надёжнее.
Когда вышел Foundry 1.8.0?
Новый мажорный релиз стал официально доступен 27 августа 2026 года.
Где найти полный список изменений в Foundry 1.8.0?
Полный список главных изменений опубликован в официальном анонсе релиза. В статье мы перечислили ключевые пункты, но разработчики рекомендуют изучить документацию целиком, чтобы не пропустить детали.