面向智能合约漏洞检测的蜕变测试
软件工程
2023-03-07 v1
摘要
尽管智能合约快速增长，但由于缺乏可靠的开发与测试，它们正遭受大量安全漏洞的困扰。本文中，我们应用蜕变测试技术来检测智能合约漏洞。基于在脆弱智能合约中观察到的异常，我们定义了五种蜕变关系以检测目标智能合约的异常 gas 消耗与账户交互不一致。通过动态执行交易并检查蜕变关系的最终违反情况，我们判定智能合约是否脆弱。我们在一个包含 67 个手动标注智能合约的基准上评估了该方法。实验结果表明，与其他三种最先进工具相比，我们的方法以更低的误报率（FDR，false discovery rate）实现了更高的检测率（TPR，true positive rate）。这些结果进一步表明，蜕变测试是一种颇具前景的智能合约漏洞检测方法。
引用
@article{arxiv.2303.03179,
title = {Metamorphic Testing for Smart Contract Vulnerabilities Detection},
author = {Jiahao Li},
journal= {arXiv preprint arXiv:2303.03179},
year = {2023}
}