1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

面向以太坊公有链智能合约的形式化静态分析方法及装置.pdfVIP

  • 1
  • 0
  • 约2.51万字
  • 约 21页
  • 2023-06-21 发布于四川
  • 举报

面向以太坊公有链智能合约的形式化静态分析方法及装置.pdf

    本发明公开了一种面向以太坊公有链智能合约的形式化静态分析方法及装置。所述方法包括：获取以太坊公有链智能合约的源码，并提取所述源码的代码语句，生成所述源码的Solidity表达式和特征图谱；基于所述代码语句、Solidity表达式与所述特征图谱，将所述源码描述为XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示；根据所述XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示进行漏洞模式检测与优化模式检测，得到以太坊公有链智能合约的分析结果。本发明可在内存资源有限的环境中快速完成

    (19)国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 115037512 A (43)申请公布日 2022.09.09 (21)申请号 202210457028.2 (22)申请日 2022.04.27 (71)申请人 中国科学院信息工程研究所 地址 1

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >