计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  审稿须知 |  联系我们 |  投稿常见问题解答 |  English Version
计算机应用  2020, Vol. 40 Issue (4): 947-953    DOI: 10.11772/j.issn.1001-9081.2019111919
区块链 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于符号执行的智能合约漏洞检测方案
赵伟1,2, 张问银1, 王九如1, 王海峰1, 武传坤1
1. 临沂大学 信息科学与工程学院, 山东 临沂 276002;
2. 山东科技大学 计算机科学与工程学院, 山东 青岛 266000
Smart contract vulnerability detection scheme based on symbol execution
ZHAO Wei1,2, ZHANG Wenyin1, WANG Jiuru1, WANG Haifeng1, WU Chuankun1
1. School of Information Science and Engineering, Linyi University, Linyi Shandong 276002, China;
2. School of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao Shandong 266000, China



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn