Swivel is a solution for converting SWF movies into high-definition video (1080p). It can export a video at any desired resolution, complete with audio and no dropped frames. There are several available settings, such as bitmap smoothing, render quality and scale mode.
Even though the tool converts all frames in the input SWF timeline (including nested movieclips), it can work in manual mode. That mode allows interacting with the SWF while it is being encoded, which can be used to record games.