Automated Behavioral Analysis of Malware: A Case Study of WannaCry Ransomware | Synapse