User blog comment:Frostyflytrap/Tutorial Video/@comment-4368470-20140123021434/@comment-1455034-20140123140836

For a flash decompiler, I suggest JPEXS Free Flash Decompiler. Works really good, although you have to manually scroll through all sprites, and you can't save any.