CN112650675A - 一种区块链的代码检测方法、装置和计算机设备 - Google Patents
一种区块链的代码检测方法、装置和计算机设备 Download PDFInfo
- Publication number
- CN112650675A CN112650675A CN202011539966.4A CN202011539966A CN112650675A CN 112650675 A CN112650675 A CN 112650675A CN 202011539966 A CN202011539966 A CN 202011539966A CN 112650675 A CN112650675 A CN 112650675A
- Authority
- CN
- China
- Prior art keywords
- matching
- code
- code data
- code detection
- original code
- 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.)
- Pending
Links
- 238000001514 detection method Methods 0.000 title claims abstract description 33
- 230000007547 defect Effects 0.000 claims abstract description 24
- 238000000034 method Methods 0.000 claims description 38
- 238000004590 computer program Methods 0.000 claims description 19
- 238000004458 analytical method Methods 0.000 abstract description 7
- 238000012360 testing method Methods 0.000 abstract description 5
- 230000003068 static effect Effects 0.000 abstract description 4
- 238000013461 design Methods 0.000 abstract description 3
- 238000007689 inspection Methods 0.000 abstract description 3
- 238000010586 diagram Methods 0.000 description 13
- 230000006870 function Effects 0.000 description 8
- 230000008569 process Effects 0.000 description 5
- 238000012545 processing Methods 0.000 description 4
- 230000009471 action Effects 0.000 description 3
- 230000000694 effects Effects 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 230000005856 abnormality Effects 0.000 description 1
- 230000004075 alteration Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000005540 biological transmission Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000005206 flow analysis Methods 0.000 description 1
- 239000011521 glass Substances 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 238000012423 maintenance Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000000750 progressive effect Effects 0.000 description 1
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/3604—Software analysis for verifying properties of programs
- G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
-
- 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/3604—Software analysis for verifying properties of programs
- G06F11/3612—Software analysis for verifying properties of programs by runtime analysis
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
本发明实施例提供了一种区块链的代码检测方法、装置和计算机设备,获取到原始代码数据;将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。帮助程序开发人员自动执行静态代码分析,快速定位代码隐藏错误和缺陷。帮助代码设计人员更专注于分析和解决代码设计缺陷。显著减少在代码逐行检查上花费的时间,提高软件可靠性并节省软件开发和测试成本。
Description
技术领域
本发明涉及计算机技术领域,特别是涉及一种区块链的代码检测方法、一种区块链的代码检测装置、一种计算机设备和一种存储介质。
背景技术
传统的代码问题通常需要程序员进行自己进行检查,这会引发很多问题,如常见的代码问题,不能及时的发现,导致编译或运行错误,影响开发效率和代码质量;每个程序员的代码规范和代码习惯不统一,后期维护和阅读理解成本高昂。
发明内容
鉴于上述问题,提出了本发明实施例以便提供一种克服上述问题或者至少部分地解决上述问题的一种区块链的代码检测方法、一种区块链的代码检测装置、一种计算机设备和一种存储介质。
为了解决上述问题,本发明实施例公开了一种区块链的代码检测方法,包括:
获取到原始代码数据;
将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。
优选地,所述方法还包括:
获取所述原始代码数据中的运算对象类型信息;
将所述运算对象类型信息与所述预设错误类型信息进行匹配,得到第二匹配结果。
优选地,所述方法还包括:
获取所述原始代码数据中的变量信息;
将所述变量信息与预设变量信息相匹配,得到第三匹配结果。
优选地,所述方法还包括:
通过模型检查的方式进行原始代码数据的检测,得到第四匹配结果。
本发明实施例还公开了一种区块链的代码检测装置,包括:
数据获取模块,用于获取到原始代码数据;
第一匹配模块,用于将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。
优选地,所述装置还包括:
类型信息获取模块,用于获取所述原始代码数据中的运算对象类型信息;
第二匹配模块,用于将所述运算对象类型信息与所述预设错误类型信息进行匹配,得到第二匹配结果。
优选地,所述装置还包括:
变量信息获取模块,用于获取所述原始代码数据中的变量信息;
第三匹配模块,用于将所述变量信息与预设变量信息相匹配,得到第三匹配结果。
优选地,所述装置还包括:
第三匹配模块,用于通过模型检查的方式进行原始代码数据的检测,得到第四匹配结果。
本发明实施例还公开了一种计算机设备,包括存储器和处理器,所述存储器存储有计算机程序,所述处理器执行所述计算机程序时实现上述的代码检测方法的步骤。
本发明实施例还公开了一种计算机可读存储介质,其上存储有计算机程序,所述计算机程序被处理器执行时实现上述的代码检测方法的步骤。
本发明实施例包括以下优点:
本发明实施例中,该区块链的代码检测方法包括:获取到原始代码数据;将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。帮助程序开发人员自动执行静态代码分析,快速定位代码隐藏错误和缺陷。帮助代码设计人员更专注于分析和解决代码设计缺陷。显著减少在代码逐行检查上花费的时间,提高软件可靠性并节省软件开发和测试成本。
附图说明
为了更清楚地说明本发明实施例中的技术方案,下面将对实施例描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图
图1是本发明实施例的一种区块链的代码检测方法实施例的步骤流程图;
图2是本发明实施例的一种区块链的代码检测方法实施例的流程示意图;
图3是本发明实施例的一种区块链的代码检测方法实施例的流程示意图;
图4是本发明实施例的一种区块链的代码检测方法实施例的流程示意图;
图5是本发明实施例的一种区块链的代码检测装置实施例的结构框图;
图6是一个实施例的一种计算机设备的内部结构图。
具体实施方式
为了使本发明实施例所解决的技术问题、技术方案及有益效果更加清楚明白,以下结合附图及实施例,对本发明实施例进一步详细说明。应当理解,此处所描述的具体实施例仅仅用以解释本发明,并不用于限定本发明。
参照图1,示出了本发明实施例的一种区块链的代码检测方法实施例的步骤流程图,具体可以包括如下步骤:
步骤101,获取到原始代码数据;
本发明实施例中,首先可以获取到原始代码数据,需要说明的是,该原始代码数据可以是多种语言的编写代码数据,如C语言、C++语言、Java语言、Python语言、Java Script语言、MATLAB语言等,本发明实施例对此不作过多的限制。
具体而言,终端首先获取到原始代码数据,即本方法可以应用于各种终端,例如,手机、平板电脑、个人数字助理、穿戴设备(如眼镜、手表等)等等。在本申请实施例中,移动终端的操作系统可以包括Android(安卓)、IOS、Windows Phone、Windows等等。
步骤102,将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。
进一步地,终端可以将将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。该共性缺陷模式可以是事先从代码分析经验中收集足够多的共性缺陷模式。
将待分析代码(即原始代码数据)与已有的共性缺陷模式进行模式匹配,从而完成软件的安全分析。这种方式的优点是简单方便,但是要求内置足够多缺陷模式,且容易产生误报。
具体而言,共性缺陷模式是指程序中经常出现的错误或者导致程序出现异常的缺陷,这些缺陷有同样的产生原因,同样的表现形式,按照这些缺陷发生的规律能够提取出相同的缺陷模式。
其中每一个共性缺陷模式描述了一个在周围不断重复发生的问题,以及该问题的解决方案的核心,这样就能一次又一次地使用该方案而不必做重复劳动。比如区块链智能合约代码拼写错误模式匹配,当想要拼写question由于拼写错误,误写成questien,由系统进行按照question进行检测,若匹配成功,则认为是拼写错误。当然,也可以包括其他的缺陷模式,本发明实施例对此不作过多的限制。
本发明实施例中,该区块链的代码检测方法包括:获取到原始代码数据;将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。帮助程序开发人员自动执行静态代码分析,快速定位代码隐藏错误和缺陷。帮助代码设计人员更专注于分析和解决代码设计缺陷。显著减少在代码逐行检查上花费的时间,提高软件可靠性并节省软件开发和测试成本。
参照图2,示出了本发明实施例的一种区块链的代码检测方法实施例的流程示意图,所述方法还包括:
步骤103,获取所述原始代码数据中的运算对象类型信息;
本发明实施例中,终端还可以首先获取到原始代码数据中的运算对象类型信息,可以通过对代码中运算对象类型进行推理,从而保证代码中每条语句都针对正确的类型执行。这种技术首先将预定义一套类型机制,包括类型等价、类型包含等推理规则,而后基于这一规则进行推理计算。根据运算对象类型信息推断可以检查代码中的类型错误,简单,高效,适合代码缺陷的快速检测。
步骤104,将所述运算对象类型信息与所述预设错误类型信息进行匹配,得到第二匹配结果。
实际应用到本发明实施例中,该预设错误类型信息可以储存于数据库中,预设错误类型信息可以包括规则种类信息,也可以为具体的某种数据信息,即可以设定不同的预设规则也可以设置不同的数据种类,本发明实施例对此不作过多的限制。
举例而言,在静态类型语言中,函数的输入和输出与局部变量的类型一般必须用类型标注明确的提供。例如,在C语言中:Int addone(int x){int result;/*声明整数result(c语言)*/result=x+1;return result;}
这个函数定义开始处,int addone(int x)声明了addone是函数,接受一个整数类型的参数,并返回一个证书。Int result声明了局部变量result是个整数。在支持类型推论的建议的语言中,代码可写为如下:addone(x){var result;/*推论类型result(在建议的语言中)*/var result2;/*result#2*/result=x+1;result2=x+1.;/*此行不工作*/return result;}
在上面的举例中,因为+总是接受两个整数并返回一个整数。终端可推断出x+1的值是个整数,因此result是个整数,addone的返回值是个整数。上述的是预设错误类型信息中的一个判断规则的举例,还可以有其他的预设错误类型信息,本发明实施例对此不作过多的限制。
将原始代码数据中的运算对象类型信息与预设错误类型信息中的规则进行匹配,得到第二匹配结果。
参照图3,示出了本发明实施例的一种区块链的代码检测方法实施例的流程示意图,所述方法还包括:
步骤105,获取所述原始代码数据中的变量信息;
步骤106,将所述变量信息与预设变量信息相匹配,得到第三匹配结果。
具体应用到本发明实施例中,通过收集代码中引用到的变量信息,从而分析变量在程序中的赋值、引用以及传递等情况。对数据流进行分析可以确定变量的定义以及在代码中被引用的情况,同时还能够检查代码数据流异常,如引用在前赋值在后、只赋值无引用等。数据流分析主要适合检验程序中的数据域特性。
参照图4,示出了本发明实施例的一种区块链的代码检测方法实施例的流程示意图,所述方法还包括:
步骤107,通过模型检查的方式进行原始代码数据的检测,得到第四匹配结果。
模型检验的方式是建立于有限状态自动机的基础之上,将被分析代码抽象为一个自动机系统,并且假设该系统是有限状态的、或者是可以通过抽象归结为有限状态。模型检验过程中,首先将被分析有原始代码数据中的每条语句产生的影响抽象为一个有限状态自动机的一个状态,而后通过分析有限状态机从而达到代码分析的目的。模型检验主要适合检验程序并发等时序特性,但是对于数据值域数据类型等方面作用较弱。
需要说明的是,对于方法实施例,为了简单描述,故将其都表述为一系列的动作组合,但是本领域技术人员应该知悉,本发明实施例并不受所描述的动作顺序的限制,因为依据本发明实施例,某些步骤可以采用其他顺序或者同时进行。其次,本领域技术人员也应该知悉,说明书中所描述的实施例均属于优选实施例,所涉及的动作并不一定是本发明实施例所必须的。
参照图5,示出了本发明实施例的一种区块链的代码检测装置实施例的结构框图,具体可以包括如下模块:
数据获取模块301,用于获取到原始代码数据;
第一匹配模块302,用于将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。
优选地,所述装置还包括:
类型信息获取模块,用于获取所述原始代码数据中的运算对象类型信息;
第二匹配模块,用于将所述运算对象类型信息与所述预设错误类型信息进行匹配,得到第二匹配结果。
优选地,所述装置还包括:
变量信息获取模块,用于获取所述原始代码数据中的变量信息;
第三匹配模块,用于将所述变量信息与预设变量信息相匹配,得到第三匹配结果。
优选地,所述装置还包括:
第三匹配模块,用于通过模型检查的方式进行原始代码数据的检测,得到第四匹配结果。
上述区块链的代码检测装置中的各个模块可全部或部分通过软件、硬件及其组合来实现。上述各模块可以硬件形式内嵌于或独立于计算机设备中的处理器中,也可以以软件形式存储于计算机设备中的存储器中,以便于处理器调用执行以上各个模块对应的操作。
上述提供的区块链的代码检测装置可用于执行上述任意实施例提供的区块链的代码检测方法,具备相应的功能和有益效果。
在一个实施例中,提供了一种计算机设备,该计算机设备可以是终端,其内部结构图可以如图6所示。该计算机设备包括通过系统总线连接的处理器、存储器、网络接口、显示屏和输入装置。其中,该计算机设备的处理器用于提供计算和控制能力。该计算机设备的存储器包括非易失性存储介质、内存储器。该非易失性存储介质存储有操作系统和计算机程序。该内存储器为非易失性存储介质中的操作系统和计算机程序的运行提供环境。该计算机设备的网络接口用于与外部的终端通过网络连接通信。该计算机程序被处理器执行时以实现一种区块链的代码检测方法。该计算机设备的显示屏可以是液晶显示屏或者电子墨水显示屏,该计算机设备的输入装置可以是显示屏上覆盖的触摸层,也可以是计算机设备外壳上设置的按键、轨迹球或触控板,还可以是外接的键盘、触控板或鼠标等。
本领域技术人员可以理解,图6中示出的结构,仅仅是与本申请方案相关的部分结构的框图,并不构成对本申请方案所应用于其上的计算机设备的限定,具体的计算机设备可以包括比图中所示更多或更少的部件,或者组合某些部件,或者具有不同的部件布置。
在一个实施例中,提供了一种计算机设备,包括存储器和处理器,存储器中存储有计算机程序,该处理器执行计算机程序时实现图1至图4的实施例的步骤。
在一个实施例中,提供了一种计算机可读存储介质,其上存储有计算机程序,计算机程序被处理器执行时实现以下图1至图4的实施例的步骤。
本说明书中的各个实施例均采用递进的方式描述,每个实施例重点说明的都是与其他实施例的不同之处,各个实施例之间相同相似的部分互相参见即可。
本领域内的技术人员应明白,本发明实施例的实施例可提供为方法、装置、或计算机程序产品。因此,本发明实施例可采用完全硬件实施例、完全软件实施例、或结合软件和硬件方面的实施例的形式。而且,本发明实施例可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器、CD-ROM、光学存储器等)上实施的计算机程序产品的形式。
本发明实施例是参照根据本发明实施例的方法、终端设备(系统)、和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理终端设备的处理器以产生一个机器,使得通过计算机或其他可编程数据处理终端设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的装置。
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理终端设备以特定方式工作的计算机可读存储器中,使得存储在该计算机可读存储器中的指令产生包括指令装置的制造品,该指令装置实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能。
这些计算机程序指令也可装载到计算机或其他可编程数据处理终端设备上,使得在计算机或其他可编程终端设备上执行一系列操作步骤以产生计算机实现的处理,从而在计算机或其他可编程终端设备上执行的指令提供用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的步骤。
尽管已描述了本发明实施例的优选实施例,但本领域内的技术人员一旦得知了基本创造性概念,则可对这些实施例做出另外的变更和修改。所以,所附权利要求意欲解释为包括优选实施例以及落入本发明实施例范围的所有变更和修改。
最后,还需要说明的是,在本文中,诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者终端设备不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者终端设备所固有的要素。在没有更多限制的情况下,由语句“包括一个……”限定的要素,并不排除在包括所述要素的过程、方法、物品或者终端设备中还存在另外的相同要素。
以上对本发明所提供的一种区块链的代码检测方法、一种区块链的代码检测装置、一种计算机设备和一种存储介质,进行了详细介绍,本文中应用了具体个例对本发明的原理及实施方式进行了阐述,以上实施例的说明只是用于帮助理解本发明的方法及其核心思想;同时,对于本领域的一般技术人员,依据本发明的思想,在具体实施方式及应用范围上均会有改变之处,综上所述,本说明书内容不应理解为对本发明的限制。
Claims (10)
1.一种区块链的代码检测方法,其特征在于,包括:
获取到原始代码数据;
将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。
2.根据权利要求1所述的代码检测方法,其特征在于,所述方法还包括:
获取所述原始代码数据中的运算对象类型信息;
将所述运算对象类型信息与所述预设错误类型信息进行匹配,得到第二匹配结果。
3.根据权利要求1所述的代码检测方法,其特征在于,所述方法还包括:
获取所述原始代码数据中的变量信息;
将所述变量信息与预设变量信息相匹配,得到第三匹配结果。
4.根据权利要求2所述的代码检测方法,其特征在于,所述方法还包括:
通过模型检查的方式进行原始代码数据的检测,得到第四匹配结果。
5.一种区块链的代码检测装置,其特征在于,包括:
数据获取模块,用于获取到原始代码数据;
第一匹配模块,用于将所述原始代码数据与共性缺陷模式进行匹配,得到第一匹配结果。
6.根据权利要求5所述的代码检测装置,其特征在于,所述装置还包括:
类型信息获取模块,用于获取所述原始代码数据中的运算对象类型信息;
第二匹配模块,用于将所述运算对象类型信息与所述预设错误类型信息进行匹配,得到第二匹配结果。
7.根据权利要求5所述的代码检测装置,其特征在于,所述装置还包括:
变量信息获取模块,用于获取所述原始代码数据中的变量信息;
第三匹配模块,用于将所述变量信息与预设变量信息相匹配,得到第三匹配结果。
8.根据权利要求6所述的代码检测装置,其特征在于,所述装置还包括:
第三匹配模块,用于通过模型检查的方式进行原始代码数据的检测,得到第四匹配结果。
9.一种计算机设备,包括存储器和处理器,所述存储器存储有计算机程序,其特征在于,所述处理器执行所述计算机程序时实现权利要求1至8中任一项所述的代码检测方法的步骤。
10.一种计算机可读存储介质,其上存储有计算机程序,其特征在于,所述计算机程序被处理器执行时实现权利要求1至8中任一项所述的代码检测方法的步骤。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011539966.4A CN112650675A (zh) | 2020-12-23 | 2020-12-23 | 一种区块链的代码检测方法、装置和计算机设备 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011539966.4A CN112650675A (zh) | 2020-12-23 | 2020-12-23 | 一种区块链的代码检测方法、装置和计算机设备 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN112650675A true CN112650675A (zh) | 2021-04-13 |
Family
ID=75359553
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202011539966.4A Pending CN112650675A (zh) | 2020-12-23 | 2020-12-23 | 一种区块链的代码检测方法、装置和计算机设备 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN112650675A (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113778899A (zh) * | 2021-09-28 | 2021-12-10 | 广州四三九九信息科技有限公司 | 一种在Lua代码编译前检查语法错误和性能的方法 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101017458A (zh) * | 2007-03-02 | 2007-08-15 | 北京邮电大学 | 基于源代码静态分析的软件安全代码分析器及其检测方法 |
CN108804326A (zh) * | 2018-06-12 | 2018-11-13 | 上海新炬网络技术有限公司 | 一种软件代码自动检测方法 |
CN109063477A (zh) * | 2018-07-18 | 2018-12-21 | 成都链安科技有限公司 | 一种自动化的智能合约代码缺陷检测系统和方法 |
CN111078568A (zh) * | 2019-12-20 | 2020-04-28 | 广州华多网络科技有限公司 | 代码规范方法、装置、计算机设备和存储介质 |
CN111240687A (zh) * | 2020-01-09 | 2020-06-05 | 华东师范大学 | 源代码静态分析装置 |
-
2020
- 2020-12-23 CN CN202011539966.4A patent/CN112650675A/zh active Pending
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101017458A (zh) * | 2007-03-02 | 2007-08-15 | 北京邮电大学 | 基于源代码静态分析的软件安全代码分析器及其检测方法 |
CN108804326A (zh) * | 2018-06-12 | 2018-11-13 | 上海新炬网络技术有限公司 | 一种软件代码自动检测方法 |
CN109063477A (zh) * | 2018-07-18 | 2018-12-21 | 成都链安科技有限公司 | 一种自动化的智能合约代码缺陷检测系统和方法 |
CN111078568A (zh) * | 2019-12-20 | 2020-04-28 | 广州华多网络科技有限公司 | 代码规范方法、装置、计算机设备和存储介质 |
CN111240687A (zh) * | 2020-01-09 | 2020-06-05 | 华东师范大学 | 源代码静态分析装置 |
Non-Patent Citations (1)
Title |
---|
招兆铿: "《程序设计语言原理》", 31 July 1998, 上海科学技术文献出版社, pages: 167 - 170 * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113778899A (zh) * | 2021-09-28 | 2021-12-10 | 广州四三九九信息科技有限公司 | 一种在Lua代码编译前检查语法错误和性能的方法 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US11340896B2 (en) | Library model addition | |
CN101286132B (zh) | 一种基于软件缺陷模式的测试方法及系统 | |
Sarhan et al. | A survey of challenges in spectrum-based software fault localization | |
CN111309343B (zh) | 一种开发部署方法及装置 | |
CN111507086A (zh) | 本地化应用程序中翻译文本位置的自动发现 | |
CN112241370B (zh) | 一种api接口类的校验方法、系统及装置 | |
CN112650675A (zh) | 一种区块链的代码检测方法、装置和计算机设备 | |
Thooriqoh et al. | Selenium Framework for Web Automation Testing: A Systematic Literature Review | |
CN117707983A (zh) | 测试用例代码生成方法及相关设备 | |
CN105354035A (zh) | 用于编写web工程测试用例的方法 | |
CN111639028A (zh) | 一种对账规则脚本测试方法、装置、引擎及存储介质 | |
CN110209572A (zh) | 用户界面测试方法、用户界面测试系统及终端 | |
CN115934559A (zh) | 表单智能测试系统的测试方法 | |
CN117667658A (zh) | 测试程序生成方法和测试程序生成设备 | |
CN112214412B (zh) | 一种测试报告的生成方法和装置 | |
Andrews | Theory and practice of log file analysis | |
CN113448822B (zh) | 测试方法、装置、计算机可读介质及电子设备 | |
CN111666216B (zh) | 一种智能合约分析方法及装置 | |
Ahmed et al. | Design by Contract for Deep Learning APIs | |
Maezawa et al. | Automated verification of pattern-based interaction invariants in Ajax applications | |
Zhang et al. | How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation | |
CN112380118A (zh) | 单元测试方法、装置、介质及电子设备 | |
CN118261143B (zh) | Unity环境下的Json数据解析方法、装置、设备及介质 | |
Ganji et al. | Code coverage criteria for asynchronous programs | |
US20240119462A1 (en) | Use of customer engagement data to identify and correct software product deficiencies |
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 |