一句话：考察智能合约与DeFi安全工具是否满足从业者真实需求，揭示其实际影响的不确定性。
基于区块链和智能合约的去中心化金融（DeFi）生态迅速增长，对安全可靠的智能合约开发需求随之上升。然而，针对智能合约的攻击不断增加，已造成约64.5亿美元的经济损失。研究者提出了多种自动化安全工具以检测漏洞，但这些工具在真实世界中的影响仍不明确。本文围绕“智能合约与DeFi安全工具是否满足从业者需求”这一核心问题展开研究，旨在评估现有工具与开发者实际需求之间的匹配程度。由于所给摘要未披露具体的研究方法（如调查、访谈或工具评估）与关键结果，摘要主要阐述了研究动机与问题定位，并强调需要从从业者视角审视安全工具的有效性与可用性。
The growth of the decentralized finance (DeFi) ecosystem built on blockchain technology and smart contracts has led to an increased demand for secure and reliable smart contract development. However, attacks targeting smart contracts are increasing, causing an estimated $6.45 billion in financial losses. Researchers have proposed various automated security tools to detect vulnerabilities, but their real-world impact remains uncertain.
@inproceedings{paperbot11368,
title = {Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?},
author = {Stefanos Chaliasos and Marcos Antonios Charalambous and Liyi Zhou and Rafaila Galanopoulou and Arthur Gervais and Dimitris Mitropoulos and Benjamin Livshits},
booktitle = {ICSE},
year = {2024},
doi = {10.1145/3597503.3623302}
}