FireEye releases flashmingo, an automatic analysis of SWF files