Blockchain platforms and smart contracts are vulnerable to security breaches. Security breaches of smart contracts have led to huge financial losses in terms of cryptocurrencies and tokens. In this paper, we present a systematic survey of vulnerability analysis of smart contracts. We begin by providing a brief about the major types of attacks and vulnerabilities that are present in smart contracts. Then we discuss existing frameworks, methods and technologies used for vulnerability detection. We summarise our findings in a table which lists each framework and the attacks it protects against.
翻译:屏障平台和智能合同很容易被破坏安全。 安全智能合同的违反在加密和标语方面造成了巨大的财政损失。 在本文中,我们对智能合同的脆弱性分析进行了系统调查。 我们首先简要介绍智能合同中存在的主要攻击类型和脆弱性。 然后我们讨论用于识别脆弱性的现有框架、方法和技术。 我们在一个表格中总结了我们的调查结果,列出了每个框架及其所保护的打击。