RU

Переписал ядро языка целиком. Ни один из 444 эталонов не сдвинулся

Свой язык программирования пишут все. Обычно это калькулятор с переменными, пересказ главы про рекурсивный спуск и заброшенный репозиторий. Интересн…

компиляторыинтерпретаторязык программированияtypescriptnode.jsтестированиефаззингgolden-тестыоптимизация производительностирегрессионные тесты
Habr
RU

Компилятор как первый ревьюер: петля верификации Go‑кода, который написал агент

Год назад мой типичный пулл-реквест писался руками часа три и ревьюился минут двадцать. Сейчас четыреста строк агент выдаёт за минуту, а ревью того…

golanggoстатический анализлинтерыстатические анализаторыcode reviewкодогенерацияai-агентыllmфаззинг
Habr
RU

Как внедрить требования к безопасной разработке кода: опыт Контур.Staffcop

Безопасная разработка для Контур.Staffcop (системы расследования инцидентов внутренней инфобезопасности) — это не отдельная проверка перед релизом,…

staffcopрбпобезопасная разработкастатический анализкомпозиционный анализфаззингпоиск секретовтестированиеpvs studioанализатор кода
Habr
RU

Как тестируют баги, которые невозможно воспроизвести

Редкий сбой в распределённой системе может месяцами ускользать от команды, а при попытке воспроизведения исчезать из‑за изменивш…

детерминированное тестированиераспределённые системывоспроизводимость ошибокотказоустойчивостьасинхронные системыконкурентное выполнениеfault injectionфаззингFoundationDBTigerBeetle
Habr
RU

Shrinking: как property-тест сводит мусорный контрпример к минимуму

Property‑тесты умеют находить ошибки на самых неожиданных входных данных. Но настоящая магия начинается после падения теста: вместо списка…

pythonконтрпримертестированиеshrinkingфаззингавтоматизация тестирования
Habr
RU

[Перевод] Как Mozilla нашли 271 уязвимость в Firefox с помощью Claude Mythos

Две недели назад мы  объявили , что с помощью Claude Mythos Preview и других AI-моделей нашли и исправили рекордное количество скрытых уязвимос…

Firefox безопасностьClaude Mythos PreviewAI аудит кодаsandbox escapeуязвимости браузераагентный харнессLLM поиск баговMozilla securityuse-after-freeфаззинг