Flash Extractor is a graphical tool for viewing, converting and manipulating Flash files. You can also view or play most of the file types that Flash Extractor converts, png. jpg. gif (animated and static), pdf, wav, avi, mkv, mp4, mpg, ogm and vob. It wraps SWFTools, swfdec, Gstreamer and FFmpeg.