阿尼什卡·穆娜
Mukesh Patel 技术管理与工程学院，NMIMS（拟定）大学，孟买
雷乔马修
NMIMS（未来）大学，孟买
撰写日期：2021 年 1 月 20 日
抽象的
区块链技术最有前途的功能之一是软件程序。智能合约。智能合约是一种数字协议，允许在不需要第三方的情况下进行大量的加密货币交易和流程。它们是任何去中心化应用程序的基本组成部分，是不可替代的。它们是计算机程序的合法自我执行行。本文的动机是由于 2016 年至 2018 年期间因 DAO 攻击（1.5 亿美元）、Parity Multi-Sig 钱包攻击（3000 万美元）和整数下溢/溢出攻击等已知攻击而造成的财务损失。本文详细研究了已知的安全漏洞以及用于检测这些漏洞的安全分析工具。这篇综述探讨了可能的攻击技术，同时对 Oyente 等工具进行了系统研究，
关键词：以太坊、智能合约、分析、攻击技术、工具、检测、安全
下载PDF：https://papers.ssrn.com/sol3/Delivery.cfm/SSRN_ID3769774_code4548898.pdf?abstractid=3769774&mirid=1浏览：https://papers.ssrn.com/sol3/Delivery.cfm/SSRN_ID3769774_code4548898.pdf?abstractid=3769774&mirid=1&type=2
原文始发于微信公众号（Ots安全）：基于以太坊的智能合约安全漏洞分析工具回顾
