EOSAFE: Security Analysis of EOSIO Smart Contracts.

本论文提出 EOSAFE，一个针对 EOSIO 智能合约的自动化安全分析框架。EOSIO 是一种新兴的区块链平台，其智能合约使用 C++ 编写，且具有独特的通信模型和资源管理机制，导致传统分析工具难以直接应用。EOSAFE 结合了静态分析和

历史摘要 · 未重新核验 · USENIX Security