Pietro Francesco Tirenna. Techniques for malware analysis based on symbolic execution. Rel. Cataldo Basile, Antonio Lioy. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2020