STAN：面向智能合约字节码描述生成
软件工程
2020-07-21 v1 密码学与安全
摘要
已有超过八百万份智能合约被部署到以太坊——这是最流行的支持智能合约的区块链。然而，已部署的智能合约中开源比例不足1%，用户难以理解这些闭源合约的功能与内部机制。尽管近期已有少数智能合约反编译器被提出，用户仍不易掌握合约的语义信息，更毋庸说反编译错误可能带来的误导。本文提出首个名为STAN的系统，用于为智能合约字节码生成描述以帮助用户理解。具体而言，对于智能合约中的每个接口，STAN可利用符号执行与自然语言处理（NLP）技术生成四类描述，包括功能描述、使用描述、行为描述与支付描述。大量实验表明，STAN能为合约字节码生成充分、准确且可读的描述，对用户具有实用价值。
引用
@article{arxiv.2007.09696,
title = {STAN: Towards Describing Bytecodes of Smart Contract},
author = {Xiaoqi Li and Ting Chen and Xiapu Luo and Tao Zhang and Le Yu and Zhou Xu},
journal= {arXiv preprint arXiv:2007.09696},
year = {2020}
}
备注
In Proc. of the 20th IEEE International Conference on Software Quality, Reliability and Security (QRS), 2020