GASTAP公司 swMATH编号: 38899 软件作者: E.阿尔伯特、P.戈迪略、A.鲁比奥、I.谢尔盖。 描述: GASTAP:智能合约的气体分析仪。在烟雾中运行-使用静态资源分析防止以太坊智能合约中的气体耗尽漏洞。Gas是以太坊区块链平台中执行每一项操作所需的计算工作量的衡量单位。以太坊虚拟机(EVM)执行的每个指令都有以太坊指定的相关气体消耗量。如果交易超过用户分配的气体量(称为气体限制),则会引发气体外异常。由于出气行为,存在广泛的合同漏洞。我们报告了GASTAP的设计和实现,这是一个Gas-Aware智能合约分析平台,它将智能合约作为输入(在EVM、反汇编EVM或Solidity源代码中),并自动推断其所有公共功能的可靠气体上限。我们的界限确保,如果用户支付的天然气限额高于我们推断的天然气界限,则合同没有天然气漏洞。 主页: https://arxiv.org/abs/1811.10403 相关软件: 塞尔瓦;github;加气站快车;亚当;PyTorch公司 引用于: 3文件 全部的 前5名9位作者引用 2 萨姆·沃纳。 1 艾尔维拉·阿尔伯特 1 巴勃罗·戈迪略 1 亚历杭德罗·埃尔南德斯·塞雷佐 1 本杰明·利夫希茨 1 保罗·普里茨。 1 克拉拉·罗德里格斯·努涅斯 1 阿尔伯特·鲁比奥 1 徐家华 0连载引用 在3个字段中引用 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文