We found a division by zero bug in FFmpeg with a vibecoded fuzzercode.ffmpeg.org·293 pts·dclavijo·253