[l] Wenn hier jemand ffmpeg benutzt: Die haben gerade 4.0.1 released, und das Changelog besteht praktisch ausschließlich aus integer overflows und undefined behavior. Die scheinen da anscheinend gerade einen konzertierten Push nach vorne zu machen. Das Update sollte jeder ffmpeg-Benutzer mitnehmen.