Manalyze: static analyzer for PE executables