Фаззинг

Атака мартышек

Методы тестирования

unit tests, property tests
static analysis
...?

Эволюция фаззинга

black box
structure aware
coverage guided (instrumentation)
structured fuzzing

Что фаззить

форматы и протоколы
базы данных
stateful/stateless
компиляторы
сервера

Как фаззить

на падение
на свойство
на совпадение
structured
слона едят по частям

Интеграция в рабочий процесс

Юнит тесты
Property tests
Фазз тесты, корпус
CI
OSS-fuzz

Обзор проектов

csmith
klee
afl
libfuzzer
kali