Некоторые умельцы, используют программы для записи видео с экрана, конвертируют его в GIF и потом, используя графический редактор, корректировать кадры. Теоретически, можно ещё извлечь ресурсы из исполняемого файла, найти нужные файлы и конвертировать их в GIF, например, с помощью ImageMagick.