RU

Рекон как помощник багхантера в поиске скрытых активов

Наверняка вы замечали, что одни багхантеры находят уязвимости одну за другой, а многим это дается с бо́льшим (или даже больши́м) трудом. Хусейн Дахе…

багхантингреконбагбаунтиbug bountystandoff 365краулингфаззингsqlбрутфорсдорки
Habr
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фаззинг