×

胃顶

swMATH标识: 38899
软件作者: 艾伯特,E.,戈迪洛,P.,鲁比奥,A.,谢尔盖,I。
说明: GASTAP:智能合约的气体分析仪。在烟雾中运行–使用静态资源分析防止以太坊智能合约中的气体耗尽漏洞。Gas是以太坊区块链平台中执行每一个操作所需的计算工作量的度量单位。以太坊虚拟机(EVM)执行的每个指令都有一个由以太坊指定的相关气体消耗量。如果交易超过用户分配的气体量(即气体限制),则会引发缺气异常。由于失气行为,存在一系列广泛的合同漏洞。本文介绍了GASTAP的设计与实现,GASTAP是一个气体感知智能合约分析平台,它以智能合约(EVM、反汇编EVM或Solidity源代码)为输入,自动推断所有公共功能的健全气体上限。我们的边界确保,如果用户支付的天然气限额高于我们推断的天然气边界,则合同不存在缺气漏洞。
主页: https://arxiv.org/abs/1811.10403
相关软件: 加气站快车;github;亚当;火把
参考文献: 2个出版物

在0序列中引用

按年份引用出版物