WACANA：面向 WASM 智能合约的共块分析器用于检测链上数据漏洞
密码学与安全
2024-12-06 v1 软件工程
摘要
WebAssembly（WASM）已成为多个区块链平台智能合约开发的关键技术。然而，自WASM智能合约问世以来，因合约漏洞导致多起安全事件，造成巨额经济损失。现有检测WASM合约漏洞的工具在准确性上存在局限，其中一个主要原因是对链上数据API进行的粗粒度仿真。本文引入WACANA，一种通过对链上数据API进行细粒度仿真来准确检测漏洞的分析器。WACANA精确模拟链上数据表的结构及其对应的API函数，并在覆盖率导引的循环中集成具体执行和符号执行，以平衡准确性与效率。对133个漏洞数据集上的评估显示，WACANA在准确性上超越了当前最先进的工具。进一步的在5602个真实世界合约上的验证确认了WACANA的实际有效性。
引用
@article{arxiv.2412.03946,
title = {WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts},
author = {Wansen Wang and Caichang Tu and Zhaoyi Meng and Wenchao Huang and Yan Xiong},
journal= {arXiv preprint arXiv:2412.03946},
year = {2024}
}