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
求助人	CCLiu 在 2023-12-23 21:15:50 发布自浙江，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

该求助已完结，感谢关注

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

站在巨人的肩膀上，才更有可能跳的更远

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

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

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

活动

『应助活动周』获奖名单已公布 🔥 (2025-4-2)

更新

『中科院2025期刊分区』已更新 (2025-3-23)

更新

『即时热点』模块已上线 (2025-2-28)

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

实时播报: 充电宝上传了应助文件

1秒前; 靓丽从筠完成签到，获得积分10

2秒前; 狂野觅云完成签到，获得积分10

2秒前; 充电宝的应助被guoguo采纳，获得10

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

3秒前; 善学以致用上传了应助文件

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

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

3秒前; 镜中花完成签到，获得积分10

4秒前; xiaomou发布了新的文献求助10

5秒前; 高挑的涛发布了新的文献求助10

5秒前; Metrix发布了新的文献求助10

5秒前; plmm发布了新的文献求助10

6秒前; 彭于晏的应助被橙子abcy采纳，获得10

6秒前; 念0完成签到，获得积分10

6秒前; 上官若男上传了应助文件

7秒前; 狂野觅云发布了新的文献求助10

7秒前; 汉堡包的应助被rosysinn采纳，获得10

7秒前; dms关闭了dms的文献求助

7秒前; 饱满一手完成签到，获得积分10

9秒前; 田様上传了应助文件

9秒前; 大模型的应助被相濡以沫采纳，获得10

9秒前; 传奇3的应助被潇洒映冬采纳，获得50

10秒前; 猪猪hero发布了新的文献求助10

10秒前; 宋温暖发布了新的文献求助20

12秒前; 踏实谷蓝完成签到，获得积分10

13秒前; 靬七完成签到，获得积分20

13秒前; 每日洋洋发布了新的文献求助10

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

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

15秒前; xx发布了新的文献求助10

15秒前; 舒适行天完成签到，获得积分10

15秒前; cdercder的应助被袁江堰采纳，获得10

15秒前; 大模型上传了应助文件

16秒前; 打打的应助被格格萧采纳，获得10

18秒前; 领导范儿上传了应助文件

18秒前; 英姑的应助被泡沫采纳，获得10

20秒前; SYLH的应助被泡沫采纳，获得10

20秒前; NexusExplorer的应助被泡沫采纳，获得10

20秒前; 科研通AI5的应助被泡沫采纳，获得10

20秒前