WalletRadar: towards automating the detection of vulnerabilities in browser-based cryptocurrency wallets.