HN's 268-point 'vibecoded fuzzer' FFmpeg bug was not vibecoded — neither the report nor the fuzzer claims AI involvement

FFmpeg·high signalXBlueskyLinkedInCopy link

Darío Clavijo reported an integer divide-by-zero in FFmpeg's Sony PS2 VPK demuxer (libavformat/vpk.c, vpk_read_packet line 89) on August 27; a malformed header sets nb_channels to 0 and a 21-byte crafted input triggers SIGFPE deterministically. The fuzzer took 495,211 executions over about 10 hours 43 minutes to find it, and maintainer Jun Zhao landed PR #24297 as a fix. The HN submission titled it a vibecoded fuzzer and drew 268 points, but the issue text makes no AI claim and the daedalus/fuzzer README describes 1,190 commits of conventional Markov-generation and coverage-guided work with no mention of AI assistance.