Examination of Approaches for Identifying Vulnerabilities in Smart Contracts | Synapse