harness-writing — скилл для Claude Code: фаззинг-обвязки на C/C++

Что делает harness-writing

Скилл про обвязку (harness) — функцию-точку входа, которая принимает от фаззера случайные байты и передаёт их в тестируемый код. От неё зависит, какие ветки вообще будут пройдены и найдутся ли баги. Скилл разбирает, как выбрать цели, написать минимальный LLVMFuzzerTestOneInput или fuzz_target!, добавить проверку размера и превратить байты в типизированные значения.

Для структурированных входов есть два подхода: приведение типов через *(uint32_t*)(data) и FuzzedDataProvider с методами вроде ConsumeIntegral<uint32_t>() и ConsumeBytesWithTerminator<char>(32, 0xFF). В Rust — i32::from_ne_bytes. Отдельная тема — недетерминизм: если обвязка ведёт себя по-разному на одном и том же входе, падения не воспроизводятся, и это первое, что стоит проверить, когда кампания сыплет невоспроизводимыми крашами.

Скилл пригодится, когда кампания не находит багов или покрытие низкое, когда API требует структурированных данных, а не сырых байтов, и когда несколько связанных функций нужно фаззить вместе. Если в проекте уже есть проверенные обвязки или инструмент генерирует их сам, пользы мало.