Задача
Найти в бинарных многопоточных приложениях ошибки, которые почти невозможно поймать тестами: гонки данных, deadlock, нарушения атомарности и livelock. Исходников нет — работать нужно на уровне бинарного кода.
Что сделали
- Построили управляемый фаззер для PE-бинарей под Windows
- Реализовали детектирование гонок данных, deadlock, нарушений атомарности и livelock
- Проверили работу на многопоточных сценариях и зафиксировали воспроизводимые случаи
Результат
- Инструмент, который находит классы ошибок, недоступные обычному тестированию
- Воспроизводимые сценарии обнаруженных проблем — не «иногда падает», а конкретный кейс
- Код и подход открыты в репозитории — глубину инженерной работы видно по коммитам
| Срок | от месяца |
| Стоимость | Задачи этого класса — системная разработка под ключ — оцениваются индивидуально, проекты от 150 000 ₽ |
| Стек | Fuzzing · Reverse Engineering · Windows · Многопоточность |
| Код | Открытый репозиторий на GitHub → |
| Анонс | Пост в Telegram-канале → |
Больше разборов — на странице кейсов аутсорса; цены и полный список услуг — на странице аутсорса.