Automated static analysis of virtual-machine packers