发布文献求助
待确认
  • 文献求助详情
标题
SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods
相关领域
字节码 假阳性悖论 脆弱性（计算） 计算机科学 静态分析 智能合约 集合（抽象数据类型） 假阳性和假阴性 稳健性 计算机安全 数据挖掘 程序设计语言 机器学习 Java 块链
网址
求助人暂未提供
DOI
暂未提供，该求助的时间将会延长，查看原因？
AI识别 10.1002/spy2.393 doi
其它 Haiyue Chen, Xiangfu Zhao, Yichen Wang, Zixian Zhen
求助人
Fly 在 2026-01-19 08:37:50 发布自广西，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. Towards saving money in using smart contracts
  2. Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethe...
  3. A Bytecode-based Approach for Smart Contract Classification
  4. Safe and sound program analysis with Flix
  5. DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis
  6. On the Use of Mined Stack Traces to Improve the Soundness of Statically Constructed Call Graphs
  7. Soundly Handling Static Fields: Issues, Semantics and Analysis
  8. Static and Dynamic Analysis for Android Malware Detection
  9. DexLego: Reassembleable Bytecode Extraction for Aiding Static Analysis
  10. A Bytecode-based Approach for Smart Contract Classification
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 1小时前

    竞鹤 竞鹤 Lv51 上传了文件

    待审核 Security and Privacy - 2024 - Chen - SafeCheck Detecting smart contract vulnerabilities based on static program analysis.pdf (2.67 MB)
    温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 1小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    08:37:56 未找到该文献，机器人已退出，请等待人工下载
    08:37:52 科研通AI机器人（英国 伦敦）收到请求，开始寻找文献
    08:37:50 已向机器人发送请求

  • 1小时前

    Fly Fly Lv41 求助人 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
shining发布了新的文献求助10
刚刚
fatcat完成签到，获得积分10
刚刚
刚刚
灵巧的斓完成签到，获得积分10
刚刚
孤寞完成签到，获得积分10
刚刚
刚刚
赘婿的应助被神奇的孟夏采纳，获得10
1秒前
哈喽完成签到，获得积分10
1秒前
my完成签到，获得积分10
1秒前
1秒前
111发布了新的文献求助10
1秒前
机灵纸鹤完成签到 ，获得积分10
1秒前
一骑绝尘发布了新的文献求助10
1秒前
H0000发布了新的文献求助10
1秒前
cherish完成签到，获得积分10
1秒前
2秒前
sun发布了新的文献求助10
2秒前
风中无血发布了新的文献求助10
2秒前
2秒前
2秒前
云舒完成签到，获得积分10
4秒前
丘比特的应助被英俊的小兔子采纳，获得10
4秒前
闪闪秋寒完成签到 ，获得积分10
4秒前
小仙完成签到，获得积分10
4秒前
4秒前
4秒前
久伴完成签到 ，获得积分10
4秒前
量子星尘发布了新的文献求助10
4秒前
damie完成签到 ，获得积分10
5秒前
小小鱼发布了新的文献求助10
5秒前
哭泣朝雪发布了新的文献求助10
5秒前
阿智完成签到，获得积分10
5秒前
6秒前
6秒前
活泼凡雁发布了新的文献求助10
6秒前
zyf发布了新的文献求助10
7秒前
鱿鱼发布了新的文献求助10
7秒前
七七发布了新的文献求助10
7秒前
李某某的应助被Asystasia7采纳，获得30
7秒前
科研小白发布了新的文献求助10
8秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Binary Alloy Phase Diagrams, 2nd Edition 8000
Encyclopedia of Reproduction Third Edition 3000
Comprehensive Methanol Science Production, Applications, and Emerging Technologies 2000
From Victimization to Aggression 1000
Study and Interlaboratory Validation of Simultaneous LC-MS/MS Method for Food Allergens Using Model Processed Foods 500
Red Book: 2024–2027 Report of the Committee on Infectious Diseases 500
热门求助领域 （近24小时）
化学 材料科学 生物 医学 工程类 计算机科学 有机化学 物理 生物化学 纳米技术 复合材料 内科学 化学工程 人工智能 催化作用 遗传学 数学 基因 量子力学 物理化学
热门帖子
关注 科研通微信公众号，转发送积分 5645714
求助须知：如何正确求助？哪些是违规求助？ 4769624
关于积分的说明 15031726
捐赠科研通 4804481
什么是DOI，文献DOI怎么找？ 2569019
邀请新用户注册赠送积分活动 1526095
关于科研通互助平台的介绍 1485700
Copyright © 2020-2026 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：821889395【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通