您的位置： 专家智库 > >

肖锋

作品数：6 被引量：0H指数：0
供职机构：河海大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇中文专利

领域

  • 3篇自动化与计算...

主题

  • 3篇以太
  • 3篇语言
  • 3篇整数溢出
  • 3篇流图
  • 3篇控制流
  • 3篇控制流图
  • 3篇插桩
  • 3篇SOLIDI...
  • 2篇重入
  • 2篇转账
  • 2篇漏洞
  • 2篇可见性
  • 2篇测试用例
  • 2篇测试用例生成
  • 2篇测试用例生成...
  • 1篇代码
  • 1篇语句
  • 1篇源代码
  • 1篇正则
  • 1篇正则表达式

机构

  • 6篇河海大学

作者

  • 6篇张鹏程
  • 6篇肖锋
  • 4篇吉顺慧

年份

  • 1篇2022
  • 3篇2020
  • 2篇2019
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
一种面向solidity语言的测试用例生成方法
本发明公开了一种面向solidity语言的测试用例生成方法，针对应用solidity语言实现的智能合约程序，根据程序得到对应的控制流图(CFG)，控制流图中涵盖了该智能合约程序中函数方法间的调用信息；根据程序CFG得到程...
张鹏程于佳男吉顺慧肖锋
文献传递
一种面向solidity语言的测试用例生成方法
本发明公开了一种面向solidity语言的测试用例生成方法，针对应用solidity语言实现的智能合约程序，根据程序得到对应的控制流图(CFG)，控制流图中涵盖了该智能合约程序中函数方法间的调用信息；根据程序CFG得到程...
张鹏程于佳男吉顺慧肖锋
文献传递
一种基于代码插桩的以太坊智能合约重入漏洞检测方法
本发明公开了一种基于代码插桩的以太坊智能合约重入漏洞检测方法，属于信息技术领域。该方法通过分析以太坊智能合约源代码，根据特定转账函数语句的位置并结合函数间的相互调用关系，找到所有可能成为重入攻击靶函数的函数，并向被测合约...
张鹏程肖锋于佳男
文献传递
一种基于代码插桩的以太坊智能合约重入漏洞检测方法
本发明公开了一种基于代码插桩的以太坊智能合约重入漏洞检测方法，属于信息技术领域。该方法通过分析以太坊智能合约源代码，根据特定转账函数语句的位置并结合函数间的相互调用关系，找到所有可能成为重入攻击靶函数的函数，并向被测合约...
张鹏程肖锋于佳男
文献传递
一种以太坊智能合约问题检测和预防方法与装置
本发明提出了一种以太坊智能合约问题检测和预防方法与装置，该方法的输入是用户给定的以太坊智能合约源代码。首先格式化源代码，整理代码的格式。然后根据不同问题的特征确定对应的正则表达式及检测规则，并确定预防重入漏洞和整数溢出漏...
张鹏程肖锋于佳男张勐吉顺慧戴启印曹文南
文献传递
Solidity语言源代码混淆方法、系统、设备及存储介质
本发明提出了一种Solidity语言源代码混淆方法、系统、设备及存储介质。包括：读取源代码，构建抽象语法树和控制流图；替换源代码中的变量名、扰乱源代码布局并删除辅助信息；转换源代码中变量状态，将常量转换为函数调用或算术表...
张鹏程张勐肖锋吉顺慧楚涵婷余启凡
文献传递
全选 清除 导出
共1页<1>
聚类工具0