Slither: A Static Analysis Framework for Smart Contracts

已完结

文献求助详情

标题	Slither: A Static Analysis Framework for Smart Contracts Slither：智能合约的静态分析框架相关领域字节码坚固性计算机科学数据流静态分析稳健性（进化）静态程序分析假阳性悖论程序分析程序设计语言人工智能软件生物化学化学 Java 软件开发基因
网址	https://doi.org/10.1109/wetseb.2019.00008
DOI	10.1109/wetseb.2019.00008 doi
其它	期刊：作者：Josselin Feist; Gustavo Grieco; Alex Groce 出版日期：2019-05-01
求助人	wtf52018 在 2025-03-15 10:22:38 发布自山东，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

该求助已完结，感谢关注

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

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

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

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

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

活动

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

更新

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

更新

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

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

实时播报: zhang完成签到，获得积分10

1秒前; STZ完成签到，获得积分10

1秒前; 上官若男的应助被贾晓宇采纳，获得10

1秒前; 香蕉八宝粥完成签到，获得积分10

2秒前; HAO完成签到，获得积分10

2秒前; 可爱的函函上传了应助文件

3秒前; 天天快乐上传了应助文件

4秒前; Cheng完成签到，获得积分10

5秒前; 吾身无拘完成签到，获得积分10

5秒前; 彭于晏上传了应助文件

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

5秒前; ZYC完成签到，获得积分10

5秒前; 传奇3上传了应助文件

6秒前; 发nature完成签到，获得积分10

6秒前; bkagyin上传了应助文件

6秒前; 情怀的应助被z'x采纳，获得10

6秒前; SYLH的应助被yyc采纳，获得30

6秒前; 传统的蜻蜓的应助被精明妙之采纳，获得10

7秒前; 飞燕草完成签到，获得积分10

7秒前; 银点发布了新的文献求助10

8秒前; jianjuntang完成签到，获得积分10

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

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

9秒前; bing发布了新的文献求助10

9秒前; 黄大仙完成签到，获得积分10

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

10秒前; 打打的应助被三岁半采纳，获得10

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

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

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

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

13秒前; Ava的应助被千瓦时醒醒采纳，获得10

14秒前; 贾晓宇发布了新的文献求助10

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

14秒前; 动人的书雪完成签到，获得积分10

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

15秒前; 会飞的鱼完成签到，获得积分10

15秒前; bing完成签到，获得积分20

15秒前; 科研通AI5的应助被危机的香萱采纳，获得10

15秒前; 情怀上传了应助文件

16秒前