Assisting malware analysis with symbolic execution: A case study