Esiste qualche tool per linux che consenta di salvare animazioni Flash sull'hard disk?

Ho già cercato nella rete ma senza risultati...