21バイトの悪意あるVPKファイルでFFmpegがSIGFPEクラッシュ——ゼロ除算バグをvibecodedファザーが発見

We found a division by zero bug in FFmpeg with a vibecoded fuzzer

vibecodedファザーがFFmpegのVPKデマルチプレクサ（libavformat/vpk.c）に整数ゼロ除算のバグを発見。細工された21バイトの入力が、任意のFFmpegベースのアプリケーションをクラッシュさせる。vpk_read_packetがnb_channelsをチェックせずにlast_block_sizeを除算するため、nb_channels=0のヘッダーでSIGFPEが発生する。この脆弱性はサービス拒否（DoS）を引き起こすが、メモリ破壊やコード実行には至らない。修正案と回帰テストも提示されている。