And they're processing old LucasArts codec videos with it? Which is the specific bug report in question.
Plus, this bug was reported by AI, so it was as much a proof of concept/experiment/demonstration of their AI security scanner as it was an attempt to help secure ffmpeg