CN107153610A - 一种程序语句错误检测方法和装置 - Google Patents
一种程序语句错误检测方法和装置 Download PDFInfo
- Publication number
- CN107153610A CN107153610A CN201710295700.1A CN201710295700A CN107153610A CN 107153610 A CN107153610 A CN 107153610A CN 201710295700 A CN201710295700 A CN 201710295700A CN 107153610 A CN107153610 A CN 107153610A
- Authority
- CN
- China
- Prior art keywords
- variable
- sentence
- statement
- program statement
- program
- 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
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
Abstract
本发明公开了一种程序语句错误检测方法和装置,用以减少由于程序语句错误导致的程序运行错误或者程序运行崩溃的问题。所述程序语句错误检测方法,包括:遍历待检测程序语句,识别所述待检测程序语句中包含的变量;针对识别出的每一变量,确定包含该变量的程序语句的语句类型和包含该变量的程序语句的位置信息,所述语句类型包括使用语句和赋值语句;针对每一使用语句,针对每一使用语句,根据该使用语句的位置信息和该使用语句中包含的被使用变量所对应的赋值语句的位置信息,分析相应的赋值语句和使用语句之间包含的程序语句得到所述被使用变量使用的依赖条件;根据所述依赖条件判断被使用变量是否存在使用错误。
Description
技术领域
本发明涉及计算机技术领域,尤其涉及一种程序语句错误检测方法和装置。
背景技术
本部分旨在为权利要求书中陈述的本发明的实施方式提供背景或上下文。此处的描述不因为包括在本部分中就承认是现有技术。
程序中空指针的使用是一个致命的问题,且往往不容易被发现,为了防止此种错误,指针使用之前的判空操作不可忽视。目前有很多针对特定编程语言的工具可以自动检测指针的未判空使用,例如针对C语言的Coverity代码静态检测工具。然而,lua作为游戏后台的主流开发脚本语言,目前并没有工具来自动检测指针的未判空使用。而指针未判空使用的后果常常是程序崩溃引起宕机,因此,如何对程序中指针未判空使用进行检测成为现有技术中亟待解决的技术问题之一。
发明内容
本发明实施例提供了一种程序语句错误检测方法和装置,用以减少由于程序语句错误导致的程序运行错误或者程序运行崩溃的问题。
本发明实施例提供一种程序语句错误检测方法,包括:
遍历待检测程序语句,识别所述待检测程序语句中包含的变量;
针对识别出的每一变量,确定包含该变量的程序语句的语句类型和包含该变量的程序语句的位置信息,所述语句类型包括使用语句和赋值语句;并
针对每一使用语句,根据该使用语句的位置信息和该使用语句中包含的被使用变量所对应的赋值语句的位置信息,分析相应的赋值语句和使用语句之间包含的程序语句得到所述被使用变量使用的依赖条件;
根据所述依赖条件判断被使用变量是否存在使用错误。
本发明实施例提供一种程序语句错误检测装置,包括:
识别单元,用于遍历待检测程序语句,识别所述待检测程序语句中包含的变量;
确定单元,用于针对识别出的每一变量,确定包含该变量的程序语句的语句类型和包含该变量的程序语句的位置信息,所述语句类型包括使用语句和赋值语句;
分析单元,用于针对每一使用语句,根据该使用语句的位置信息和该使用语句中包含的被使用变量所对应的赋值语句的位置信息,分析相应的赋值语句和使用语句之间包含的程序语句得到所述被使用变量使用的依赖条件;
判断单元,用于根据所述分析单元得到的依赖条件判断被使用变量是否存在使用错误。
本发明实施例提供的程序语句错误检测方法和装置,通过对程序语句中包含的变量进行识别,针对每一变量,从待检测程序语句中确定出包含该变量的使用程序语句和赋值程序语句以及每一类型程序语句的位置信息,针对每一被使用语句,根据该使用语句的位置信息和该使用语句中包含的被使用变量对应的赋值语句的位置信息,对相应的赋值语句和使用语句之间包含的程序语句进行分析得到所述被使用变量使用的依赖条件,根据该变量使用的依赖条件判断该变量是否存在使用错误,由此,实现了对程序语句中的变化使用错误进行检测,减少了由于程序语句错误导致的程序运行错误或者程序运行崩溃的问题。
本发明的其它特征和优点将在随后的说明书中阐述,并且,部分地从说明书中变得显而易见,或者通过实施本发明而了解。本发明的目的和其他优点可通过在所写的说明书、权利要求书、以及附图中所特别指出的结构来实现和获得。
附图说明
此处所说明的附图用来提供对本发明的进一步理解,构成本发明的一部分,本发明的示意性实施例及其说明用于解释本发明,并不构成对本发明的不当限定。在附图中:
图1为本发明实施例中,程序语句错误检测方法的实施流程示意图;
图2为本发明实施例中,第一种待检测程序语句示意图;
图3为本发明实施例中,第一种待检测程序语句对应的VDG示意图;
图4为本发明实施例中,第二种待检测程序语句示意图;
图5为本发明实施例中,对第二种待检测程序语句进行指针未判空使用检测的流程示意图;
图6为本发明实施例中,第二种待检测程序语句对应的VDG示意图;
图7为本发明实施例中,程序语句错误检测装置的结构示意图。
具体实施方式
为了减少由于程序语句错误导致的程序运行错误或者程序运行崩溃的问题,本发明实施例提供了一种程序语句错误检测方法和装置。
以下结合说明书附图对本发明的优选实施例进行说明,应当理解,此处所描述的优选实施例仅用于说明和解释本发明,并不用于限定本发明,并且在不冲突的情况下,本发明中的实施例及实施例中的特征可以相互组合。
如图1所示,其为本发明实施例提供的程序语句错误检测方法的实施流程示意图,可以包括以下步骤:
S11、遍历待检测程序语句,识别待检测程序语句中包含的变量。
具体实施时,可以根据程序语句中包含的预设标识符来识别待检测程序语句中包含的变量。为了便于描述,以指针变量为例,在lua语言中,判断一个变量是否为指针的方法如下:指针的使用是冒号形式,比如调用函数“pointer:method()”,基于此,本发明实施例中,可以遍历待检测程序语句,查找到所有包含冒号的程序语句,提取出冒号之前的变量(本例中即为指针)。
较佳地,为了提高变量识别效率,本发明实施例中,在执行步骤S11之前,可以抽象出待检测程序语句的AST(Abstract Syntax Tree,抽象语法树),基于此,步骤S11中,可以遍历构造的AST,识别AST中包含的预设标识符,从包含预设标识符的程序语句中提取待检测程序语句中包含的变量。
具体实施时,可以借用lua的开源parser工具lua-parser,利用访问者(visitor)模式构造待检测程序语句的AST树,然后用visitor遍历该AST树,识别该AST中包含的预设标识符,例如,对于指针变量,该预设标识符可以为冒号,由此识别出待检测程序语句中包含的指针变量。
为了便于理解,以待检测程序语句为图2所示的程序语句为例,遍历图2所示的程序语句可以得到3个包含冒号的表达式,提取出冒号之前的变量(本例中即为pointer和pUser)添加至指针变量集合中,为了便于描述,本发明实施例中以判断指针pointer使用是否存在错误为例进行说明。
较佳地,具体实施时,由于未使用的变量不会引发程序运行错误或者程序运行崩溃,为了进一步提高识别效率,本发明实施例中可以仅针对使用的变量进行识别,即本发明实施例中仅针对使用语句中包含的被使用变量进行识别。
S12、针对识别出的每一变量,确定包含该变量的程序语句的语句类型和包含该变量的程序语句的位置信息。
本步骤中,针对步骤S11中识别出的每一变量,确定包含该变量的程序语句的位置信息和语句类型。其中,语句类型包含赋值语句和使用语句。
针对识别出的每一变量,通过遍历构造的AST树确定包含该变量的程序语句。进一步地,可以根据包含该变量的程序语句中的特征标识符来确定该程序语句的语句类型。例如,对于赋值语句来说,程序语句中包含的特征标识符可以为等于号(“=”),对于使用语句来说,程序语句中包含的特征标识符可以为冒号(“:”)。
为了便于说明,仍然以指针变量为例进行说明。针对每一包含指针变量的程序语句,可以根据该程序语句包含的特征标识符来确定该程序语句的语句类型。以图2所示的程序语句为例,根据步骤S11中识别出包含指针变量的表达式如下:1、local pointer=nil;2、pointer=pUser:GetPointer1();3、pointer=pUser:GetPointer2();4、returnpointer:GetIntVal()。
根据上述语句类型的确定方式可知,表达式1中仅包含等于号,因此,表达式1属于赋值语句;表达式2和表达式3中包含等于号和冒号,对于指针pointer来说,表达式2和表达式3属于赋值语句,对于指针pUser来说表达式2和表达式3属于使用语句,表达式4中仅包含冒号,因此,表达式4属于使用语句。
进一步地,还需要确定出每一类型程序语句的在待检测程序语句中的位置信息,不同程序语句的位置信息可以以该程序语句在待检测程序语句中的行数表示。例如,上述表达式1在待检测程序语句中的位置信息可以表示为第5行;上述表达式2在待检测程序语句中的位置信息可以表示为第11行,上述表达式3在待检测程序语句中的位置信息可以表示为第17行,上述表达式4在待检测程序语句中的位置信息可以表示为第22行。
需要说明的是,具体实施时,在确定使用语句时,无需确定正确的使用语句。以检测程序语句错误为是否包含指针变量未判空使用为例,则在步骤S12中确定包含指针变量的使用语句中无需确定指针变量判空使用的程序语句,例如,图2所示的程序语句中包含的如下语句:“if pointer==nil”。
S13、针对每一使用语句,根据该使用语句的位置信息和该使用语句中包含的被使用变量所对应的赋值语句的位置信息,分析相应的赋值语句和使用语句之间包含的程序语句得到所述被使用变量使用的依赖条件。
其中,依赖条件包括直接依赖条件和控制依赖条件,分析图2所示的程序语句可得:指针pointer的直接依赖条件包括以下3个:1、local pointer=nil;2、pointer=pUser:GetPointer1();3、pointer=pUser:GetPointer2();而pointer的控制依赖条件包括:if pInt<4和if flag==0,而flag控制依赖于pInt>=4。
S14、根据所述依赖条件判断被使用变量是否存在使用错误。
具体实施时,针对每一使用语句中包含的被使用变量,在确定出被使用变量的直接依赖条件和控制依赖条件之后,可以构造出被使用变量的VDG(Value DependenceGraph,值依赖图)。在构造的VDG上,针对每一使用语句,对该使用语句进行前向切片,直至到达被使用变量所对应的第一条赋值语句为止,通过对前向切片进行分析可以判断出被使用变量是否存在使用错误。需要说明的是,本发明实施例中涉及的被使用变量是指在使用语句中包含的变量,例如,使用语句return pointer:GetIntVal()中,被使用的变量即为“pointer”。
具体实施时,可以对前向切片进行分析,确定被使用变量的正确使用路径;从正确使用路径中查找被使用变量的控制依赖条件;并进一步确定控制依赖条件的反向条件。需要说明的是,如果控制依赖条件有多个,则需要确定多个控制依赖条件的并集的反向条件。
仍然以图2所示的程序语句为例,针对使用语句return pointer:GetIntVal(),从第22行被使用变量pointer的使用程序语句“return pointer:GetIntVal()”开始对待检测程序语句进行前向切片,直至第5行被使用变量pointer的第一条赋值语句“localpointer=nil”为止,前向切片中的程序语句有对变量的赋值语句、使用语句以及对该变量的判空语句和相应控制流。
如图3所示,其为针对图2所示的待检测程序构造的VDG进行前向切片后得到的VDG示意图。根据图3可以确定,指针变量正确使用路径为图3中虚线框内所示部分。相应地,根据指针变量正确使用路径中可以查找到指针变量的控制依赖条件为pInt<4||flag==0,对pInt<4||flag==0取反可以得到其相应的反向条件为!(flag==0)&&!(pInt<4),而对于flag有其相应的到达条件,从图3所示的VDG图中,可以确定flag的控制依赖条件为:((!(pInt>=4))=>flag==1)&&((pInt>=4)=>flag==0)。
进一步地,可以根据上述得到的分析结果判断被使用变量是否存在使用错误。具体实施时,可以将分析结果中得到的反向条件输入约束求解器;如果约束求解器输出求解结果,则确定被使用变量存在使用错误,如果约束求解器未输出求解结果,则确定被使用变量不存在使用错误。较佳地,具体实施时,约束求解器可以使用Z3约束求解器。
本例中,可以将条件1:!(flag==0)&&!(pInt<4)和条件2:((!(pInt>=4))=>flag==1)&&((pInt>=4)=>flag==0)作为约束条件输入Z3约束求解器中,Z3解不出满足该约束条件的值,因此,不存在变量使用错误。
具体实施时,如果判断出待检测程序语句存在变量使用错误,则还可以根据实际情况,针对判断出的变量使用错误进行修复;或者输出变量存在使用错误的提示信息。较佳地,输出的提示信息中可以包含有使用语句语句的位置信息,这样,可以快速地定位到存在变量使用错误的程序语句。
较佳地,本发明实施例涉及的变量使用错误可以为指针变量未判空使用。相应地,在针对判断出的变量使用错误进行修复时,可以根据根据使用语句的位置信息,在使用语句之前插入变量判空条件语句或者针对检测到的指针未判空使用输出相应地提示信息。
为了更好地理解本发明实施例,以下结合检测图4所示的程序语句是否存在指针未判空使用的流程对本发明实施例的具体实施过程进行说明,如图5所示,可以包括以下步骤:
S51、构造待检测程序语句的AST树。
本步骤中,可以使用lua的开源parser工具lua-parser,利用访问者模式构造待检测程序语句的AST树。
S52、遍历构造的AST树,识别其中的指针变量。
本步骤中,遍历构造的AST树,识别出其中包含冒号的所有表达式,提取出冒号之前的变量加入到指针变量集合中。
S53、针对每一指针变量,构造该指针变量对应的VDG图。
本步骤中,可以遍历AST树,确定包含指针变量的程序语句的语句类型以及包含指针变量的程序语句的位置信息,本发明实施例中可以分为赋值语句和使用语句,并根据赋值语句和使用语句构造待检测程序的值依赖图VDG。
S54、在所述VDG上,针对每条使用语句,对该使用语句进行前向切片。
本步骤中,在构造的VDG图上,针对每个使用语句,对该使用语句开始做前向切片,直至到达该使用语句中包含的被使用指针所对应的第一条赋值语句,切片中的语句有对某个指针的赋值语句、使用语句、以及对该指针的判空语句和相应控制流。如图6所示,其针对图4所示的程序语句中的指针变量使用语句进行前向切片后得到的VDG示意图。
S55、分析切片,确定指针变量未判空使用的条件。
本步骤中,针对步骤S54中得到的前向切片,对得到的前向切片进行分析确定指针变量正确使用路径,即指针赋值后经判空使用的路径,该正确使用路径为图6中虚线框中所示部分。分析图6所示的VDG图可以得到,指针变量正确使用的控制依赖条件为条件3:(flag==0)||(pInt<3),对该控制依赖条件取反可以得到条件4:!(flag==0)&&!(pInt<3),而flag的控制依赖条件为条件5:((!(pInt>=4))=>flag==1)&&((pInt>=4)=>flag==0)。
S56、将指针未判空使用的条件输入约束求解器。
S57、判断约束求解器是否输出求解结果,如果是,则执行步骤S58,否则,执行步骤S54。
针对图4所示的待检测程序语句,将条件5和条件4输入Z3约束求解器,Z3解出满足条件5和条件4的值为pInt=3,因此,可以确定图4所示的待检测程序语句存在指针未判空直接使用的错误,即在pInt=3时pointer为nil,且没有判空。
S58、判断待检测程序中是否存在指针判空语句,如果是,则执行步骤S59,否则,执行步骤S510。
S59、根据该条使用语句的位置信息,在该条使用语句之前插入待检测程序中包含的指针判空语句,返回执行步骤S54。
本例中,存在其它指针判空语句,例如:
if pointer==nil then
return 0
end
据此,可以在“return pointer:GetIntVal()”之前插入指针判空条件语句,条件语句中的return语句采用其他指针判空语句中的return语句,本例中即为“return 0”。
S510、输出存在指针未判空直接使用的提示信息,并返回执行步骤S54。
较佳地,在输出的提示信息中,可以包括该条使用语句的位置信息。
本发明实施例中,针对指针变量通过检查从赋值语句到直接使用过程中是否有路径可达(不包括判空语句),如果不可达,说明从指针赋值到直接使用之间必存在判空语句,否则存在指针使用未判空的情况,在这条路径的使用指针语句之前插入判断指针为空的语句,if语句中的return语句采用待检测程序语句中指针判空中的return语句,如果待检测程序语句中不存在其它指针判空语句,可以只是输出提示信息,并不修复,以免引入错误。
基于同一发明构思,本发明实施例中还提供了一种程序语句错误检测装置,由于上述装置解决问题的原理与程序语句错误检测方法相似,因此上述装置的实施可以参见方法的实施,重复之处不再赘述。
如图7所示,其为本发明实施例提供的程序语句错误检测装置的结构示意图,可以包括:
识别单元71,用于遍历待检测程序语句,识别所述待检测程序语句中包含的变量;
确定单元72,用于针对识别出的每一变量,确定包含该变量的程序语句的语句类型和包含该变量的程序语句的位置信息,所述语句类型包括使用语句和赋值语句;
分析单元73,用于针对每一使用语句,根据该使用语句的位置信息和该使用语句中包含的被使用变量所对应的赋值语句的位置信息,分析相应的赋值语句和使用语句之间包含的程序语句得到所述被使用变量使用的依赖条件;
判断单元74,用于根据所述分析单元73得到的依赖条件判断被使用变量是否存在使用错误。
可选地,本发明实施例提供的程序语句错误检测装置还可以包括AST构造单元,其中:
所述AST构造单元,用于在所述识别单元遍历待检测程序语句之前,构造所述待检测程序语句的AST;
所述识别单元,具体用于遍历所述AST,识别所述AST中包含的预设标识符;从包含所述预设标识符的程序语句中提取所述待检测程序语句中包含的变量。
较佳地,所述依赖条件包括直接依赖条件和控制依赖条件。
较佳地,所述判断单元74,具体包括:
VDG构造子单元,用于根据所述直接依赖条件和控制依赖条件,构造被使用变量的值依赖图VDG;
切片子单元,用于在所述VDG中,针对每一使用语句,对该使用语句进行前向切片,直至到达该使用语句中包含的被使用变量所对应的赋值语句为止;
分析子单元,用于对所述前向切片进行分析得到分析结果;
判断子单元,用于根据所述分析结果,判断被使用变量是否存在使用错误。
较佳地,所述分析子单元,具体用于对所述前向切片进行分析,确定被使用变量的正确使用路径;从所述正确使用路径中查找被使用变量的控制依赖条件;并确定所述控制依赖条件的反向条件。
较佳地,如果所述控制依赖条件有多个;则所述分析子单元,具体用于确定多个控制依赖条件的并集的反向条件。
较佳地,,所述判断子单元,具体用于将所述反向条件输入约束求解器;如果所述约束求解器输出针对所述反向条件的求解结果,则确定被使用变量存在使用错误,如果所述约束求解器未输出针对所述反向条件的求解结果,则确定被使用变量不存在使用错误。
可选地,本发明实施例提供的程序语句错误检测装置还可以包括:
修复单元,用于如果所述判断单元判断出被使用变量存在使用错误,则针对判断出的变量使用错误进行修复;或者
提示单元,用于输出变量存在使用错误的提示信息。
可选地,所述提示信息中包含有存在变量使用错误的使用语句的位置信息。
较佳地,本发明实施例中涉及的变量包括指针变量;以及变量使用错误包括指针变量未判空使用。所述修复单元,具体用于针对判断出的指针未判空使用错误,根据存在指针未判空使用错误的使用语句的位置信息,在相应的使用语句之前插入指针判空条件语句。
为了描述的方便,以上各部分按照功能划分为各模块(或单元)分别描述。当然,在实施本发明时可以把各模块(或单元)的功能在同一个或多个软件或硬件中实现。
在一些可能的实施方式中,根据本发明的程序语句错误检测装置可以包括至少一个处理单元、以及至少一个存储单元。其中,所述存储单元存储有程序代码,当所述程序代码被所述处理单元执行时,使得所述处理单元执行本说明书中描述的根据本发明各种示例性实施方式的程序语句错误检测方法中的各种步骤。例如,所述处理单元可以执行如图1中所示的步骤S11,遍历待检测程序语句,识别待检测程序语句中包含的变量,步骤S12,针对每一变量,确定包含该变量的程序语句的语句类型和包含该变量的程序语句的位置信息,所述语句类型包括使用语句和赋值语句;步骤S13,针对每一使用语句,根据该使用语句的位置信息和该使用语句中包含的被使用变量所对应的赋值语句的位置信息,分析相应的赋值语句和使用语句之间包含的程序语句得到所述被使用变量使用的依赖条件,以及步骤S14、根据所述依赖条件判断被使用变量是否存在使用错误。
本领域内的技术人员应明白,本发明的实施例可提供为方法、系统、或计算机程序产品。因此,本发明可采用完全硬件实施例、完全软件实施例、或结合软件和硬件方面的实施例的形式。而且,本发明可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器、CD-ROM、光学存储器等)上实施的计算机程序产品的形式。
本发明是参照根据本发明实施例的方法、设备(系统)、和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理设备的处理器以产生一个机器,使得通过计算机或其他可编程数据处理设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的装置。
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理设备以特定方式工作的计算机可读存储器中,使得存储在该计算机可读存储器中的指令产生包括指令装置的制造品,该指令装置实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能。
这些计算机程序指令也可装载到计算机或其他可编程数据处理设备上,使得在计算机或其他可编程设备上执行一系列操作步骤以产生计算机实现的处理,从而在计算机或其他可编程设备上执行的指令提供用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的步骤。
尽管已描述了本发明的优选实施例,但本领域内的技术人员一旦得知了基本创造性概念,则可对这些实施例做出另外的变更和修改。所以,所附权利要求意欲解释为包括优选实施例以及落入本发明范围的所有变更和修改。
显然,本领域的技术人员可以对本发明进行各种改动和变型而不脱离本发明的精神和范围。这样,倘若本发明的这些修改和变型属于本发明权利要求及其等同技术的范围之内,则本发明也意图包含这些改动和变型在内。
Claims (15)
1.一种程序语句错误检测方法,其特征在于,包括:
遍历待检测程序语句,识别所述待检测程序语句中包含的变量;
针对识别出的每一变量,确定包含该变量的程序语句的语句类型和包含该变量的程序语句的位置信息,所述语句类型包括使用语句和赋值语句;
针对每一使用语句,根据该使用语句的位置信息和该使用语句中包含的被使用变量所对应的赋值语句的位置信息,分析相应的赋值语句和使用语句之间包含的程序语句得到所述被使用变量使用的依赖条件;
根据所述依赖条件判断被使用变量是否存在使用错误。
2.如权利要求1所述的方法,其特征在于,在遍历待检测程序语句之前,还包括:
构造所述待检测程序语句的抽象语法树AST;以及
遍历待检测程序语句,识别所述待检测程序语句中包含的变量,具体包括:
遍历所述待检测程序语句的AST,识别所述AST中包含的预设标识符;
从包含所述预设标识符的程序语句中提取所述待检测程序语句中包含的变量。
3.如权利要求1所述的方法,其特征在于,所述依赖条件包括直接依赖条件和控制依赖条件;以及
根据所述依赖条件判断被使用变量是否存在使用错误,具体包括:
根据所述直接依赖条件和控制依赖条件,构造被使用变量的值依赖图VDG;
在所述VDG中,针对每一使用语句,对该使用语句进行前向切片,直至到达该使用语句中包含的被使用变量所对应的第一条赋值语句为止;
对所述前向切片进行分析得到分析结果;
根据所述分析结果,判断被使用变量是否存在使用错误。
4.如权利要求3所述的方法,其特征在于,对所述前向切片进行分析得到分析结果,具体包括:
对所述前向切片进行分析,确定被使用变量的正确使用路径;
从所述正确使用路径中查找被使用变量的控制依赖条件;并
确定所述控制依赖条件的反向条件。
5.如权利要求4所述的方法,其特征在于,如果所述控制依赖条件有多个;则
确定所述控制依赖条件的反向条件,具体包括:
确定多个控制依赖条件的并集的反向条件。
6.如权利要求4或5所述的方法,其特征在于,根据所述分析结果,判断被使用变量是否存在使用错误,具体包括:
将所述反向条件输入约束求解器;
如果接收到所述约束求解器的求解结果,则确定被使用变量存在使用错误,如果未接收到所述约束求解器的求解结果,则确定被使用变量不存在使用错误。
7.如权利要求1~5任一权利要求所述的方法,其特征在于,如果判断出被使用变量存在使用错误,则
所述方法,还包括:
针对判断出的变量使用错误进行修复;或者
输出变量存在使用错误的提示信息。
8.如权利要求7所述的方法,其特征在于,所述提示信息中包含有存在变量使用错误的使用语句的位置信息。
9.如权利要求7所述的方法,其特征在于,所述变量包括指针变量;以及变量使用错误包括指针变量未判空使用。
10.如权利要求9所述的方法,其特征在于,针对判断出的变量使用错误进行修复,具体包括:
针对判断出的指针未判空使用错误,根据存在指针未判空使用错误的使用语句的位置信息,在相应的使用语句之前插入指针判空条件语句。
11.一种程序语句错误检测装置,其特征在于,包括:
识别单元,用于遍历待检测程序语句,识别所述待检测程序语句中包含的变量;
确定单元,用于针对识别出的每一变量,确定包含该变量的程序语句的语句类型和包含该变量的程序语句的位置信息,所述语句类型包括使用语句和赋值语句;
分析单元,用于针对每一使用语句,根据该使用语句的位置信息和该使用语句中包含的被使用变量所对应的赋值语句的位置信息,分析相应的赋值语句和使用语句之间包含的程序语句得到所述被使用变量使用的依赖条件;
判断单元,用于根据所述分析单元得到的依赖条件判断被使用变量是否存在使用错误。
12.如权利要求11所述的装置,其特征在于,还包括抽象语法树AST构造单元,其中:
所述AST构造单元,用于在所述识别单元遍历待检测程序语句之前,构造所述待检测程序语句的AST;
所述识别单元,具体用于遍历所述待检测程序语句的AST,识别所述AST中包含的预设标识符;从包含所述预设标识符的程序语句中提取所述待检测程序语句中包含的变量。
13.如权利要求11所述的装置,其特征在于,所述依赖条件包括直接依赖条件和控制依赖条件;以及
所述判断单元,具体包括:
VDG构造子单元,用于根据所述直接依赖条件和控制依赖条件,构造被使用变量的值依赖图VDG;
切片子单元,用于在所述VDG中,针对每一使用语句,对该使用语句进行前向切片,直至到达该使用语句中包含的被使用变量所对应的第一条赋值语句为止;
分析子单元,用于对所述前向切片进行分析得到分析结果;
判断子单元,用于根据所述分析结果,判断被使用变量是否存在使用错误。
14.如权利要求12所述的装置,其特征在于,
所述分析子单元,具体用于对所述前向切片进行分析,确定被使用变量的正确使用路径;从所述正确使用路径中查找被使用变量的控制依赖条件;并确定所述控制依赖条件的反向条件。
15.如权利要求14所述的装置,其特征在于,如果所述控制依赖条件有多个;则
所述分析子单元,具体用于确定多个控制依赖条件的并集的反向条件。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710295700.1A CN107153610A (zh) | 2017-04-28 | 2017-04-28 | 一种程序语句错误检测方法和装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710295700.1A CN107153610A (zh) | 2017-04-28 | 2017-04-28 | 一种程序语句错误检测方法和装置 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN107153610A true CN107153610A (zh) | 2017-09-12 |
Family
ID=59793849
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710295700.1A Pending CN107153610A (zh) | 2017-04-28 | 2017-04-28 | 一种程序语句错误检测方法和装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107153610A (zh) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108984843A (zh) * | 2018-06-20 | 2018-12-11 | 北京大学 | 一种基于守卫计算的区间信息分析方法 |
CN109002684A (zh) * | 2018-06-20 | 2018-12-14 | 北京大学 | 一种区间信息分析方法 |
CN109947419A (zh) * | 2019-03-29 | 2019-06-28 | 泰康保险集团股份有限公司 | 一种实现逻辑判断的方法及装置 |
CN112069052A (zh) * | 2019-06-11 | 2020-12-11 | 腾讯科技(深圳)有限公司 | 一种异常对象检测方法、装置、设备及存储介质 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009237762A (ja) * | 2008-03-26 | 2009-10-15 | Toshiba Corp | プログラム解析装置、プログラム解析方法および解析プログラム |
CN103914372A (zh) * | 2012-12-31 | 2014-07-09 | 北京启明星辰信息技术股份有限公司 | 基于程序切片的代码缺陷静态检测的并行化方法及装置 |
CN104699599A (zh) * | 2013-12-10 | 2015-06-10 | 上海精密计量测试研究所 | 基于idUCf五元结构的过程间静态切片提取方法 |
CN105607990A (zh) * | 2014-11-19 | 2016-05-25 | 腾讯科技(成都)有限公司 | 一种空指针崩溃的挖掘方法及装置 |
-
2017
- 2017-04-28 CN CN201710295700.1A patent/CN107153610A/zh active Pending
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2009237762A (ja) * | 2008-03-26 | 2009-10-15 | Toshiba Corp | プログラム解析装置、プログラム解析方法および解析プログラム |
CN103914372A (zh) * | 2012-12-31 | 2014-07-09 | 北京启明星辰信息技术股份有限公司 | 基于程序切片的代码缺陷静态检测的并行化方法及装置 |
CN104699599A (zh) * | 2013-12-10 | 2015-06-10 | 上海精密计量测试研究所 | 基于idUCf五元结构的过程间静态切片提取方法 |
CN105607990A (zh) * | 2014-11-19 | 2016-05-25 | 腾讯科技(成都)有限公司 | 一种空指针崩溃的挖掘方法及装置 |
Non-Patent Citations (1)
Title |
---|
SEN MA.ET: "《Practical null pointer dereference detection via value-dependence analysis》", 《2015 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW)》 * |
Cited By (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108984843A (zh) * | 2018-06-20 | 2018-12-11 | 北京大学 | 一种基于守卫计算的区间信息分析方法 |
CN109002684A (zh) * | 2018-06-20 | 2018-12-14 | 北京大学 | 一种区间信息分析方法 |
CN108984843B (zh) * | 2018-06-20 | 2021-02-09 | 北京大学 | 一种基于守卫计算的区间信息分析方法 |
CN109002684B (zh) * | 2018-06-20 | 2021-08-06 | 北京大学 | 一种区间信息分析方法 |
CN109947419A (zh) * | 2019-03-29 | 2019-06-28 | 泰康保险集团股份有限公司 | 一种实现逻辑判断的方法及装置 |
CN109947419B (zh) * | 2019-03-29 | 2022-04-26 | 泰康保险集团股份有限公司 | 一种实现逻辑判断的方法及装置 |
CN112069052A (zh) * | 2019-06-11 | 2020-12-11 | 腾讯科技(深圳)有限公司 | 一种异常对象检测方法、装置、设备及存储介质 |
CN112069052B (zh) * | 2019-06-11 | 2024-04-12 | 腾讯科技(深圳)有限公司 | 一种异常对象检测方法、装置、设备及存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US8875110B2 (en) | Code inspection executing system for performing a code inspection of ABAP source codes | |
CN105787367B (zh) | 一种软件更新的补丁安全性检测方法及系统 | |
KR101719278B1 (ko) | 비주얼 콘텐츠기반 영상 인식을 위한 딥러닝 프레임워크 및 영상 인식 방법 | |
CN103493041B (zh) | 使用浅层句法分析器自动评估句子的自动句子评估装置及其错误检测设备和方法 | |
CN107153610A (zh) | 一种程序语句错误检测方法和装置 | |
US20240078168A1 (en) | Test Case Generation Method and Apparatus and Device | |
CN112181804B (zh) | 一种参数校验方法、设备以及存储介质 | |
KR101892206B1 (ko) | 양방향 텍스트 검사기 | |
CN105718370A (zh) | 一种Android设备测试方法及测试装置 | |
CN104035873A (zh) | 测试代码生成方法及生成装置 | |
CN102054100A (zh) | 一种基于静态分析的rtl设计错误检测方法和系统 | |
CN109710518A (zh) | 脚本审核方法及装置 | |
CN103914374B (zh) | 基于程序切片和频繁模式提取的代码缺陷检测方法及装置 | |
CN103294596A (zh) | 一种基于程序不变量的合约式软件故障预警方法 | |
KR101979329B1 (ko) | 바이너리의 취약점을 유발하는 입력데이터 위치 추적 방법 및 그 장치 | |
CN108563561B (zh) | 一种程序隐性约束提取方法及系统 | |
CN109388573A (zh) | 一种无漏报的中断驱动型程序运行时错误检测方法和系统 | |
JP6440895B2 (ja) | ソフトウェア分析装置及びソフトウェア分析方法 | |
CN105630678B (zh) | 一种智能电能表软件的可靠性检测仪及其检测方法 | |
CN104572470B (zh) | 一种基于蜕变关系的整数溢出故障检测方法 | |
CN110286912A (zh) | 代码检测方法、装置及电子设备 | |
US8819645B2 (en) | Application analysis device | |
CN115438341A (zh) | 提取代码循环计数器的方法、装置、存储介质和电子设备 | |
WO2021104027A1 (zh) | 代码性能检测方法、装置、设备及存储介质 | |
CN113282495A (zh) | 一种基于轨迹监控的Java软件故障定位方法 |
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 | ||
TA01 | Transfer of patent application right | ||
TA01 | Transfer of patent application right |
Effective date of registration: 20180105 Address after: Beijing 100080 Haidian District 38 Haidian Avenue branch bank building 16 1601-1608 room Applicant after: Tencent Technology (Beijing) Co., Ltd Address before: 518044 the 35 floor of Tencent Building in Nanshan District hi tech Zone, Shenzhen City, Guangdong Applicant before: Tencent Technology (Shenzhen) Co., Ltd. |
|
RJ01 | Rejection of invention patent application after publication | ||
RJ01 | Rejection of invention patent application after publication |
Application publication date: 20170912 |