Я никогда не видел программу, которая скажет вам это. Но GIF - это блочно-структурированный формат, и вы можете проверить, присутствует ли в ваших файлах блок, указывающий анимированный GIF.
Из статьи в википедии, отмеченной ниже: по смещению 0x30D блок расширения приложения (т. Е. Магическое число 3 байта 21 FF 0B) в файле GIF, за которым следует магическое число 4E 45 54 53 43 41 50 45 32 9 смещение 0x310 указывает, что Остальная часть файла содержит несколько изображений, и они должны быть анимированными.
Действительно, статья в Википедии объясняет это лучше, а документы о формате, указанные ниже, расширяют статью Вики.
Таким образом, вы можете анализировать GIF-файлы с помощью программы, написанной на Python (я анализировал GIF-файлы, используя C много лет назад, в основном это было упражнение в перемещении указателя файла и чтении байтов). Определите, присутствует ли AE с правильным 3-байтовым идентификатором, и за которым следует 9-байтовое магическое число.
См. http://en.wikipedia.org/wiki/Graphics_Interchange_Format#Animated_.gif
Также см. http://www.martinreddy.net/gfx/2d/GIF87a.txt
Также см. http://www.martinreddy.net/gfx/2d/GIF89a.txt
Извините, лучшее, что я могу для вас сделать.