您的位置： 专家智库 > >

任萌

作品数：5 被引量：1H指数：1
供职机构：清华大学更多>>
相关领域：建筑科学自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇专利
  • 1篇学位论文

领域

  • 1篇自动化与计算...
  • 1篇建筑科学

主题

  • 3篇交易
  • 3篇合约
  • 2篇预设
  • 2篇输入函数
  • 2篇燃油
  • 2篇燃油费
  • 2篇漏洞
  • 1篇虚拟机
  • 1篇仪式
  • 1篇以太
  • 1篇语法树
  • 1篇区块
  • 1篇流图
  • 1篇漏洞检测
  • 1篇模拟交易
  • 1篇聚落
  • 1篇控制流
  • 1篇控制流图
  • 1篇测试数据
  • 1篇抽象语法

机构

  • 5篇清华大学
  • 1篇深圳前海微众...

作者

  • 5篇任萌
  • 3篇顾明
  • 3篇孙家广
  • 3篇杨鑫

年份

  • 1篇2023
  • 1篇2022
  • 2篇2019
  • 1篇2013
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
一种智能合约的漏洞检测方法及装置
本申请实施例提供一种智能合约的漏洞检测方法及装置，涉及区块链技术领域，该方法包括：根据调用合约与被调用合约之间的任一调用关系，更新调用合约的控制流图，得到调用合约的合约间控制流图；基于合约间控制流图，通过符号执行方式执行...
马福辰任萌陈元亮姜宇李辉中
基于智能合约的交易中燃油费的输入确定方法及装置
本发明提供一种基于智能合约的交易中燃油费的输入确定方法及装置，方法包括：根据智能合约中函数的执行过程，生成控制流图；将函数每一种预先确定的参数值作为进行燃油费输入确定的种子输入函数，根据函数在执行过程中各节点消耗的实际燃...
马福辰姜宇傅滢任萌杨鑫顾明孙家广
一种以太坊虚拟机缺陷检测方法及系统
本发明实施例提供一种以太坊虚拟机缺陷检测方法及系统，所提供的方法包括：获取包含有若干个以太坊的真实智能合约构建的测试数据集，根据优先级条件对所述测试数据集中每一个智能合约进行排序，选取其中优先级最高的智能合约作为目标合约...
傅滢姜宇任萌马福辰杨鑫顾明孙家广
文献传递
晋中地区传统聚落空间组织与文化仪式的相关性研究
近30年来，中国进行着人类历史上最大规模的城市化进程。伴随着无数座新建筑的拔地而起，传统农村聚落与传统农村生活发生了翻天覆地的变化。一方面，农村聚落大规模扩展，传统聚落富有生命的景观被新建道路、工厂取代;另一方面，以传统...
任萌
文献传递
基于智能合约的交易中燃油费的输入确定方法及装置
本发明提供一种基于智能合约的交易中燃油费的输入确定方法及装置，方法包括：根据智能合约中函数的执行过程，生成控制流图；将函数每一种预先确定的参数值作为进行燃油费输入确定的种子输入函数，根据函数在执行过程中各节点消耗的实际燃...
马福辰姜宇傅滢任萌杨鑫顾明孙家广
文献传递
全选 清除 导出
共1页<1>
聚类工具0