基于规则的误报减少方法提升智能合约符号执行工具的可靠性
原标题：Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction
AI 摘要
本文针对以太坊智能合约符号执行分析工具 Mythril 产生大量误报的问题，提出了一种基于规则的误报减少方法。作者首先分析了误报的根本原因，然后针对六种重要漏洞类型实现了规则，并在 Gigahorse 智能合约上进行了评估。结果表明，该方法在不影响真实漏洞检测的前提下显著降低了误报率，提升了工具的可靠性。
正文节选
Enhancing Reliability of Symbolic Execution Tools for Smart Contract Analysis through Rule-Based False Positive Reduction Abstract A blockchain is a decentralized, secure ledger system that enables transparent and immutable record-keeping, essential for trust and security in digital transactions. Smart contracts are self-executing agreements encoded on a blockchain, enabling different parties to fulfill the terms of the agreement automatically. These contracts trigger corresponding actions when