A Systematic Literature Review on Smart Contract Vulnerability Detection by Symbolic Execution

已完结

文献求助详情

标题	书籍（章节） A Systematic Literature Review on Smart Contract Vulnerability Detection by Symbolic Execution 基于符号执行的智能合约漏洞检测的系统文献综述相关领域象征性执行计算机科学范围（计算机科学）脆弱性（计算）混合试验智能合约象征性的约束（计算机辅助设计）计算机安全软件工程领域（数学）软件程序设计语言工程类纯数学机械工程数学心理学块链精神分析
网址	https://doi.org/10.1007/978-981-99-8101-4_16
DOI	10.1007/978-981-99-8101-4_16 doi
其它	期刊：Communications in computer and information science 作者：Yanli Wang; Shishan Sheng; Yanlin Wang 出版日期：2023-11-25
求助人	清脆半邪在 2024-08-20 15:48:39 发布自山西，悬赏 30 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

科研通，让科研之路畅通无阻

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 胡英宇发布了新的文献求助10

3秒前; yaorunhua发布了新的文献求助10

3秒前; 希望天下0贩的0上传了应助文件

5秒前; 科研通AI2.0上传了应助文件

5秒前; 华仔上传了应助文件

5秒前; 思源的应助被早起晚睡采纳，获得10

6秒前; 脑洞疼上传了应助文件

6秒前; 思源上传了应助文件

6秒前; 1234完成签到，获得积分20

6秒前; 科研通AI2S上传了应助文件

7秒前; 熹微发布了新的文献求助10

9秒前; 什么酶发布了新的文献求助30

9秒前; 李健的小迷弟上传了应助文件

9秒前; foreverlessness完成签到，获得积分10

10秒前; 白大褂完成签到，获得积分10

10秒前; 科研顺利发布了新的文献求助10

10秒前; 罗诗薇发布了新的文献求助10

12秒前; 111发布了新的文献求助10

12秒前; 今后的应助被伶俐的高烽采纳，获得10

13秒前; 岁寒完成签到，获得积分10

13秒前; 吼吼吼吼发布了新的文献求助10

14秒前; 111完成签到，获得积分10

14秒前; 酷波er上传了应助文件

17秒前; 隐形曼青的应助被Roseaiwade采纳，获得10

18秒前; FashionBoy的应助被清秀元霜采纳，获得10

19秒前; 我爱谭松韵发布了新的文献求助20

22秒前; 科研通AI2S上传了应助文件

22秒前; 道心发布了新的文献求助10

22秒前; chen完成签到，获得积分10

23秒前; 共享精神上传了应助文件

23秒前; 科研通AI2.0上传了应助文件

24秒前; 赘婿上传了应助文件

24秒前; 宏伟上传了应助文件

25秒前; 三火的应助被赫初晴采纳，获得10

26秒前; 吼吼吼吼完成签到，获得积分10

27秒前; 玛利隆发布了新的文献求助10

28秒前; Lucas的应助被丹丹采纳，获得10

28秒前; 所所的应助被vivid采纳，获得10

28秒前; 隐形曼青上传了应助文件

29秒前; 什么酶完成签到，获得积分10

29秒前