any advise?
If the swf contains a video: ffmpeg.exe -i "source.swf" "animation.gif"
Of course you can use all ffmpeg options, like resizing etc.
If that fails, you can always use a screen recorder to save the animation and process it with ffmpeg after that.