CN113377377A - 静态代码分析方法、分析装置、电子设备及可读存储介质 - Google Patents
静态代码分析方法、分析装置、电子设备及可读存储介质 Download PDFInfo
- Publication number
- CN113377377A CN113377377A CN202110674752.6A CN202110674752A CN113377377A CN 113377377 A CN113377377 A CN 113377377A CN 202110674752 A CN202110674752 A CN 202110674752A CN 113377377 A CN113377377 A CN 113377377A
- Authority
- CN
- China
- Prior art keywords
- target
- statements
- analysis
- function
- present disclosure
- 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
- 238000004458 analytical method Methods 0.000 title claims abstract description 116
- 230000003068 static effect Effects 0.000 title claims abstract description 48
- 238000003860 storage Methods 0.000 title claims abstract description 23
- 238000000034 method Methods 0.000 claims abstract description 242
- 230000006870 function Effects 0.000 claims description 81
- 238000004590 computer program Methods 0.000 claims description 25
- 230000015654 memory Effects 0.000 claims description 11
- 238000012545 processing Methods 0.000 claims description 6
- 238000010586 diagram Methods 0.000 description 14
- 230000014509 gene expression Effects 0.000 description 10
- 230000008569 process Effects 0.000 description 10
- 238000004891 communication Methods 0.000 description 8
- 238000011156 evaluation Methods 0.000 description 7
- 230000000694 effects Effects 0.000 description 4
- 238000012795 verification Methods 0.000 description 4
- 238000010276 construction Methods 0.000 description 3
- 230000003287 optical effect Effects 0.000 description 3
- 108010001267 Protein Subunits Proteins 0.000 description 2
- 238000000605 extraction Methods 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000004806 packaging method and process Methods 0.000 description 2
- 239000000758 substrate Substances 0.000 description 2
- 230000005856 abnormality Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000005304 joining Methods 0.000 description 1
- 239000004973 liquid crystal related substance Substances 0.000 description 1
- 230000002035 prolonged effect Effects 0.000 description 1
- 230000002441 reversible effect Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/42—Syntactic analysis
- G06F8/427—Parsing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
- G06F21/55—Detecting local intrusion or implementing counter-measures
- G06F21/56—Computer malware detection or handling, e.g. anti-virus arrangements
- G06F21/562—Static detection
- G06F21/563—Static detection by source code analysis
Abstract
本公开提供了一种静态代码分析方法、分析装置、电子设备及可读存储介质,可应用于计算机技术领域和金融领域。静态代码分析方法包括:获取目标程序包和分析需求,其中,目标程序包中包括至少一个方法数据块,其中,方法数据块包括至少一行方法语句,方法语句用于实现一种语法功能;解析目标程序包,以获取至少一个方法对象;以及基于分析需求,对至少一个方法对象进行分析。
Description
技术领域
本公开涉及计算机技术领域和金融领域,更具体地,涉及一种静态代码分析方法、静态代码分析装置、电子设备、计算机可读存储介质及计算机程序产品。
背景技术
随着程序使用时间的延长,程序的源代码往往愈加庞大,且程序间的调用情况也更加复杂。
在实现本公开构思的过程中,发明人发现人工或动态代码分析均易出现代码的遗漏,且人工代码分析需要其对程序语言有一定的了解,学习成本较高。
发明内容
有鉴于此,本公开提供了一种静态代码分析方法、静态代码分析装置、电子设备、计算机可读存储介质及计算机程序产品。
本公开的一个方面提供了一种静态代码分析方法,包括:
获取目标程序包和分析需求,其中,上述目标程序包中包括至少一个方法数据块,其中,上述方法数据块包括至少一行方法语句,上述方法语句用于实现一种语法功能;
解析上述目标程序包,以获取至少一个方法对象;以及
基于上述分析需求,对上述至少一个方法对象进行分析。
根据本公开的实施例,上述解析上述目标程序包,以获取至少一个方法对象,包括:
对于每一个方法数据块,使用策略链解析上述方法数据块中的至少一行方法语句,生成至少一个方法类语法树;以及
序列化上述至少一个方法类语法树,得到上述方法对象。
根据本公开的实施例,上述策略链中包括针对于每一种语法功能分别建立的多个方法解析器;
其中,上述使用策略链解析上述方法数据块中的至少一行方法语句,生成至少一个方法类语法树,包括:
针对每一行方法语句,依次使用上述多个方法解析器识别上述方法语句;以及
使用成功识别上述方法语句的方法解析器来解析上述方法语句,以生成方法类语法树。
根据本公开的实施例,静态代码分析方法还包括:
在上述多个方法解析器均无法识别上述方法语句的情况下,基于上述方法语句构建新的方法解析器;以及
将上述新的方法解析器加入上述策略链中。
根据本公开的实施例,上述基于上述分析需求,对上述至少一个方法对象进行分析,包括:
基于上述分析需求,确定目标语法功能和判断规则;
根据上述目标语法功能,从上述至少一个方法对象中获取至少一行目标语句;以及
基于上述判断规则,判断上述至少一行目标语句是否正确,以完成对上述至少一个方法对象的分析。
根据本公开的实施例,上述根据上述目标语法功能,从上述至少一个方法对象中获取至少一行目标语句,包括:
解析上述至少一个方法对象,得到至少一个功能链表;
根据上述目标语法功能,从数据字典中获取与上述目标语法功能对应的功能名称;以及
从上述至少一个功能链表中提取包含上述功能名称的语句,得到上述至少一个方法对象的至少一行目标语句。
根据本公开的实施例,上述基于上述判断规则,判断上述至少一行目标语句是否正确,包括:
根据上述目标语法功能,从数据字典中获取与上述目标语法功能对应的至少一个判断关键字;
针对每一行目标语句,根据上述至少一个判断关键字来提取上述目标语句的语句属性;以及
基于上述判断规则,判断上述目标语句的语句属性是否正确,以判断上述目标语句是否正确。
根据本公开的实施例,上述目标程序包包括EGL程序包。
本公开的另一个方面提供了一种静态代码分析装置,包括:
获取模块,用于获取目标程序包和分析需求,其中,上述目标程序包中包括至少一个方法数据块,其中,上述方法数据块包括至少一行方法语句,上述方法语句用于实现一种语法功能;
解析模块,用于解析上述目标程序包,以获取至少一个方法对象;以及
分析模块,用于基于上述分析需求,对上述至少一个方法对象进行分析。
本公开的另一方面提供了电子设备,包括:一个或多个处理器;存储器,用于存储一个或多个指令,其中,当所述一个或多个指令被所述一个或多个处理器执行时,使得所述一个或多个处理器实现如上所述的方法。
本公开的另一方面提供了一种计算机可读存储介质,存储有计算机可执行指令,所述指令在被执行时用于实现如上所述的方法。
本公开的另一方面提供了一种计算机程序产品,所述计算机程序产品包括计算机可执行指令,所述指令在被执行时用于实现如上所述的方法。
根据本公开的实施例,通过将目标程序包解析为方法对象,并基于分析需求对方法对象进行分析的技术手段,因此至少部分地克服了人工或动态代码分析均易出现代码的遗漏,且人工代码分析需要其对程序语言有一定的了解,学习成本较高的技术问题,进而达到了通过将逻辑形式的分析需求转化为静态分析规则的方法,使得仅需要判断逻辑的正确性,降低了学习成本的技术效果。
附图说明
通过以下参照附图对本公开实施例的描述,本公开的上述以及其他目的、特征和优点将更为清楚,在附图中:
图1示意性示出了根据本公开实施例的可以应用静态代码分析方法的示例性系统架构;
图2示意性示出了根据本公开实施例的静态代码分析方法的流程图;
图3示意性示出了根据本公开另一实施例的对方法对象进行分析的方法流程图;
图4示意性示出了根据本公开另一实施例的获取目标语句的方法流程图;
图5示意性示出了根据本公开实施例的静态代码分析方法的使用示意图;
图6示意性示出了根据本公开的实施例的静态代码分析装置的框图;以及
图7示意性示出了根据本公开实施例的适于实现静态代码分析方法的电子设备的框图。
具体实施方式
以下,将参照附图来描述本公开的实施例。但是应该理解,这些描述只是示例性的,而并非要限制本公开的范围。在下面的详细描述中,为便于解释,阐述了许多具体的细节以提供对本公开实施例的全面理解。然而,明显地,一个或多个实施例在没有这些具体细节的情况下也可以被实施。此外,在以下说明中,省略了对公知结构和技术的描述,以避免不必要地混淆本公开的概念。
在此使用的术语仅仅是为了描述具体实施例,而并非意在限制本公开。在此使用的术语“包括”、“包含”等表明了所述特征、步骤、操作和/或部件的存在,但是并不排除存在或添加一个或多个其他特征、步骤、操作或部件。
在此使用的所有术语(包括技术和科学术语)具有本领域技术人员通常所理解的含义,除非另外定义。应注意,这里使用的术语应解释为具有与本说明书的上下文相一致的含义,而不应以理想化或过于刻板的方式来解释。
在使用类似于“A、B和C等中至少一个”这样的表述的情况下,一般来说应该按照本领域技术人员通常理解该表述的含义来予以解释(例如,“具有A、B和C中至少一个的系统”应包括但不限于单独具有A、单独具有B、单独具有C、具有A和B、具有A和C、具有B和C、和/或具有A、B、C的系统等)。在使用类似于“A、B或C等中至少一个”这样的表述的情况下,一般来说应该按照本领域技术人员通常理解该表述的含义来予以解释(例如,“具有A、B或C中至少一个的系统”应包括但不限于单独具有A、单独具有B、单独具有C、具有A和B、具有A和C、具有B和C、和/或具有A、B、C的系统等)。静态代码分析是一种软件验证活动,在其验证过程不要求执行代码,而是通过分析源代码的逻辑是否正确,从而实现质量、可靠性和安全性验证的目的,识别系统中的缺陷与漏洞,因此,不同于动态代码分析,静态分析不产生测试用例编写和代码检测配置的开销。
然而,相关技术的静态代码分析工具均不支持对EGL语言的静态代码分析,因此,EGL程序的静态代码分析工作依靠人工查验代码完成。由于EGL程序源代码往往十分庞大,其中程序间调用层次频繁,涉及的语法种类众多,通过人工手段完成,则需要大量人力投入。且人工查验代码的方式也容易产生错误,无法保障静态代码分析的有效性。
有鉴于此,本公开的实施例提供了一种静态代码分析方法、静态代码分析装置、电子设备、计算机可读存储介质及计算机程序产品。该方法包括获取目标程序包和分析需求过程、解析目标程序包过程和对多个序列化对象进行分析过程。
需要说明的是,本公开提供的静态代码分析方法和装置可用于金融领域在。例如可以为银行,也可用于除金融领域之外的任意领域,例如可以为医院,因此,本公开提供的静态代码分析方法和装置的应用领域不做限定。
图1示意性示出了根据本公开实施例的可以应用静态代码分析方法的示例性系统架构100。需要注意的是,图1所示仅为可以应用本公开实施例的系统架构的示例,以帮助本领域技术人员理解本公开的技术内容,但并不意味着本公开实施例不可以用于其他设备、系统、环境或场景。
如图1所示,根据该实施例的系统架构100可以包括终端设备101、102、103,网络104和服务器105。网络104用以在终端设备101、102、103和服务器105之间提供通信链路的介质。网络104可以包括各种连接类型,例如有线和/或无线通信链路等等。
用户可以使用终端设备101、102、103通过网络104与服务器105交互,以接收或发送消息等。终端设备101、102、103上可以安装有各种通讯客户端应用,例如代码分析应用、网页浏览器应用、搜索类应用、即时通信工具、邮箱客户端和/或社交平台软件等(仅为示例)。
终端设备101、102、103可以是具有显示屏并且支持网页浏览的各种电子设备,包括但不限于智能手机、平板电脑、膝上型便携计算机和台式计算机等等。
服务器105可以是提供各种服务的服务器,例如对用户利用终端设备101、102、103所浏览的网站提供支持的后台管理服务器(仅为示例)。后台管理服务器可以对接收到的用户请求等数据进行分析等处理,并将处理结果(例如根据用户请求获取或生成的网页、信息、或数据等)反馈给终端设备。
需要说明的是,本公开实施例所提供的静态代码分析方法一般可以由服务器105执行。相应地,本公开实施例所提供的静态代码分析系统一般可以设置于服务器105中。本公开实施例所提供的静态代码分析方法也可以由不同于服务器105且能够与终端设备101、102、103和/或服务器105通信的服务器或服务器集群执行。相应地,本公开实施例所提供的静态代码分析系统也可以设置于不同于服务器105且能够与终端设备101、102、103和/或服务器105通信的服务器或服务器集群中。
应该理解,图1中的终端设备、网络和服务器的数目仅仅是示意性的。根据实现需要,可以具有任意数目的终端设备、网络和服务器。
图2示意性示出了根据本公开实施例的静态代码分析方法的流程图。
如图2所示,该方法可以包括操作S201~S203。
在操作S201,获取目标程序包和分析需求,其中,目标程序包中包括至少一个方法数据块,其中,方法数据块包括至少一行方法语句,方法语句用于实现一种语法功能。
在操作S202,解析目标程序包,以获取至少一个方法对象。
在操作S203,基于分析需求,对至少一个方法对象进行分析。
根据本公开的实施例,方法语句可以包括但不限于赋值语句和流程控制语句。语法功能可以包括但不限于程序的定义、数据结构定义、方法定义和表达式定义等。
根据本公开的实施例,根据各种语法场景的分析需求建立分析规则。分析规则可以由用户或开发人员自主进行编写。分析规则可以包括对赋值变量溢出的判断、逻辑表达式恒等真或假的判断、流程控制出现死循环和流转异常的判断。分析需求中的每一种判断规则都是针对于某一种语法做的判断。
根据本公开的实施例,在做工程验证时,不一定需要搭建实际的工作环境,验证工作通过静态代码进行验证。对规范类问题检查的比较多,例如,程序里面有没有对关键变量进行赋值的设置;一些不该判断的参数,如银行里不允许判断地区号;有效期数值,简单地写成99991231。特殊情况下,生产上程序会出现死循环、报错的现象,此时需检查所有的循环,由于代码中存在不严谨的地方,例如,循环中使用while循环等编写习惯导致的不严谨,则需要判断循环体是否存在问题。
根据分析需求确定分析范围,找到需要分析的方法对象,例如对一个值是否为真进行分析,则可以确定分析范围为所有方法对象中的语法功能为赋值的语句。
根据本公开的实施例,例如可以从语法功能的名称、目标属性和判断规则来建立静态分析规则。例如,赋值语句,a==0,语法功能的名称为evaluation,目标属性为a、0,判断规则为操作符是否为==,具体到实例,先锁定名称CodeEvaluation,目标属性value、type和alAssignment,判断alOperation是否正确。
根据本公开的实施例,方法对象可以为Function对象。
根据本公开的实施例,对目标程序包的每一个方法数据块逐行地解析可以得到一个或多个方法对象,其中,在解析过程中,解析得到的语法信息全保存于对应的方法对象中,可以根据需求对方法对象中的语法信息进行校验。
根据本公开的实施例,例如,在判断是否溢出的情况下,可以解析方法数据块的变量类型、赋值长度等,从而以便于根据分析需求判断是否溢出,其中,判断是否溢出可以根据变量类型获取其临界值,根据赋值变量是否在该临界值的范围内判断是否溢出。
根据本公开的实施例,通过将目标程序包解析为方法对象,并基于分析需求对方法对象进行分析的技术手段,因此至少部分地克服了人工或动态代码分析均易出现代码的遗漏,且人工代码分析需要其对程序语言有一定的了解,学习成本较高的技术问题,进而达到了通过将逻辑形式的分析需求转化为静态分析规则的方法,使得仅需要判断逻辑的正确性,降低了学习成本的技术效果。
根据本公开的实施例,解析目标程序包,以获取至少一个方法对象,可以包括如下操作。
对于每一个方法数据块,使用策略链解析方法数据块中的至少一行方法语句,生成至少一个方法类语法树。序列化至少一个方法类语法树,得到方法对象。
根据本公开的实施例,语法树可以包括Function语法树、Evaluation语法树、Expression语法树、Flow-control语法树、Function-call语法树和EGL-call语法树等,其中,方法类语法树可以包括Function语法树。
根据本公开的实施例,方法对象可以包括Function对象。
根据本公开的实施例,策略链可以包括但不限于Function-define解析器、Evaluation解析器、Expression解析器、Flow-control解析器和Function-call解析器等。
根据本公开的实施例,使用策略链遍历解析每一个方法数据块中包括的多行方法,得到多个方法类语法树。对方法类语法树进行序列化,得到方法数据块对应的方法对象。
根据本公开的实施例,策略链中包括针对于每一种语法功能分别建立的多个方法解析器。其中,使用策略链解析方法数据块中的至少一行方法语句,生成至少一个方法类语法树,可以包括如下操作。
针对每一行方法语句,依次使用多个方法解析器识别方法语句。使用成功识别方法语句的方法解析器来解析方法语句,以生成方法类语法树。
根据本公开的实施例,方法解析器可以包括根据策略链的分类对应生成的不同方法解析器。
根据本公开的实施例,依次使用多个方法解析器识别方法数据块中的每一行方法语句,在识别成功的情况下,生成对应的方法类语法树。
根据本公开的实施例,静态代码分析方法还可以包括如下操作。
在多个方法解析器均无法识别方法语句的情况下,基于方法语句构建新的方法解析器。将新的方法解析器加入策略链中。
根据本公开的实施例,在使用多个方法解析器识别方法语句的过程中,且无法成功识别的情况下,根据该方法语句构建新的方法解析器,并将构建的新的方法解析器加入策略链中。
图3示意性示出了根据本公开另一实施例的对方法对象进行分析的方法流程图。
根据本公开的实施例,如图3所示,基于分析需求,对至少一个方法对象进行分析,可以包括操作S301~S303。
在操作S301,基于分析需求,确定目标语法功能和判断规则。
在操作S302,根据目标语法功能,从至少一个方法对象中获取至少一行目标语句。
在操作S303,基于判断规则,判断至少一行目标语句是否正确,以完成对至少一个方法对象的分析。
根据本公开的实施例,例如,在分析过程中,在某些表达式需要为恒真或恒假的情况下,方法对象中的循环对象中存在表达式的信息,可以根据目标语法功能,提取该表达式所在的语句中存在变量的目标语法语句,基于判断规则对该目标语法语句的操作符进行判断,以确定该表达式是否恒等真或假。
图4示意性示出了根据本公开另一实施例的获取目标语句的方法流程图。
根据本公开的实施例,如图4所示,根据目标语法功能,从至少一个方法对象中获取至少一行目标语句,可以包括操作S401~S403。
在操作S401,解析至少一个方法对象,得到至少一个功能链表。
在操作S402,根据目标语法功能,从数据字典中获取与目标语法功能对应的功能名称。
在操作S403,从至少一个功能链表中提取包含功能名称的语句,得到至少一个方法对象的至少一行目标语句。
根据本公开的实施例,对方法对象进行解析可以得到对应的功能链表,方法对象可以包括二进制的代码。根据目标语法功能,从数据字典中获取与目标语法功能对应的功能名称,例如可以通过Evaluation语法从数据字典中获取到其对应的功能名称为CodeEvaluation,从而根据功能名称从功能链表中提取包含该功能名称的语句,得到该方法对象的目标语句。
根据本公开的实施例,基于判断规则,判断至少一行目标语句是否正确,可以包括如下操作。
根据目标语法功能,从数据字典中获取与目标语法功能对应的至少一个判断关键字。针对每一行目标语句,根据至少一个判断关键字来提取目标语句的语句属性。基于判断规则,判断目标语句的语句属性是否正确,以判断目标语句是否正确。
根据本公开的实施例,以目标程序包为企业生成语言(Enterprise GenerationLanguage,EGL)编写的程序包举例说明。
根据本公开的实施例,对企业生成语言编写的目标程序包进行处理得到对应的方法对象,对该方法对象进行解析,得到对应的功能链表。
例如,目标语法功能可以为“If”,则可以从数据字典中获取与“If”对应的功能名称为“CodeIf”,进而可以从功能链表中确定包含“CodeIf”的多行目标语句,其中一行目标语句可以为“CodeIf-code:if(A==1&&B!=A)”,再根据判断关键字来提取目标语句的语句属性,从而判断语句属性是否正确。
根据本公开的实施例,根据该判断关键字从方法对象的每一行目标语句中提取目标语句的语句属性,根据从分析需求中确定的判断规则判断语句属性是否正确。
图5示意性示出了根据本公开实施例的静态代码分析方法的使用示意图。
根据本公开的实施例,如图5所示,目标程序包可以包括EGL程序包。
根据本公开的实施例,目标程序包可以为使用汇编语言、脚本语言和高级语言编写的程序包,其中,高级语言可以包括但不限于企业生成语言(Enterprise GenerationLanguage,EGL)、Basic语言、C\C++语言以及JAVA语言等。
根据本公开的实施例,以目标程序包为企业生成语言编写的程序包进行举例说明。
根据本公开的实施例,通过策略链解析目标程序包。由于企业生成语言的语义的定义是分散在整个系统中的各个文件里面的,例如在任意一个文件里进行了某个定义,在其他文件中也可以访问到该定义,由此,在对单独的某一个程序进行解析的情况下,解析得到的方法对象不完整,因此需要对整个目标程序包进行解析,以得到方法方法类语法树,对方法类语法树进行序列化,得到方法对象。
根据本公开的实施例,基于分析需求对方法对象进行分析。分析需求中的每一种判断规则均针对于企业生成语言编写的目标程序包中的目标语句的语法。
根据本公开的实施例,在通过策略链解析目标程序包的过程中,可以针对于企业生成语言的目标程序包中不同的语法对象,建立对应的解析器,例如可以针对Evaluation、Expression、Flow-control等语法对象建立对应的Evaluation解析器、Expression解析器、Flow-control解析器等。根据不同的的解析器解析目标程序包中的每一行方法语句,以得到对应的方法类语法树。
图6示意性示出了根据本公开的实施例的静态代码分析装置的框图。
如图6所示,静态代码分析装置600包括获取模块610、解析模块620和分析模块630。
获取模块610,用于获取目标程序包和分析需求,其中,目标程序包中包括至少一个方法数据块,其中,方法数据块包括至少一行方法语句,方法语句用于实现一种语法功能。
解析模块620,用于解析目标程序包,以获取至少一个方法对象。
分析模块630,用于基于分析需求,对至少一个方法对象进行分析。
根据本公开的实施例,通过将目标程序包解析为方法对象,并基于分析需求对方法对象进行分析的技术手段,因此至少部分地克服了人工或动态代码分析均易出现代码的遗漏,且人工代码分析需要其对程序语言有一定的了解,学习成本较高的技术问题,进而达到了通过将逻辑形式的分析需求转化为静态分析规则的方法,使得仅需要判断逻辑的正确性,降低了学习成本的技术效果。
根据本公开的实施例,解析模块620可以包括生成单元和序列化单元。
生成单元,用于对于每一个方法数据块,使用策略链解析方法数据块中的至少一行方法语句,生成至少一个方法类语法树。
序列化单元,用于序列化至少一个方法类语法树,得到方法对象。
根据本公开的实施例,生成单元可以包括识别子单元和生成子单元。
识别子单元,用于针对每一行方法语句,依次使用多个方法解析器识别方法语句。
生成子单元,用于使用成功识别方法语句的方法解析器来解析方法语句,以生成方法类语法树。
根据本公开的实施例,生成单元还可以包括构建子单元和加入子单元。
构建子单元,用于在多个方法解析器均无法识别方法语句的情况下,基于方法语句构建新的方法解析器。
加入子单元,用于将新的方法解析器加入策略链中。
根据本公开的实施例,分析模块630可以包括确定单元、获取单元和判断单元。
确定单元,用于基于分析需求,确定目标语法功能和判断规则。
获取单元,用于根据目标语法功能,从至少一个方法对象中获取至少一行目标语句。
判断单元,用于基于判断规则,判断至少一行目标语句是否正确,以完成对至少一个方法对象的分析。
根据本公开的实施例,获取单元可以包括解析子单元、第一获取子单元和第一提取子单元。
解析子单元,用于解析至少一个方法对象,得到至少一个功能链表。
第一获取子单元,用于根据目标语法功能,从数据字典中获取与目标语法功能对应的功能名称。
第一提取子单元,用于从至少一个功能链表中提取包含功能名称的语句,得到至少一个方法对象的至少一行目标语句。
根据本公开的实施例,判断单元可以包括第二获取子单元、第二提取子单元和判断子单元。
第二获取子单元,用于根据目标语法功能,从数据字典中获取与目标语法功能对应的至少一个判断关键字。
第二提取子单元,用于针对每一行目标语句,根据至少一个判断关键字来提取目标语句的语句属性。
判断子单元,用于基于判断规则,判断目标语句的语句属性是否正确,以判断目标语句是否正确。
根据本公开的实施例的模块、单元、子单元中的任意多个、或其中任意多个的至少部分功能可以在一个模块中实现。根据本公开实施例的模块、单元、子单元中的任意一个或多个可以被拆分成多个模块来实现。根据本公开实施例的模块、单元、子单元中的任意一个或多个可以至少被部分地实现为硬件电路,例如现场可编程门阵列(FPGA)、可编程逻辑阵列(PLA)、片上系统、基板上的系统、封装上的系统、专用集成电路(ASIC),或可以通过对电路进行集成或封装的任何其他的合理方式的硬件或固件来实现,或以软件、硬件以及固件三种实现方式中任意一种或以其中任意几种的适当组合来实现。或者,根据本公开实施例的模块、单元、子单元中的一个或多个可以至少被部分地实现为计算机程序模块,当该计算机程序模块被运行时,可以执行相应的功能。
例如,获取模块610、解析模块620和分析模块630中的任意多个可以合并在一个模块/单元/子单元中实现,或者其中的任意一个模块/单元/子单元可以被拆分成多个模块/单元/子单元。或者,这些模块/单元/子单元中的一个或多个模块/单元/子单元的至少部分功能可以与其他模块/单元/子单元的至少部分功能相结合,并在一个模块/单元/子单元中实现。根据本公开的实施例,获取模块610、解析模块620和分析模块630中的至少一个可以至少被部分地实现为硬件电路,例如现场可编程门阵列(FPGA)、可编程逻辑阵列(PLA)、片上系统、基板上的系统、封装上的系统、专用集成电路(ASIC),或可以通过对电路进行集成或封装的任何其他的合理方式等硬件或固件来实现,或以软件、硬件以及固件三种实现方式中任意一种或以其中任意几种的适当组合来实现。或者,获取模块610、解析模块620和分析模块630中的至少一个可以至少被部分地实现为计算机程序模块,当该计算机程序模块被运行时,可以执行相应的功能。
需要说明的是,本公开的实施例中静态代码分析系统部分与本公开的实施例中静态代码分析方法部分是相对应的,静态代码分析系统部分的描述具体参考静态代码分析方法部分,在此不再赘述。
图7示意性示出了根据本公开实施例的适于实现上文描述的方法的电子设备的框图。图7示出的电子设备仅仅是一个示例,不应对本公开实施例的功能和使用范围带来任何限制。
如图7所示,根据本公开实施例的计算机电子设备700包括处理器701,其可以根据存储在只读存储器(ROM)702中的程序或者从存储部分708加载到随机访问存储器(RAM)703中的程序而执行各种适当的动作和处理。处理器701例如可以包括通用微处理器(例如CPU)、指令集处理器和/或相关芯片组和/或专用微处理器(例如,专用集成电路(ASIC)),等等。处理器701还可以包括用于缓存用途的板载存储器。处理器701可以包括用于执行根据本公开实施例的方法流程的不同动作的单一处理单元或者是多个处理单元。
在RAM 703中,存储有电子设备700操作所需的各种程序和数据。处理器701、ROM702以及RAM 703通过总线704彼此相连。处理器701通过执行ROM 702和/或RAM 703中的程序来执行根据本公开实施例的方法流程的各种操作。需要注意,所述程序也可以存储在除ROM 702和RAM 703以外的一个或多个存储器中。处理器701也可以通过执行存储在所述一个或多个存储器中的程序来执行根据本公开实施例的方法流程的各种操作。
根据本公开的实施例,电子设备700还可以包括输入/输出(I/O)接口705,输入/输出(I/O)接口705也连接至总线704。电子设备700还可以包括连接至I/O接口705的以下部件中的一项或多项:包括键盘、鼠标等的输入部分706;包括诸如阴极射线管(CRT)、液晶显示器(LCD)等以及扬声器等的输出部分707;包括硬盘等的存储部分708;以及包括诸如LAN卡、调制解调器等的网络接口卡的通信部分709。通信部分709经由诸如因特网的网络执行通信处理。驱动器510也根据需要连接至I/O接口705。可拆卸介质711,诸如磁盘、光盘、磁光盘、半导体存储器等等,根据需要安装在驱动器710上,以便于从其上读出的计算机程序根据需要被安装入存储部分708。
根据本公开的实施例,根据本公开实施例的方法流程可以被实现为计算机软件程序。例如,本公开的实施例包括一种计算机程序产品,其包括承载在计算机可读存储介质上的计算机程序,该计算机程序包含用于执行流程图所示的方法的程序代码。在这样的实施例中,该计算机程序可以通过通信部分709从网络上被下载和安装,和/或从可拆卸介质711被安装。在该计算机程序被处理器701执行时,执行本公开实施例的系统中限定的上述功能。根据本公开的实施例,上文描述的系统、设备、装置、模块、单元等可以通过计算机程序模块来实现。
本公开还提供了一种计算机可读存储介质,该计算机可读存储介质可以是上述实施例中描述的设备/装置/系统中所包含的;也可以是单独存在,而未装配入该设备/装置/系统中。上述计算机可读存储介质承载有一个或者多个程序,当上述一个或者多个程序被执行时,实现根据本公开实施例的方法。
根据本公开的实施例,计算机可读存储介质可以是非易失性的计算机可读存储介质。例如可以包括但不限于:便携式计算机磁盘、硬盘、随机访问存储器(RAM)、只读存储器(ROM)、可擦式可编程只读存储器(EPROM或闪存)、便携式紧凑磁盘只读存储器(CD-ROM)、光存储器件、磁存储器件、或者上述的任意合适的组合。在本公开中,计算机可读存储介质可以是任何包含或存储程序的有形介质,该程序可以被指令执行系统、装置或者器件使用或者与其结合使用。
例如,根据本公开的实施例,计算机可读存储介质可以包括上文描述的ROM 702和/或RAM 703和/或ROM 702和RAM 703以外的一个或多个存储器。
本公开的实施例还包括一种计算机程序产品,其包括计算机程序,该计算机程序包含用于执行本公开实施例所提供的方法的程序代码,当计算机程序产品在电子设备上运行时,该程序代码用于使电子设备实现本公开实施例所提供的静态代码分析方法。
在该计算机程序被处理器701执行时,执行本公开实施例的系统/装置中限定的上述功能。根据本公开的实施例,上文描述的系统、装置、模块、单元等可以通过计算机程序模块来实现。
在一种实施例中,该计算机程序可以依托于光存储器件、磁存储器件等有形存储介质。在另一种实施例中,该计算机程序也可以在网络介质上以信号的形式进行传输、分发,并通过通信部分709被下载和安装,和/或从可拆卸介质711被安装。该计算机程序包含的程序代码可以用任何适当的网络介质传输,包括但不限于:无线、有线等等,或者上述的任意合适的组合。
根据本公开的实施例,可以以一种或多种程序设计语言的任意组合来编写用于执行本公开实施例提供的计算机程序的程序代码,具体地,可以利用高级过程和/或面向对象的编程语言、和/或汇编/机器语言来实施这些计算程序。程序设计语言包括但不限于诸如Java,C++,python,“C”语言或类似的程序设计语言。程序代码可以完全地在用户计算设备上执行、部分地在用户设备上执行、部分在远程计算设备上执行、或者完全在远程计算设备或服务器上执行。在涉及远程计算设备的情形中,远程计算设备可以通过任意种类的网络,包括局域网(LAN)或广域网(WAN),连接到用户计算设备,或者,可以连接到外部计算设备(例如利用因特网服务提供商来通过因特网连接)。
附图中的流程图和框图,图示了按照本公开各种实施例的系统、方法和计算机程序产品的可能实现的体系架构、功能和操作。在这点上,流程图或框图中的每个方框可以代表一个模块、程序段、或代码的一部分,上述模块、程序段、或代码的一部分包含一个或多个用于实现规定的逻辑功能的可执行指令。也应当注意,在有些作为替换的实现中,方框中所标注的功能也可以以不同于附图中所标注的顺序发生。例如,两个接连地表示的方框实际上可以基本并行地执行,它们有时也可以按相反的顺序执行,这依所涉及的功能而定。也要注意的是,框图或流程图中的每个方框、以及框图或流程图中的方框的组合,可以用执行规定的功能或操作的专用的基于硬件的系统来实现,或者可以用专用硬件与计算机指令的组合来实现。本领域技术人员可以理解,本公开的各个实施例和/或权利要求中记载的特征可以进行多种组合和/或结合,即使这样的组合或结合没有明确记载于本公开中。特别地,在不脱离本公开精神和教导的情况下,本公开的各个实施例和/或权利要求中记载的特征可以进行多种组合和/或结合。所有这些组合和/或结合均落入本公开的范围。
以上对本公开的实施例进行了描述。但是,这些实施例仅仅是为了说明的目的,而并非为了限制本公开的范围。尽管在以上分别描述了各实施例,但是这并不意味着各个实施例中的措施不能有利地结合使用。本公开的范围由所附权利要求及其等同物限定。不脱离本公开的范围,本领域技术人员可以做出多种替代和修改,这些替代和修改都应落在本公开的范围之内。
Claims (12)
1.一种静态代码分析方法,包括:
获取目标程序包和分析需求,其中,所述目标程序包中包括至少一个方法数据块,其中,所述方法数据块包括至少一行方法语句,所述方法语句用于实现一种语法功能;
解析所述目标程序包,以获取至少一个方法对象;以及
基于所述分析需求,对所述至少一个方法对象进行分析。
2.根据权利要求1所述的方法,其中,所述解析所述目标程序包,以获取至少一个方法对象,包括:
对于每一个方法数据块,使用策略链解析所述方法数据块中的至少一行方法语句,生成至少一个方法类语法树;以及
序列化所述至少一个方法类语法树,得到所述方法对象。
3.根据权利要求2所述的方法,其中,所述策略链中包括针对于每一种语法功能分别建立的多个方法解析器;
其中,所述使用策略链解析所述方法数据块中的至少一行方法语句,生成至少一个方法类语法树,包括:
针对每一行方法语句,依次使用所述多个方法解析器识别所述方法语句;以及
使用成功识别所述方法语句的方法解析器来解析所述方法语句,以生成方法类语法树。
4.根据权利要求3所述的方法,还包括:
在所述多个方法解析器均无法识别所述方法语句的情况下,基于所述方法语句构建新的方法解析器;以及
将所述新的方法解析器加入所述策略链中。
5.根据权利要求1所述的方法,其中,所述基于所述分析需求,对所述至少一个方法对象进行分析,包括:
基于所述分析需求,确定目标语法功能和判断规则;
根据所述目标语法功能,从所述至少一个方法对象中获取至少一行目标语句;以及
基于所述判断规则,判断所述至少一行目标语句是否正确,以完成对所述至少一个方法对象的分析。
6.根据权利要求5所述的方法,其中,所述根据所述目标语法功能,从所述至少一个方法对象中获取至少一行目标语句,包括:
解析所述至少一个方法对象,得到至少一个功能链表;
根据所述目标语法功能,从数据字典中获取与所述目标语法功能对应的功能名称;以及
从所述至少一个功能链表中提取包含所述功能名称的语句,得到所述至少一个方法对象的至少一行目标语句。
7.根据权利要求5所述的方法,其中,所述基于所述判断规则,判断所述至少一行目标语句是否正确,包括:
根据所述目标语法功能,从数据字典中获取与所述目标语法功能对应的至少一个判断关键字;
针对每一行目标语句,根据所述至少一个判断关键字来提取所述目标语句的语句属性;以及
基于所述判断规则,判断所述目标语句的语句属性是否正确,以判断所述目标语句是否正确。
8.根据权利要求1~6中任一项所述的方法,其中,所述目标程序包包括EGL程序包。
9.一种静态代码分析装置,包括:
获取模块,用于获取目标程序包和分析需求,其中,所述目标程序包中包括至少一个方法数据块,其中,所述方法数据块包括至少一行方法语句,所述方法语句用于实现一种语法功能;
解析模块,用于解析所述目标程序包,以获取至少一个方法对象;以及
分析模块,用于基于所述分析需求,对所述至少一个方法对象进行分析。
10.一种电子设备,包括:
一个或多个处理器;
存储器,用于存储一个或多个指令,
其中,当所述一个或多个指令被所述一个或多个处理器执行时,使得所述一个或多个处理器实现权利要求1至8中任一项所述的方法。
11.一种计算机可读存储介质,其上存储有可执行指令,所述可执行指令被处理器执行时使处理器实现权利要求1至8中任一项所述的方法。
12.一种计算机程序产品,所述计算机程序产品包括计算机可执行指令,所述计算机可执行指令在被执行时用于实现权利要求1至8中任一项所述的方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110674752.6A CN113377377A (zh) | 2021-06-17 | 2021-06-17 | 静态代码分析方法、分析装置、电子设备及可读存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202110674752.6A CN113377377A (zh) | 2021-06-17 | 2021-06-17 | 静态代码分析方法、分析装置、电子设备及可读存储介质 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN113377377A true CN113377377A (zh) | 2021-09-10 |
Family
ID=77577568
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202110674752.6A Pending CN113377377A (zh) | 2021-06-17 | 2021-06-17 | 静态代码分析方法、分析装置、电子设备及可读存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN113377377A (zh) |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102629213A (zh) * | 2012-02-21 | 2012-08-08 | 北京经纬恒润科技有限公司 | 一种c语言仿真模型的剖析及监控方法 |
US10169035B1 (en) * | 2017-09-06 | 2019-01-01 | International Business Machines Corporation | Customized static source code analysis |
CN111400197A (zh) * | 2020-05-29 | 2020-07-10 | 支付宝(杭州)信息技术有限公司 | 应用程序包分析方法、装置及计算机可读存储介质 |
-
2021
- 2021-06-17 CN CN202110674752.6A patent/CN113377377A/zh active Pending
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102629213A (zh) * | 2012-02-21 | 2012-08-08 | 北京经纬恒润科技有限公司 | 一种c语言仿真模型的剖析及监控方法 |
US10169035B1 (en) * | 2017-09-06 | 2019-01-01 | International Business Machines Corporation | Customized static source code analysis |
CN111400197A (zh) * | 2020-05-29 | 2020-07-10 | 支付宝(杭州)信息技术有限公司 | 应用程序包分析方法、装置及计算机可读存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN113778848A (zh) | 测试代码生成方法、装置、计算机系统及介质 | |
CN113760729A (zh) | 一种代码检测方法和装置 | |
CN115599386A (zh) | 代码生成方法、装置、设备及存储介质 | |
CN113918864A (zh) | 网站页面的测试方法、测试系统、装置、电子设备及介质 | |
US20180314683A1 (en) | Method and device for processing natural language | |
CN110874475A (zh) | 漏洞挖掘方法、漏洞挖掘平台及计算机可读存储介质 | |
CN113032257A (zh) | 自动化测试方法、装置、计算机系统和可读存储介质 | |
CN114626061A (zh) | 网页木马检测的方法、装置、电子设备及介质 | |
CN113535565B (zh) | 一种接口用例生成方法、装置、设备和介质 | |
CN113157572B (zh) | 一种测试案例生成方法、系统、电子设备及存储介质 | |
CN113032256A (zh) | 自动化测试方法、装置、计算机系统和可读存储介质 | |
CN114791885A (zh) | 接口测试方法、装置、设备及介质 | |
CN113419740A (zh) | 程序数据流的分析方法、装置、电子设备及可读存储介质 | |
CN113138767A (zh) | 代码语言转换方法、装置、电子设备及存储介质 | |
CN113377377A (zh) | 静态代码分析方法、分析装置、电子设备及可读存储介质 | |
CN115080433A (zh) | 基于流量回放的测试方法及装置 | |
CN113392311A (zh) | 字段搜索方法、字段搜索装置、电子设备及存储介质 | |
CN113111650A (zh) | 文本处理方法、装置、系统及存储介质 | |
CN113176907A (zh) | 接口数据调用方法、装置、计算机系统及可读存储介质 | |
CN113778451A (zh) | 文件加载方法、装置、计算机系统和计算机可读存储介质 | |
CN112068814A (zh) | 可执行文件的生成方法、装置、系统及介质 | |
US9577884B2 (en) | Enterprise quality assurance and lab management tool | |
CN112860259B (zh) | 界面处理方法、装置、电子设备、存储介质 | |
US11360764B2 (en) | Adversarial language analysis for code scanning | |
CN113378517A (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 |