CN109446096B - 一种智能合约调试方法、装置及其存储介质 - Google Patents
一种智能合约调试方法、装置及其存储介质 Download PDFInfo
- Publication number
- CN109446096B CN109446096B CN201811318170.9A CN201811318170A CN109446096B CN 109446096 B CN109446096 B CN 109446096B CN 201811318170 A CN201811318170 A CN 201811318170A CN 109446096 B CN109446096 B CN 109446096B
- Authority
- CN
- China
- Prior art keywords
- instruction
- function
- opcode
- intelligent contract
- substitute
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3624—Software debugging by performing operations on the source code, e.g. via a compiler
Abstract
本发明提供了一种智能合约调试方法、装置及其存储介质,涉及智能合约调试技术领域。所述智能合约调试方法包括:获取智能合约的操作码OpCode指令;通过OpCode解释器确定所述OpCode指令对应的替代指令函数;将所述替代指令函数中的运算函数转换为符号变量函数;在所述替代指令函数被执行后,基于所述替代指令函数的执行结果调试所述智能合约。该智能合约调试方法能在缺失智能合约源码、没有区块链具体交易数值的情况下进行智能合约的调试。
Description
技术领域
本发明涉及智能合约调试技术领域,具体而言,涉及一种智能合约调试方法、装置及其存储介质。
背景技术
智能合约是1990s年代由尼克萨博提出的理念,几乎与互联网同龄。由于缺少可信的执行环境,智能合约并没有被应用到实际产业中,自比特币诞生后,人们认识到比特币的底层技术区块链天生可以为智能合约提供可信的执行环境,以太坊首先看到了区块链和智能合约的契合,发布了白皮书《以太坊:下一代智能合约和去中心化应用平台》,并一直致力于将以太坊打造成最佳智能合约平台,所以比特币引领区块链,以太坊复活智能合约。
智能合约作为当下热点话题之一,从而衍生出了智能合约代码审计的行业,但是目前的审计都是基于智能合约源码上,如果需要调试的智能合约没有公开源码和区块链具体交易数值,就无法弄清楚整个智能合约的代码逻辑。
发明内容
有鉴于此,本发明实施例的目的在于提供一种智能合约调试方法、装置及其存储介质,以解决上述需要调试的智能合约没有公开源码和区块链具体交易数值,就无法弄清楚整个智能合约的代码逻辑的问题。
第一方面,本发明实施例提供了一种智能合约调试方法,所述智能合约调试方法包括:获取智能合约的操作码OpCode指令;通过OpCode解释器确定所述OpCode指令对应的替代指令函数;将所述替代指令函数中的运算函数转换为符号变量函数;在所述替代指令函数被执行后,基于所述替代指令函数的执行结果调试所述智能合约。
综合第一方面,在所述通过OpCode解释器确定所述OpCode指令对应的替代指令函数之前,所述方法还包括:确定OpCode指令与原指令函数的对应关系,其中,所述原指令函数为所述智能合约中用于完成OpCode指令的封装函数;基于所述对应关系,将所述原指令函数替换为能够完成OpCode指令的替换指令函数,并保存OpCode指令与替换指令函数的映射,以构建所述OpCode解释器。
综合第一方面,所述通过OpCode解释器确定所述OpCode指令对应的替代指令函数,包括:将所述OpCode指令的字符串输入所述OpCode解释器;通过所述OpCode解释器确定所述字符串对应的替换指令函数。
综合第一方面,在所述将所述替代指令函数中的运算函数转换为符号变量函数之前,所述方法还包括:构建一个符号变量类,并给所述符号变量类添加运算函数;其中,所述符号变量类中的符号变量用于替换所述OpCode指令需要获取的外部数据,所述运算函数用于执行所述替代指令函数中的运算函数。
综合第一方面,在所述构建一个符号变量类之后,所述方法还包括:显示所述符号变量类。
综合第一方面,所述基于所述替代指令函数的执行结果调试所述智能合约,包括:显示所述替代指令函数的执行结果,获取用户指令,基于所述用户指令进行下一步调试操作;其中,所述用户指令包括查看当前栈的指令、查看内存数据的指令、查看当前指令的指令、查看下条指令的指令、获取当前指令的参数的指令、设置断点的指令和执行至断点的指令中的至少一个。
第二方面,本发明实施例提供了一种智能合约调试装置,所述装置包括:OpCode指令获取模块,用于获取智能合约的操作码OpCode指令;替代指令函数确定模块,用于通过OpCode解释器确定所述OpCode指令对应的替代指令函数;符号变量转换模块,用于将所述替代指令函数中的运算函数转换为符号变量函数;调试模块,用于在所述替代指令函数被执行后,基于所述替代指令函数的执行结果调试所述智能合约。
综合第二方面,所述装置还包括指令替换模块,所述指令替换模块包括:对应关系确定单元,用于确定OpCode指令与原指令函数的对应关系,其中,所述原指令函数为所述智能合约中用于完成OpCode指令的封装函数;指令替换单元,用于基于所述对应关系,将所述原指令函数替换为能够完成OpCode指令的替换指令函数,并保存OpCode指令与替换指令函数的映射,以构建所述OpCode解释器。
综合第二方面,所述装置还包括符号变量类构建模块,用于构建一个符号变量类,并给所述符号变量类添加运算函数,其中,所述符号变量类中的符号变量用于替换所述OpCode指令需要获取的外部数据,所述运算函数用于执行所述替代指令函数中的运算函数。
第三方面,本发明实施例还提供了一种计算机可读取存储介质,所述计算机可读取存储介质中存储有计算机程序指令,所述计算机程序指令被一处理器读取并运行时,执行上述任一方面所述方法中的步骤。
本发明提供的有益效果是:
本发明提供了一种智能合约调试方法、装置及其存储介质,该智能合约调试方法在未获取智能合约源码时获取智能合约的OpCode指令,通过OpCode解释器将OpCode指令替换为能够完成相同功能的替代指令函数,从而能够在未获得智能合约源码的情况下进行智能合约的调试;同时还在无法从区块链中获取交易记录及其数据的具体数值时,将替代指令函数中的运算函数转换为符号变量函数,以符号变量替代具体数值,从而使智能合约的替代指令函数能够在无具体数值的情况下被执行,以完成智能合约的代码逻辑调试。
本发明的其他特征和优点将在随后的说明书阐述,并且,部分地从说明书中变得显而易见,或者通过实施本发明实施例了解。本发明的目的和其他优点可通过在所写的说明书、权利要求书、以及附图中所特别指出的结构来实现和获得。
附图说明
为了更清楚地说明本发明实施例的技术方案,下面将对实施例中所需要使用的附图作简单地介绍,应当理解,以下附图仅示出了本发明的某些实施例,因此不应被看作是对范围的限定,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他相关的附图。
图1为本发明第一实施例提供的一种智能合约调试方法的流程示意图;
图2为本发明第一实施例提供的一种指令函数替换步骤的流程示意图;
图3为本发明第一实施例提供的一种替代指令函数确定步骤的流程示意图;
图4为本发明第二实施例提供的一种智能合约调试装置100的模块示意图;
图5为本发明第三实施例提供的一种可应用于本申请实施例中的电子设备的结构框图。
图标:100-智能合约调试装置;110-OpCode指令获取模块;120-替代指令函数确定模块;130-符号变量转换模块;140-调试模块;200-电子设备;201-存储器;202-存储控制器;203-处理器;204-外设接口;205-输入输出单元;206-音频单元;207-显示单元。
具体实施方式
下面将结合本发明实施例中附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本发明一部分实施例,而不是全部的实施例。通常在此处附图中描述和示出的本发明实施例的组件可以以各种不同的配置来布置和设计。因此,以下对在附图中提供的本发明的实施例的详细描述并非旨在限制要求保护的本发明的范围,而是仅仅表示本发明的选定实施例。基于本发明的实施例,本领域技术人员在没有做出创造性劳动的前提下所获得的所有其他实施例,都属于本发明保护的范围。
应注意到:相似的标号和字母在下面的附图中表示类似项,因此,一旦某一项在一个附图中被定义,则在随后的附图中不需要对其进行进一步定义和解释。同时,在本发明的描述中,术语“第一”、“第二”等仅用于区分描述,而不能理解为指示或暗示相对重要性。
第一实施例
经本申请人研究发现,现有的智能合约是一种旨在以信息化方式传播、验证或执行合同的计算机协议。智能合约允许在没有第三方的情况下进行可信交易,这些交易可追踪且不可逆转,其能够提供优于传统合约的安全方法,并减少与合约相关的其他交易成本。由于智能合约就是代码,与纸质合同不同,智能合约对代码精确度要求极高,在智能合约编写不正确时会导致交易失败甚至是ether的丢失,浪费大量人力物力以及时间,因此智能合约需要调试器来调试代码,保证在发生错误时操作人员能迅速、准确地找到错误并解决它。但是现有的智能合约调试器,例如,以太坊智能合约公开的Remix自带调试器Debugger,其在有智能合约源码的情况下,把智能合约部署环境选择为JavaScript VM,之后的操作(部署合约,调用函数,获取全局变量值)在执行完成后(不论成功失败),都能通过点击Debug进行调试;在获取到智能合约的交易记录及其数据的具体数值时,该调试器能够调试区块链上的任意交易,通过修改环境设置,能调整区块链网络(公链或私链或者测试链),然后在Debugger中输入该网络的交易地址,接着就能对该交易进行调试。但是上述的Remix是一款智能合约IDE,所以其自带的Debugger是专门为开发者设计的,无法满足智能合约安全研究人员的需求。首先,安全研究人员的研究对象可能是一个只有OpCode,没有公开源码的智能合约,对于这类合约,Remix的Debugger只能调试该合约的交易。但是如果该合约没有交易记录,或者安全研究员是想搞清整个合约的代码逻辑,而不是一个交易,一个函数的代码逻辑,Remix就无能为力了。其次,安全研究人员有时候需要跟踪某一个变量的执行路径,但在Remix的Debugger中,每一句指令的输入输出结果都是一个具体值,不能仅仅对没有具体数值进行代码逻辑调试,无法满足安全研究人员的需求。
为了解决上述问题,本发明第一实施例提供了一种智能合约调试方法,该方法的执行主体可以是计算机、智能终端、云处理器或其他具备逻辑运算功能的电子设备。
请参考图1,图1为本发明第一实施例提供的一种智能合约调试方法的流程示意图,该智能合约调试方法的具体步骤可以如下:
步骤S20:获取智能合约的操作码OpCode指令。
智能合约虚拟机可以对智能合约进行执行与调用,调用时根据智能合约地址获取到代码,代码文件中的OpCodes.go中定义了所有的操作码(Operation Code,OPCode),本实施例可以通过OpCodes.go文件获取OpCode指令。
在计算机科学领域中,OpCode被用于描述机器语言指令中,指定要执行某种操作的那部分机器码,构成OpCode的指令格式和规范由处理器的指令规范指定。除了指令本身以外通常还有指令所需要的操作数,可能有的指令不需要显示的操作数。这些操作数可能是寄存器中的值,堆栈中的值,某块内存的值或者IO端口中的值等等。OpCode在不同的场合中通常具有不同的含义,例如PHP虚拟机(Zend VM)、JAVA虚拟机(JVM)以及一些软件保护虚拟机中的最小操作单元都可以称之为OpCode。
步骤S40:通过OpCode解释器确定所述OpCode指令对应的替代指令函数。
本实施例中的OpCode解释器中存储有OpCode指令与原指令函数的对应关系,而原指令函数即为智能合约中OpCode指令对应的封装函数,智能合约虚拟机通过调用OpCode指令对应的封装函数执行智能合约。
步骤S60:将所述替代指令函数中的运算函数转换为符号变量函数。
本实施例中的运算函数需要区块链数据中的具体数值进行运算,符号变量函数用于将该运算函数替换为不需要具体数值、采用符号变量进行运算的符号变量函数。
其中,符号变量就是用于符号运算的变量,例如分解一个关于X的多项式,那么X就是一个符号变量。关于符号运算,其相对的数值运算的表达式、矩阵变量中不允许有未定义的自由变量,而符号计算可以含有未定义的符号变量,因此可以采用符号运算替代智能合约中的数值运算。
步骤S80:在所述替代指令函数被执行后,基于所述替代指令函数的执行结果调试所述智能合约。
本实施例可以通过智能合约虚拟机执行运算函数转换为符号变量函数后的替代指令函数,并基于执行结果进行智能合约的调试。
本实施例提供的智能合约调试方法在未获取智能合约源码时获取智能合约的OpCode指令,通过OpCode解释器将OpCode指令替换为能够完成相同功能的替代指令函数,从而能够在未获得智能合约源码的情况下进行智能合约的调试;同时还在无法从区块链中获取交易记录及其数据的具体数值时,将替代指令函数中的运算函数转换为符号变量函数,以符号变量替代具体数值,从而使智能合约的替代指令函数能够在无具体数值的情况下被执行,以完成智能合约的代码逻辑调试。
作为一种可选的实施方式,在执行步骤S40之前,本实施例提供的智能合约调试方法还需要构建OpCode解释器,以使用OpCode解释器进行函数替换。请参考图2,图2为本发明第一实施例提供的一种指令函数替换步骤的流程示意图,该步骤具体可以如下:
步骤S31:确定OpCode指令与原指令函数的对应关系,其中,所述原指令函数为所述智能合约中用于完成OpCode指令的封装函数。
本实施例中的智能合约为以太坊智能合约时,OpCode指令的大小为1字节,范围从0x00-0xff,可以基于以太坊官方黄皮书确定OpCode指令与原指令函数的对应关系。
步骤S32:基于所述对应关系,将所述原指令函数替换为能够完成OpCode指令的替换指令函数,并保存OpCode指令与替换指令函数的映射,以构建所述OpCode解释器。
本实施例中大部分原指令函数只需要对照以太坊官方黄皮书中示出的对应关系即可通过简单改写替换为能够执行对应OpCode指令的替换指令函数,只有少部分几种指令需要特殊处理。
例如获取Storage数据中的SLOAD指令,可通过如下替换指令函数实现:
def SLOAD(index):
return Symbol(“global_var%d”%index)
基于上述替换指令函数,SLOAD(0)指令本身是从Storage偏移为0的位置获取值然后推入栈,替换后其为把符号变量global_0推入栈。
例如获取区块信息的BALANCE指令,可以通过如下替换指令函数实现:
def BALANCE():
return Symbol(“msg.value”)
基于上述替换指令函数,BALANCE指令本身是获取当前智能合约的余额,替换后即为获取msg.value符号变量替余额。
作为一种可选的实施方式,可以采用步骤S31-S32的方式将以太坊官方黄皮书内的原指令函数替换为替换指令函数,以替换指令函数与OpCode的映射为基础构建OpCode解释器。请参考图3,图3为本发明第一实施例提供的一种替代指令函数确定步骤的流程示意图,即步骤S40可以具体包括:
步骤S41:将所述OpCode指令的字符串输入所述OpCode解释器。
步骤S42:通过所述OpCode解释器确定所述字符串对应的替换指令函数。
应当理解的是,在执行步骤S60之前,本实施例还需要执行步骤:构建一个符号变量类,并给所述符号变量类添加运算函数。
其中,所述符号变量类中的符号变量用于替换所述OpCode指令需要获取的外部数据,所述运算函数用于执行所述替代指令函数中的运算函数。
作为一种可选的实施方式,本实施例还可以对符号变量类进行显示,以使操作人员更清楚调试过程。
上述构建函数变量类、添加运算函数、对符号变量类进行显示的实现方式可以具体如下:
针对步骤S60:将所述替代指令函数中的运算函数转换为符号变量函数。应当理解的是,在其他实施例中还可以是先将OpCode指令对应的原指令函数中的运算函数部分替换为符号变量函数,再通过OpCode解释器将替换符号变量函数后的原指令函数替换为替代指令函数。
针对步骤S80,即:基于所述替代指令函数的执行结果调试所述智能合约。其具体可以包括:显示所述替代指令函数的执行结果,获取用户指令,基于所述用户指令进行下一步调试操作。
其中,所述用户指令包括查看当前栈的指令、查看内存数据的指令、查看当前指令的指令、查看下条指令的指令、获取当前指令的参数的指令、设置断点的指令和执行至断点的指令中的至少一个。
第二实施例
为了配合本发明第一实施例提供的智能合约调试方法,本发明第二实施例还提供了一种智能合约调试装置100。
请参考图4,图4为本发明第二实施例提供的一种智能合约调试装置100的模块示意图。
智能合约调试装置100包括OpCode指令获取模块110、替代指令函数确定模块120、符号变量转换模块130和调试模块140。
OpCode指令获取模块110,用于获取智能合约的操作码OpCode指令。
替代指令函数确定模块120,用于通过OpCode解释器确定所述OpCode指令对应的替代指令函数。
符号变量转换模块130,用于将所述替代指令函数中的运算函数转换为符号变量函数。
调试模块140,用于在所述替代指令函数被执行后,基于所述替代指令函数的执行结果调试所述智能合约。
作为一种可选的实施方式,本实施例中的智能合约调试装置100还可以包括指令替换模块,指令替换模块包括:
对应关系确定单元,用于确定OpCode指令与原指令函数的对应关系,其中,所述原指令函数为所述智能合约中用于完成OpCode指令的封装函数;以及
指令替换单元,用于基于所述对应关系,将所述原指令函数替换为能够完成OpCode指令的替换指令函数,并保存OpCode指令与替换指令函数的映射,以构建所述OpCode解释器。
作为一种可选的实施方式,本实施例中的智能合约调试装置100还可以包括符号变量类构建模块,其用于构建一个符号变量类,并给所述符号变量类添加运算函数,其中,所述符号变量类中的符号变量用于替换所述OpCode指令需要获取的外部数据,所述运算函数用于执行所述替代指令函数中的运算函数。
所属领域的技术人员可以清楚地了解到,为描述的方便和简洁,上述描述的装置的具体工作过程,可以参考前述方法中的对应过程,在此不再过多赘述。
第三实施例
请参照图5,图5为本发明第三实施例提供的一种可应用于本申请实施例中的电子设备的结构框图。本实施例提供的电子设备200可以包括智能合约调试装置100、存储器201、存储控制器202、处理器203、外设接口204、输入输出单元205、音频单元206、显示单元207。
所述存储器201、存储控制器202、处理器203、外设接口204、输入输出单元205、音频单元206、显示单元207各元件相互之间直接或间接地电性连接,以实现数据的传输或交互。例如,这些元件相互之间可通过一条或多条通讯总线或信号线实现电性连接。所述智能合约调试装置100包括至少一个可以软件或固件(firmware)的形式存储于所述存储器201中或固化在智能合约调试装置100的操作系统(operating system,OS)中的软件功能模块。所述处理器203用于执行存储器201中存储的可执行模块,例如智能合约调试装置100包括的软件功能模块或计算机程序。
其中,存储器201可以是,但不限于,随机存取存储器(Random Access Memory,RAM),只读存储器(Read Only Memory,ROM),可编程只读存储器(Programmable Read-OnlyMemory,PROM),可擦除只读存储器(Erasable Programmable Read-Only Memory,EPROM),电可擦除只读存储器(Electric Erasable Programmable Read-Only Memory,EEPROM)等。其中,存储器201用于存储程序,所述处理器203在接收到执行指令后,执行所述程序,前述本发明实施例任一实施例揭示的流过程定义的服务器所执行的方法可以应用于处理器203中,或者由处理器203实现。
处理器203可以是一种集成电路芯片,具有信号的处理能力。上述的处理器203可以是通用处理器,包括中央处理器(Central Processing Unit,简称CPU)、网络处理器(Network Processor,简称NP)等;还可以是数字信号处理器(DSP)、专用集成电路(ASIC)、现成可编程门阵列(FPGA)或者其他可编程逻辑器件、分立门或者晶体管逻辑器件、分立硬件组件。可以实现或者执行本发明实施例中的公开的各方法、步骤及逻辑框图。通用处理器可以是微处理器或者该处理器203也可以是任何常规的处理器等。
所述外设接口204将各种输入/输出装置耦合至处理器203以及存储器201。在一些实施例中,外设接口204,处理器203以及存储控制器202可以在单个芯片中实现。在其他一些实例中,他们可以分别由独立的芯片实现。
输入输出单元205用于提供给用户输入数据实现用户与所述服务器(或本地终端)的交互。所述输入输出单元205可以是,但不限于,鼠标和键盘等设备。
音频单元206向用户提供音频接口,其可包括一个或多个麦克风、一个或者多个扬声器以及音频电路。
显示单元207在所述电子设备200与用户之间提供一个交互界面(例如用户操作界面)或用于显示图像数据给用户参考。在本实施例中,所述显示单元207可以是液晶显示器或触控显示器。若为触控显示器,其可为支持单点和多点触控操作的电容式触控屏或电阻式触控屏等。支持单点和多点触控操作是指触控显示器能感应到来自该触控显示器上一个或多个位置处同时产生的触控操作,并将该感应到的触控操作交由处理器203进行计算和处理。
可以理解,图5所示的结构仅为示意,所述电子设备200还可包括比图5中所示更多或者更少的组件,或者具有与图5所示不同的配置。图5中所示的各组件可以采用硬件、软件或其组合实现。
所属领域的技术人员可以清楚地了解到,为描述的方便和简洁,上述描述的装置的具体工作过程,可以参考前述方法中的对应过程,在此不再过多赘述。
综上所述,本发明实施例提供了一种智能合约调试方法、装置及其存储介质,该智能合约调试方法在未获取智能合约源码时获取智能合约的OpCode指令,通过OpCode解释器将OpCode指令替换为能够完成相同功能的替代指令函数,从而能够在未获得智能合约源码的情况下进行智能合约的调试;同时还在无法从区块链中获取交易记录及其数据的具体数值时,将替代指令函数中的运算函数转换为符号变量函数,以符号变量替代具体数值,从而使智能合约的替代指令函数能够在无具体数值的情况下被执行,以完成智能合约的代码逻辑调试。
在本申请所提供的几个实施例中,应该理解到,所揭露的装置和方法,也可以通过其它的方式实现。以上所描述的装置实施例仅仅是示意性的,例如,附图中的流程图和框图显示了根据本发明的多个实施例的装置、方法和计算机程序产品的可能实现的体系架构、功能和操作。在这点上,流程图或框图中的每个方框可以代表一个模块、程序段或代码的一部分,所述模块、程序段或代码的一部分包含一个或多个用于实现规定的逻辑功能的可执行指令。也应当注意,在有些作为替换的实现方式中,方框中所标注的功能也可以以不同于附图中所标注的顺序发生。例如,两个连续的方框实际上可以基本并行地执行,它们有时也可以按相反的顺序执行,这依所涉及的功能而定。也要注意的是,框图和/或流程图中的每个方框、以及框图和/或流程图中的方框的组合,可以用执行规定的功能或动作的专用的基于硬件的系统来实现,或者可以用专用硬件与计算机指令的组合来实现。
另外,在本发明各个实施例中的各功能模块可以集成在一起形成一个独立的部分,也可以是各个模块单独存在,也可以两个或两个以上模块集成形成一个独立的部分。
所述功能如果以软件功能模块的形式实现并作为独立的产品销售或使用时,可以存储在一个计算机可读取存储介质中。基于这样的理解,本发明的技术方案本质上或者说对现有技术做出贡献的部分或者该技术方案的部分可以以软件产品的形式体现出来,该计算机软件产品存储在一个存储介质中,包括若干指令用以使得一台计算机设备(可以是个人计算机,服务器,或者网络设备等)执行本发明各个实施例所述方法的全部或部分步骤。而前述的存储介质包括:U盘、移动硬盘、只读存储器(ROM,Read-Only Memory)、随机存取存储器(RAM,Random Access Memory)、磁碟或者光盘等各种可以存储程序代码的介质。
以上所述仅为本发明的优选实施例而已,并不用于限制本发明,对于本领域的技术人员来说,本发明可以有各种更改和变化。凡在本发明的精神和原则之内,所作的任何修改、等同替换、改进等,均应包含在本发明的保护范围之内。应注意到:相似的标号和字母在下面的附图中表示类似项,因此,一旦某一项在一个附图中被定义,则在随后的附图中不需要对其进行进一步定义和解释。
以上所述,仅为本发明的具体实施方式,但本发明的保护范围并不局限于此,任何熟悉本技术领域的技术人员在本发明揭露的技术范围内,可轻易想到变化或替换,都应涵盖在本发明的保护范围之内。因此,本发明的保护范围应所述以权利要求的保护范围为准。
需要说明的是,在本文中,诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下,由语句“包括一个……”限定的要素,并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
Claims (9)
1.一种智能合约调试方法,其特征在于,所述方法包括:
获取智能合约的操作码OpCode指令;
通过OpCode解释器确定所述OpCode指令对应的替代指令函数;
将所述替代指令函数中的运算函数转换为符号变量函数;
在所述替代指令函数被执行后,基于所述替代指令函数的执行结果调试所述智能合约,包括:显示所述替代指令函数的执行结果,获取用户指令,基于所述用户指令进行下一步调试操作;其中,所述用户指令包括查看当前栈的指令、查看内存数据的指令、查看当前指令的指令、查看下条指令的指令、获取当前指令的参数的指令、设置断点的指令和执行至断点的指令中的至少一个。
2.根据权利要求1所述的智能合约调试方法,其特征在于,在所述通过OpCode解释器确定所述OpCode指令对应的替代指令函数之前,所述方法还包括:
确定OpCode指令与原指令函数的对应关系,其中,所述原指令函数为所述智能合约中用于完成OpCode指令的封装函数;
基于所述对应关系,将所述原指令函数替换为能够完成OpCode指令的替换指令函数,并保存OpCode指令与替换指令函数的映射,以构建所述OpCode解释器。
3.根据权利要求2所述的智能合约调试方法,其特征在于,所述通过OpCode解释器确定所述OpCode指令对应的替代指令函数,包括:
将所述OpCode指令的字符串输入所述OpCode解释器;
通过所述OpCode解释器确定所述字符串对应的替换指令函数。
4.根据权利要求1所述的智能合约调试方法,其特征在于,在所述将所述替代指令函数中的运算函数转换为符号变量函数之前,所述方法还包括:
构建一个符号变量类,并给所述符号变量类添加运算函数;
其中,所述符号变量类中的符号变量用于替换所述OpCode指令需要获取的外部数据,所述运算函数用于执行所述替代指令函数中的运算函数。
5.根据权利要求4所述的智能合约调试方法,其特征在于,在所述构建一个符号变量类之后,所述方法还包括:
显示所述符号变量类。
6.一种智能合约调试装置,其特征在于,所述装置包括:
OpCode指令获取模块,用于获取智能合约的操作码OpCode指令;
替代指令函数确定模块,用于通过OpCode解释器确定所述OpCode指令对应的替代指令函数;
符号变量转换模块,用于将所述替代指令函数中的运算函数转换为符号变量函数;
调试模块,用于在所述替代指令函数被执行后,基于所述替代指令函数的执行结果调试所述智能合约,包括:显示所述替代指令函数的执行结果,获取用户指令,基于所述用户指令进行下一步调试操作;其中,所述用户指令包括查看当前栈的指令、查看内存数据的指令、查看当前指令的指令、查看下条指令的指令、获取当前指令的参数的指令、设置断点的指令和执行至断点的指令中的至少一个。
7.根据权利要求6所述的智能合约调试装置,其特征在于,所述装置还包括指令替换模块,所述指令替换模块包括:
对应关系确定单元,用于确定OpCode指令与原指令函数的对应关系,其中,所述原指令函数为所述智能合约中用于完成OpCode指令的封装函数;
指令替换单元,用于基于所述对应关系,将所述原指令函数替换为能够完成OpCode指令的替换指令函数,并保存OpCode指令与替换指令函数的映射,以构建所述OpCode解释器。
8.根据权利要求6所述的智能合约调试装置,其特征在于,所述装置还包括符号变量类构建模块,用于构建一个符号变量类,并给所述符号变量类添加运算函数,其中,所述符号变量类中的符号变量用于替换所述OpCode指令需要获取的外部数据,所述运算函数用于执行所述替代指令函数中的运算函数。
9.一种计算机可读取存储介质,其特征在于,所述计算机可读取存储介质中存储有计算机程序指令,所述计算机程序指令被一处理器读取并运行时,执行权利要求1-5任一项所述方法中的步骤。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811318170.9A CN109446096B (zh) | 2018-11-06 | 2018-11-06 | 一种智能合约调试方法、装置及其存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811318170.9A CN109446096B (zh) | 2018-11-06 | 2018-11-06 | 一种智能合约调试方法、装置及其存储介质 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN109446096A CN109446096A (zh) | 2019-03-08 |
CN109446096B true CN109446096B (zh) | 2021-08-24 |
Family
ID=65550818
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201811318170.9A Active CN109446096B (zh) | 2018-11-06 | 2018-11-06 | 一种智能合约调试方法、装置及其存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109446096B (zh) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110598446A (zh) * | 2019-09-16 | 2019-12-20 | 腾讯科技(深圳)有限公司 | 基于区块链的测试方法、装置、存储介质和计算机设备 |
CN111125697B (zh) * | 2019-11-14 | 2022-03-04 | 北京理工大学 | 基于缺陷摘要的智能合约缺陷可触发性检测方法及系统 |
CN111290958B (zh) * | 2020-02-20 | 2023-05-30 | 联动优势科技有限公司 | 一种调试智能合约的方法及装置 |
CN113961202B (zh) * | 2021-12-21 | 2022-02-22 | 北京中科金财科技股份有限公司 | 一种自动调试智能合约的方法及系统 |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102542208A (zh) * | 2010-12-16 | 2012-07-04 | 微软公司 | 安全沙箱 |
CN105975816A (zh) * | 2015-12-25 | 2016-09-28 | 武汉安天信息技术有限责任公司 | 移动终端下基于虚拟技术的代码保护方法及系统 |
CN106598549A (zh) * | 2016-12-08 | 2017-04-26 | 天津米游科技有限公司 | 一种基于区块链的智能合约系统及实现方法 |
CN106951307A (zh) * | 2017-03-06 | 2017-07-14 | 钱德君 | 一种智能合约虚拟机实现方法 |
CN107015840A (zh) * | 2017-03-17 | 2017-08-04 | 南京南瑞继保电气有限公司 | 一种解析器的快速执行方法及快速执行系统 |
EP3388994A1 (de) * | 2017-04-12 | 2018-10-17 | Siemens Aktiengesellschaft | Verfahren und vorrichtung zum rechnergestützten testen einer blockkette |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108073513A (zh) * | 2017-04-21 | 2018-05-25 | 富士通株式会社 | 对基于区块链的智能合约进行测试的装置和方法 |
CN107943691B (zh) * | 2017-11-17 | 2022-03-01 | 深圳圣马歌科技有限公司 | 一种自动产生智能合约的功能测试页面的方法及装置 |
-
2018
- 2018-11-06 CN CN201811318170.9A patent/CN109446096B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102542208A (zh) * | 2010-12-16 | 2012-07-04 | 微软公司 | 安全沙箱 |
CN105975816A (zh) * | 2015-12-25 | 2016-09-28 | 武汉安天信息技术有限责任公司 | 移动终端下基于虚拟技术的代码保护方法及系统 |
CN106598549A (zh) * | 2016-12-08 | 2017-04-26 | 天津米游科技有限公司 | 一种基于区块链的智能合约系统及实现方法 |
CN106951307A (zh) * | 2017-03-06 | 2017-07-14 | 钱德君 | 一种智能合约虚拟机实现方法 |
CN107015840A (zh) * | 2017-03-17 | 2017-08-04 | 南京南瑞继保电气有限公司 | 一种解析器的快速执行方法及快速执行系统 |
EP3388994A1 (de) * | 2017-04-12 | 2018-10-17 | Siemens Aktiengesellschaft | Verfahren und vorrichtung zum rechnergestützten testen einer blockkette |
Non-Patent Citations (2)
Title |
---|
Optimization Model of Supply Chain Flexibility Contract for Buyers";Yang Jianhua,Niu Kun;《IEEE》;20120403;1-4 * |
智能合约从入门到精通:Solidity Assembly;区块链技术;《https://blog.csdn.net/shjuzhen/article/details/80941432》;20180706;1-19 * |
Also Published As
Publication number | Publication date |
---|---|
CN109446096A (zh) | 2019-03-08 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN109446096B (zh) | 一种智能合约调试方法、装置及其存储介质 | |
US10169034B2 (en) | Verification of backward compatibility of software components | |
TWI577539B (zh) | 用於運行時間系統的電腦實施方法、電腦可讀取儲存記憶體及系統 | |
US8495748B2 (en) | Mechanism for generating vulnerability reports based on application binary interface/application programming interface usage | |
US8434062B2 (en) | Enhancing source code debugging and readability using visual symbols | |
CN104572463A (zh) | 测试接口信息的方法及装置 | |
CN109117141B (zh) | 简化编程的方法、装置、电子设备、计算机可读存储介质 | |
Krafczyk et al. | Learning from reproducing computational results: introducing three principles and the Reproduction Package | |
US20150074045A1 (en) | Business Rule Management System | |
US10830818B2 (en) | Ensuring completeness of interface signal checking in functional verification | |
CN113760266B (zh) | 一种功能模块文件的创建方法、创建装置和电子设备 | |
CN110955409A (zh) | 在云平台上创建资源的方法和装置 | |
US20190220549A1 (en) | Analysis model preparing system, programming apparatus, and analysis model preparing method | |
US9104573B1 (en) | Providing relevant diagnostic information using ontology rules | |
US11182272B2 (en) | Application state monitoring | |
CN107341038B (zh) | 兼容性处理方法、装置及电子设备 | |
US11675584B1 (en) | Visualizing dependent relationships in computer program analysis trace elements | |
CN112925523A (zh) | 对象比较方法、装置、设备及计算机可读介质 | |
CN114115855A (zh) | 代码复用方法及装置、计算机可读存储介质、电子设备 | |
CN107357926B (zh) | 网页处理方法、装置及电子设备 | |
CN110471662A (zh) | 程序转换方法、装置及设备 | |
CN114968751A (zh) | 一种无代码开发平台的程序调试方法和程序调试装置 | |
US11847448B2 (en) | Automatic generation of exporter configuration rules | |
CN114998038A (zh) | 异常保单处理方法及系统 | |
CN114861606A (zh) | 数据转换方法、装置及电子设备 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
CB02 | Change of applicant information | ||
CB02 | Change of applicant information |
Address after: Room 311501, Unit 1, Building 5, Courtyard 1, Futong East Street, Chaoyang District, Beijing Applicant after: Beijing Zhichuangyu Information Technology Co., Ltd. Address before: Room 311501, Unit 1, Building 5, Courtyard 1, Futong East Street, Chaoyang District, Beijing Applicant before: Beijing Knows Chuangyu Information Technology Co.,Ltd. |
|
GR01 | Patent grant | ||
GR01 | Patent grant |