WANA：基于 Wasm 字节码符号执行的跨平台智能合约漏洞检测
软件工程
2020-08-06 v2
摘要
许多流行的区块链平台支持智能合约以构建去中心化应用。然而，智能合约中的漏洞已给最终用户带来严重财务损失。对于 EOSIO 区块链平台，有效的漏洞检测工具仍然有限。此外，现有的漏洞检测工具仅能支持单一区块链平台。本工作中，我们提出 WANA，一种基于 WebAssembly 字节码符号执行的跨平台智能合约漏洞检测工具。此外，WANA 提出了一组测试预言机，基于 WebAssembly 字节码分析来检测 EOSIO 和以太坊智能合约中的漏洞。我们的实验分析表明，WANA 能够高效且有效地检测 EOSIO 和以太坊智能合约中的漏洞。
引用
@article{arxiv.2007.15510,
title = {WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection},
author = {Dong Wang and Bo Jiang and W. K. Chan},
journal= {arXiv preprint arXiv:2007.15510},
year = {2020}
}
备注
12pages, 11 figures, 4 tables