CN112231212A - 一种检测程序代码语法错误的方法 - Google Patents

一种检测程序代码语法错误的方法 Download PDF

Info

Publication number
CN112231212A
CN112231212A CN202011110858.5A CN202011110858A CN112231212A CN 112231212 A CN112231212 A CN 112231212A CN 202011110858 A CN202011110858 A CN 202011110858A CN 112231212 A CN112231212 A CN 112231212A
Authority
CN
China
Prior art keywords
server
program
program code
code
syntax
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.)
Granted
Application number
CN202011110858.5A
Other languages
English (en)
Other versions
CN112231212B (zh
Inventor
刘超
赵小容
李晶
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hunan Wanxiang Technology Co ltd
Original Assignee
Hunan Wanxiang Technology Co ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Hunan Wanxiang Technology Co ltd filed Critical Hunan Wanxiang Technology Co ltd
Priority to CN202011110858.5A priority Critical patent/CN112231212B/zh
Publication of CN112231212A publication Critical patent/CN112231212A/zh
Application granted granted Critical
Publication of CN112231212B publication Critical patent/CN112231212B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

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/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/3668—Software testing
    • G06F11/3672—Test management
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
    • Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management

Abstract

本发明公开了一种检测程序代码语法错误的方法，包括以下步骤：步骤一、对新增补丁进行审核，使用编译服务器生成新的新增补丁，并且将新增补丁发送给程序代码审核服务器，使程序代码审核服务器对编译服务器所生成的新增补丁进行审核；该一种检测程序代码语法错误的方法，通过对新增补丁进行审核、检测节点的收集和储存、每段函数分段检测、检测代码注释是否大于或等于预设的阈值、反馈错误信息和得出检测结果六个步骤的设置，避免了人工进行手动审核代码，在释放人力的同时，也使判断代码语法问题的准确性得到提高，也能够判断出代码是否能够正常编译，从而使关于程序代码语法错误的检测方法得到改进。

Description

一种检测程序代码语法错误的方法
技术领域
本发明涉及程序代码检测技术领域，具体为一种检测程序代码语法错误的方法。
背景技术
众所周知，代码就是程序员用开发工具所支持的语言写出来的源文件，是一组由字符、符号或信号码元以离散形式表示信息的明确的规则体系。代码设计的原则包括唯一确定性、标准化和通用性、可扩充性与稳定性、便于识别与记忆、力求短小与格式统一以及容易修改等。源代码是代码的分支，某种意义上来说，源代码相当于代码；
经检索，由中国专利网公开的公开号为CN110879708A的专利，公开了一种基于抽象语法树和定理证明的局部敏感程序分析方法，包括：对程序代码构建出没有语法错误的抽象语法树AST；遍历程序代码的抽象语法树AST，收集待检测节点及待检测节点的相关节点，根据待检测节点及其相关节点信息，形成待检测节点的相关逻辑表达式，输入至定理证明器中；定理证明器通过逻辑表达式求解待检测节点，若求解获得的待检测节点值存在异常情况，则判定程序存在语义缺陷。本发明通过收集程序节点局部上下文和局部路径信息，避免某些错误的报警以及提高易用性，实现了对程序代码的语义缺陷检测，避免了传统的符号执行工具分析代码因为路径爆炸问题而耗时长的问题。
但是，上述专利的不足之处在于：目前，现有技术的代码审核流程有多种权限，但这些权限都需要在相关模块上进行手动审核，即需要大量人为干预，进行手动审核代码，而手动审核代码无法准确判断代码的语法问题，也没法判断代码是否可以正常编译，从而使对于程序代码语法错误的检测方法仍有改进的空间。
发明内容
(一)解决的技术问题
针对现有技术的不足，本发明提供了一种检测程序代码语法错误的方法。
(二)技术方案
为实现上述目的，本发明提供如下技术方案：一种检测程序代码语法错误的方法，包括以下步骤：
步骤一、对新增补丁进行审核，使用编译服务器生成新的新增补丁，并且将新增补丁发送给程序代码审核服务器，使程序代码审核服务器对编译服务器所生成的新增补丁进行审核；
步骤二、检测节点的收集和储存，程序代码审核服务器对新增补丁中的内容进行检测节点的收集和储存，使程序代码审核服务器能够根据检测节点对新增补丁中的内容进行快速地审核和处理；
步骤三、每段函数分段检测，用持续集成服务器对程序代码审核服务器检测中的语法错误进行每段函数的单独读取检测，从而使每段函数中的语法错误能够被分段检测出来；
步骤四、检测代码注释是否大于或等于预设的阈值，使用持续集成服务器检测出每段函数包含的代码注释是否大于或等于预设的阈值数量，根据检测结果的不同，对语法错误进行分类；
步骤五、反馈错误信息，当每段函数包含的代码注释小于预设的阈值数量时，会触发编译服务器构建编译信息，并且将会语法错误的具体信息发送至程序代码审核服务器界面进行反馈和通知；
步骤六、得出检测结果，当持续集成服务器检测到每段函数包含的代码注释大于或等于所述预设的阈值数量时，会记录代码注释的最终检测结果，并对检测成功的内容进行编译，发送至程序代码审核服务器中。
优选的，在步骤一中所提出的新增补丁，指的是当专业人士在发现有人利用系统里面的漏洞进行恶性病毒破坏后，制作的修补这些漏洞的程序，当发布系统后，一旦发现有些程序中有漏洞，存在着漏洞被不法者利用而攻击用户的安全隐患，所以使用编译服务器生成新的新增补丁，并且将新增补丁发送给程序代码审核服务器，从而能够避免程序代码中的漏洞被攻击。
优选的，在步骤二中，代码审查是指对计算机源代码系统化地审查，常用软件同行评审的方式进行，其目的是在找出及修正在软件开发初期未发现的错误，提升软件质量及开发者的技术，代码审查常以不同的形式进行，使程序代码审核服务器能够根据检测节点对新增补丁中的内容进行快速地审核和处理。
优选的，在步骤三中，持续集成的宗旨是避免集成问题，用持续集成服务器对程序代码审核服务器检测中的语法错误进行每段函数的单独读取检测，持续集成并非普遍接受是用来改善集成频率的方法，因此重要的是区分两者所带来的效益，持续集成需要达到最佳成果，必须依靠着自动化集成单元测试并通过测试驱动开发。
优选的，在步骤四中，持续集成服务器除了自动化单元测试，组织在运用持续性集成时，会建置CI服务器来维护持续性套用质量控制的程序的影响，使用持续集成服务器检测出每段函数包含的代码注释是否大于或等于预设的阈值数量，除了运行单元与集成测试之外，还有额外的静态与动态测试，量测与描述性能。
优选的，在步骤五中，反馈错误信息，当每段函数包含的代码注释小于预设的阈值数量时，会触发编译服务器构建编译信息，编译是利用编译程序从源语言编写的源程序产生目标程序的过程，以及用编译程序产生目标程序的动作，分析过程中发现有语法错误，会给出提示信息。
优选的，在步骤六中，当持续集成服务器检测到每段函数包含的代码注释大于或等于所述预设的阈值数量时，从左至右逐个字符地对源程序进行扫描，产生一个个的单词符号，把作为字符串的源程序改造成为单词符号串的中间程序，源程序中的单词符号经扫描器分析。
优选的，在步骤六中，编译程序的语法分析器以单词符号作为输入，分析单词符号串是否形成符合语法规则的语法单位，分析检查每条语句是否有正确的逻辑结构，程序是最终的一个语法单位，编译程序的语法规则可用上下文无关文法来刻画，并且程序会记录代码注释的最终检测结果，并对检测成功的内容进行编译，并发送至程序代码审核服务器中。
(三)有益效果
与现有技术相比，本发明提供了一种检测程序代码语法错误的方法，具备以下有益效果：
该一种检测程序代码语法错误的方法，通过对新增补丁进行审核、检测节点的收集和储存、每段函数分段检测、检测代码注释是否大于或等于预设的阈值、反馈错误信息和得出检测结果六个步骤的设置，避免了人工进行手动审核代码，在释放人力的同时，也使判断代码语法问题的准确性得到提高，也能够判断出代码是否能够正常编译，从而使关于程序代码语法错误的检测方法得到改进。
附图说明
图1为本发明的流程图。
具体实施方式
下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
实施例
请参阅图1，本发明提供一种技术方案：一种检测程序代码语法错误的方法，包括以下步骤：
步骤一、对新增补丁进行审核，使用编译服务器生成新的新增补丁，并且将新增补丁发送给程序代码审核服务器，使程序代码审核服务器对编译服务器所生成的新增补丁进行审核；
步骤二、检测节点的收集和储存，程序代码审核服务器对新增补丁中的内容进行检测节点的收集和储存，使程序代码审核服务器能够根据检测节点对新增补丁中的内容进行快速地审核和处理；
步骤三、每段函数分段检测，用持续集成服务器对程序代码审核服务器检测中的语法错误进行每段函数的单独读取检测，从而使每段函数中的语法错误能够被分段检测出来；
步骤四、检测代码注释是否大于或等于预设的阈值，使用持续集成服务器检测出每段函数包含的代码注释是否大于或等于预设的阈值数量，根据检测结果的不同，对语法错误进行分类；
步骤五、反馈错误信息，当每段函数包含的代码注释小于预设的阈值数量时，会触发编译服务器构建编译信息，并且将会语法错误的具体信息发送至程序代码审核服务器界面进行反馈和通知；
步骤六、得出检测结果，当持续集成服务器检测到每段函数包含的代码注释大于或等于所述预设的阈值数量时，会记录代码注释的最终检测结果，并对检测成功的内容进行编译，发送至程序代码审核服务器中。
本实施例中，具体的：在步骤一中所提出的新增补丁，指的是当专业人士在发现有人利用系统里面的漏洞进行恶性病毒破坏后，制作的修补这些漏洞的程序，当发布系统后，一旦发现有些程序中有漏洞，存在着漏洞被不法者利用而攻击用户的安全隐患，所以使用编译服务器生成新的新增补丁，并且将新增补丁发送给程序代码审核服务器，从而能够避免程序代码中的漏洞被攻击。
进一步的：在步骤二中，代码审查是指对计算机源代码系统化地审查，常用软件同行评审的方式进行，其目的是在找出及修正在软件开发初期未发现的错误，提升软件质量及开发者的技术，代码审查常以不同的形式进行，使程序代码审核服务器能够根据检测节点对新增补丁中的内容进行快速地审核和处理。
在前述方案的基础上：在步骤三中，持续集成的宗旨是避免集成问题，用持续集成服务器对程序代码审核服务器检测中的语法错误进行每段函数的单独读取检测，持续集成并非普遍接受是用来改善集成频率的方法，因此重要的是区分两者所带来的效益，持续集成需要达到最佳成果，必须依靠着自动化集成单元测试并通过测试驱动开发。
本实施例中，具体的：在步骤四中，持续集成服务器除了自动化单元测试，组织在运用持续性集成时，会建置CI服务器来维护持续性套用质量控制的程序的影响，使用持续集成服务器检测出每段函数包含的代码注释是否大于或等于预设的阈值数量，除了运行单元与集成测试之外，还有额外的静态与动态测试，量测与描述性能。
进一步的：在步骤五中，反馈错误信息，当每段函数包含的代码注释小于预设的阈值数量时，会触发编译服务器构建编译信息，编译是利用编译程序从源语言编写的源程序产生目标程序的过程，以及用编译程序产生目标程序的动作，分析过程中发现有语法错误，会给出提示信息。
在前述方案的基础上：在步骤六中，当持续集成服务器检测到每段函数包含的代码注释大于或等于所述预设的阈值数量时，从左至右逐个字符地对源程序进行扫描，产生一个个的单词符号，执行词法分析的程序称为词法分析程序或扫描器，源程序中的单词符号经扫描器分析。
本实施例中，具体的：在步骤六中，编译程序的语法分析器以单词符号作为输入，分析单词符号串是否形成符合语法规则的语法单位，分析检查每条语句是否有正确的逻辑结构，程序是最终的一个语法单位，编译程序的语法规则可用上下文无关文法来刻画，并且程序会记录代码注释的最终检测结果，并对检测成功的内容进行编译，并发送至程序代码审核服务器中。
综上所述，该一种检测程序代码语法错误的方法的工作原理和工作过程为，通过对新增补丁进行审核、检测节点的收集和储存、每段函数分段检测、检测代码注释是否大于或等于预设的阈值、反馈错误信息和得出检测结果六个步骤的设置，避免了人工进行手动审核代码，在释放人力的同时，也使判断代码语法问题的准确性得到提高，也能够判断出代码是否能够正常编译，从而使关于程序代码语法错误的检测方法得到改进。
尽管已经示出和描述了本发明的实施例，对于本领域的普通技术人员而言，可以理解在不脱离本发明的原理和精神的情况下可以对这些实施例进行多种变化、修改、替换和变型，本发明的范围由所附权利要求及其等同物限定。

Claims (8)

1.一种检测程序代码语法错误的方法，其特征在于，包括以下步骤：
步骤一、对新增补丁进行审核，使用编译服务器生成新的新增补丁，并且将新增补丁发送给程序代码审核服务器，使程序代码审核服务器对编译服务器所生成的新增补丁进行审核；
步骤二、检测节点的收集和储存，程序代码审核服务器对新增补丁中的内容进行检测节点的收集和储存，使程序代码审核服务器能够根据检测节点对新增补丁中的内容进行快速地审核和处理；
步骤三、每段函数分段检测，用持续集成服务器对程序代码审核服务器检测中的语法错误进行每段函数的单独读取检测，从而使每段函数中的语法错误能够被分段检测出来；
步骤四、检测代码注释是否大于或等于预设的阈值，使用持续集成服务器检测出每段函数包含的代码注释是否大于或等于预设的阈值数量，根据检测结果的不同，对语法错误进行分类；
步骤五、反馈错误信息，当每段函数包含的代码注释小于预设的阈值数量时，会触发编译服务器构建编译信息，并且将会语法错误的具体信息发送至程序代码审核服务器界面进行反馈和通知；
步骤六、得出检测结果，当持续集成服务器检测到每段函数包含的代码注释大于或等于所述预设的阈值数量时，会记录代码注释的最终检测结果，并对检测成功的内容进行编译，发送至程序代码审核服务器中。
2.根据权利要求1所述的一种检测程序代码语法错误的方法，其特征在于：在步骤一中所提出的新增补丁，指的是当专业人士在发现有人利用系统里面的漏洞进行恶性病毒破坏后，制作的修补这些漏洞的程序，当发布系统后，一旦发现有些程序中有漏洞，存在着漏洞被不法者利用而攻击用户的安全隐患，所以使用编译服务器生成新的新增补丁，并且将新增补丁发送给程序代码审核服务器，从而能够避免程序代码中的漏洞被攻击。
3.根据权利要求1所述的一种检测程序代码语法错误的方法，其特征在于：在步骤二中，代码审查是指对计算机源代码系统化地审查，常用软件同行评审的方式进行，其目的是在找出及修正在软件开发初期未发现的错误，提升软件质量及开发者的技术，代码审查常以不同的形式进行，使程序代码审核服务器能够根据检测节点对新增补丁中的内容进行快速地审核和处理。
4.根据权利要求1所述的一种检测程序代码语法错误的方法，其特征在于：在步骤三中，持续集成的宗旨是避免集成问题，用持续集成服务器对程序代码审核服务器检测中的语法错误进行每段函数的单独读取检测，持续集成并非普遍接受是用来改善集成频率的方法，因此重要的是区分两者所带来的效益，持续集成需要达到最佳成果，必须依靠着自动化集成单元测试并通过测试驱动开发。
5.根据权利要求1所述的一种检测程序代码语法错误的方法，其特征在于：在步骤四中，持续集成服务器除了自动化单元测试，组织在运用持续性集成时，会建置CI服务器来维护持续性套用质量控制的程序的影响，使用持续集成服务器检测出每段函数包含的代码注释是否大于或等于预设的阈值数量，除了运行单元与集成测试之外，还有额外的静态与动态测试，量测与描述性能。
6.根据权利要求1所述的一种检测程序代码语法错误的方法，其特征在于：在步骤五中，反馈错误信息，当每段函数包含的代码注释小于预设的阈值数量时，会触发编译服务器构建编译信息，编译是利用编译程序从源语言编写的源程序产生目标程序的过程，以及用编译程序产生目标程序的动作，分析过程中发现有语法错误，会给出提示信息。
7.根据权利要求1所述的一种检测程序代码语法错误的方法，其特征在于：在步骤六中，当持续集成服务器检测到每段函数包含的代码注释大于或等于所述预设的阈值数量时，从左至右逐个字符地对源程序进行扫描，产生一个个的单词符号，把作为字符串的源程序改造成为单词符号串的中间程序，程序中的单词符号经扫描器分析。
8.根据权利要求1所述的一种检测程序代码语法错误的方法，其特征在于：在步骤六中，编译程序的语法分析器以单词符号作为输入，分析单词符号串是否形成符合语法规则的语法单位，分析检查每条语句是否有正确的逻辑结构，程序是最终的一个语法单位，编译程序的语法规则可用上下文无关文法来刻画，并且程序会记录代码注释的最终检测结果，并对检测成功的内容进行编译，并发送至程序代码审核服务器中。
CN202011110858.5A 2020-10-16 2020-10-16 一种检测程序代码语法错误的方法 Active CN112231212B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011110858.5A CN112231212B (zh) 2020-10-16 2020-10-16 一种检测程序代码语法错误的方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011110858.5A CN112231212B (zh) 2020-10-16 2020-10-16 一种检测程序代码语法错误的方法

Publications (2)

Publication Number Publication Date
CN112231212A true CN112231212A (zh) 2021-01-15
CN112231212B CN112231212B (zh) 2023-05-09

Family

ID=74117712

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011110858.5A Active CN112231212B (zh) 2020-10-16 2020-10-16 一种检测程序代码语法错误的方法

Country Status (1)

Country Link
CN (1) CN112231212B (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113553088A (zh) * 2021-06-28 2021-10-26 深圳云之家网络有限公司 补丁包发布方法、装置、计算机设备和存储介质

Citations (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4864501A (en) * 1987-10-07 1989-09-05 Houghton Mifflin Company Word annotation system
EP0409425A2 (en) * 1989-07-15 1991-01-23 Keechung Kim Method and apparatus for translating language
EP0439533A1 (en) * 1988-10-24 1991-08-07 Eastman Kodak Company Object-oriented, logic, and database programming tool
US20030167266A1 (en) * 2001-01-08 2003-09-04 Alexander Saldanha Creation of structured data from plain text
CN101017458A (zh) * 2007-03-02 2007-08-15 北京邮电大学 基于源代码静态分析的软件安全代码分析器及其检测方法
WO2011122724A1 (ko) * 2010-03-29 2011-10-06 주식회사 소프트 포 소프트 아밥 소스코드의 코드 검사를 수행하는 코드검사 수행시스템
CN104239115A (zh) * 2014-07-24 2014-12-24 汕头大学 一种plc编程语言的编译方法
CN107273289A (zh) * 2017-06-13 2017-10-20 西北工业大学 基于全局分析的并行错误模式匹配方法
CN107463375A (zh) * 2017-07-18 2017-12-12 上海斐讯数据通信技术有限公司 一种检测源代码的方法和系统
CN107729247A (zh) * 2017-10-13 2018-02-23 郑州云海信息技术有限公司 基于jenkins检查源程序代码错误的方法和装置
CN108701125A (zh) * 2015-12-29 2018-10-23 Mz知识产权控股有限责任公司 用于建议表情符号的系统和方法

Patent Citations (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4864501A (en) * 1987-10-07 1989-09-05 Houghton Mifflin Company Word annotation system
EP0439533A1 (en) * 1988-10-24 1991-08-07 Eastman Kodak Company Object-oriented, logic, and database programming tool
EP0409425A2 (en) * 1989-07-15 1991-01-23 Keechung Kim Method and apparatus for translating language
US20030167266A1 (en) * 2001-01-08 2003-09-04 Alexander Saldanha Creation of structured data from plain text
CN101017458A (zh) * 2007-03-02 2007-08-15 北京邮电大学 基于源代码静态分析的软件安全代码分析器及其检测方法
WO2011122724A1 (ko) * 2010-03-29 2011-10-06 주식회사 소프트 포 소프트 아밥 소스코드의 코드 검사를 수행하는 코드검사 수행시스템
CN104239115A (zh) * 2014-07-24 2014-12-24 汕头大学 一种plc编程语言的编译方法
CN108701125A (zh) * 2015-12-29 2018-10-23 Mz知识产权控股有限责任公司 用于建议表情符号的系统和方法
CN107273289A (zh) * 2017-06-13 2017-10-20 西北工业大学 基于全局分析的并行错误模式匹配方法
CN107463375A (zh) * 2017-07-18 2017-12-12 上海斐讯数据通信技术有限公司 一种检测源代码的方法和系统
CN107729247A (zh) * 2017-10-13 2018-02-23 郑州云海信息技术有限公司 基于jenkins检查源程序代码错误的方法和装置

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN113553088A (zh) * 2021-06-28 2021-10-26 深圳云之家网络有限公司 补丁包发布方法、装置、计算机设备和存储介质

Also Published As

Publication number Publication date
CN112231212B (zh) 2023-05-09

Similar Documents

Publication Publication Date Title
KR101159365B1 (ko) 소스 코드 정적 분석 시뮬레이터를 위한 커스텀 ａｐｉ 모델링
US8312440B2 (en) Method, computer program product, and hardware product for providing program individuality analysis for source code programs
US11775414B2 (en) Automated bug fixing using deep learning
CN113497809B (zh) 基于控制流和数据流分析的mips架构漏洞挖掘方法
Ahmadi et al. Finding bugs using your own code: detecting functionally-similar yet inconsistent code
CN110059006B (zh) 代码审计方法及装置
CN112131122B (zh) 一种源代码缺陷检测工具误报评估方法及装置
Zhang et al. Compatible remediation on vulnerabilities from third-party libraries for java projects
Nokhbeh Zaeem et al. History-aware data structure repair using SAT
CN112231212A (zh) 一种检测程序代码语法错误的方法
CN110286912B (zh) 代码检测方法、装置及电子设备
CN111966578A (zh) 一种安卓兼容性缺陷修复效果的自动化评估方法
Jayasuriya et al. Understanding Breaking Changes in the Wild
CN111222141A (zh) 一种汽车电控单元代码漏洞分析方法和系统
Ufuktepe et al. Tracking code bug fix ripple effects based on change patterns using markov chain models
CN116028495A (zh) 智能合约的检测方法及装置
CN113836023B (zh) 一种基于体系结构交叉检查的编译器安全性测试方法
CN115098355A (zh) 基于历史数据驱动的jvm测试程序生成方法
CN113849814A (zh) 一种可配置系统漏洞复现系统以及复现方法
CN112631944A (zh) 基于抽象语法树的源码检测方法及装置、计算机存储介质
Xiao et al. Performing high efficiency source code static analysis with intelligent extensions
CN117235746B (zh) 一种基于多维ast融合检测的源代码安全管控平台
Eng et al. Identifying defect-inducing changes in visual code
Zhang et al. Are the Scala Checks Effective? Evaluating Checks with Real-world Projects
Zhang et al. ExcePy: A Python Benchmark for Bugs with Python Built-in Types

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
GR01 Patent grant
GR01 Patent grant