推測も何も、swfをmp4やaviに変換するソフトは、ビットマップを連続して再生するだけのswfを変換するだけで、
アクションスクリプトで動作するswfを変換できるはずがないと思うんだが