Greybox Fuzzing на примере AFLSmart

[atrosinenko]

Есть такая забавная библиотека GNU Pth. У неё примерно такой же API, как у Pthreads, но вместо полноценных потоков она использует корутины и щепотку костылей. Возможно, получится предсказуемее и более "fork-friendly".

[marxxt]

о, спасибо, попробую

[arero]

Класный рассказ! С непредсказуемой концовкой :)

Итог
После устранения недоработки фаззинг с AFLSmart у нас все равно не взлетел.

[marxxt]

спасибо)

[ser-mk]

А вычисляемыми полями типа CRC он уже не справляется?

а затем результат прокручивается через рандомные низкоуровневые

Вы под низкоуровневыми имеете ввиду smart deletion, smart addition
and smart splicing из статьи ?

[marxxt]

не, это flipbit, например, и другие
smart deletion, smart addition, smart splicing — это уже высокоуровневые

С CRC уже не справляется, libfuzzer подошел бы