Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

C + + interprocess anomaly analysis system and method based on high-order function

A high-order function and analysis method technology, applied in the field of functional programming and program analysis, can solve the problem of low efficiency of abnormal analysis, achieve the effect of improving reliability and robustness, and improving analysis efficiency

Pending Publication Date: 2022-06-21
NANJING UNIV OF POSTS & TELECOMM
View PDF0 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The purpose of the present invention is to overcome the deficiencies in the prior art, to provide a C++ inter-procedural exception analysis system and method based on high-order functions, which reduces the time and space for the traditional method to construct an inter-procedural exception control flow graph for abnormal inter-procedural analysis overhead, which solves the problem of low efficiency of exception analysis

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • C + + interprocess anomaly analysis system and method based on high-order function
  • C + + interprocess anomaly analysis system and method based on high-order function
  • C + + interprocess anomaly analysis system and method based on high-order function

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0046] A C++ interprocedural exception analysis method based on higher-order functions, comprising the following steps:

[0047] Step 1: Determine the analysis order of each called sub-procedure, and classify the statements in the program;

[0048] Step 2: Collect the set constraints of the exception-related statements and function calling statements of each called subprocess, solve the set constraints according to the set constraint rules, obtain the abnormal analysis information in the process, and use the form of higher-order functions to convert all the called subprocesses. The exception analysis information (the unique identifier of the exception, the exception name, the propagation path of the uncaught exception) is saved as function summary information.

[0049] Step 3: According to the parameter transmission method of the function, according to the parameter information (parameter type and parameter name) corresponding to the formal parameters and actual parameters, at...

Embodiment 2

[0103] A C++ interprocedural exception analysis system based on higher-order functions, which can implement the C++ interprocedural exception analysis method based on higher-order functions described in Embodiment 1, including:

[0104] Classification module: used to determine the analysis order of each called sub-procedure in the procedure call graph, and classify the statements in the C++ program;

[0105] Set constraint collection and solution module: It is used to collect the set constraints of the exception-related statements and function call statements of each called sub-process, solve the set constraints according to the set constraint rules, and obtain the abnormal analysis information in the process through the form of higher-order functions. Save the exception analysis results of all called subroutines as the exception analysis function summary;

[0106] Result acquisition module: It is used to substitute the parameter set information of the higher-order functional ...

Embodiment 3

[0108] The embodiment of the present invention also provides a high-order function-based C++ interprocedural exception analysis device, which can implement the high-order function-based C++ interprocedural exception analysis method described in Embodiment 1, including a processor and a storage medium;

[0109] the storage medium is used for storing instructions;

[0110] The processor is configured to operate in accordance with the instructions to perform the steps of the following methods:

[0111] Determine the analysis order of each called sub-procedure in the procedure call graph, and classify the statements in the C++ program;

[0112] Collect the set constraints of the exception-related statements and function call statements of each called subprocess, solve the set constraints according to the set constraint rules, and obtain the exception analysis information in the process. The results are saved as anomaly analysis function summaries;

[0113] According to the param...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a C + + interprocess anomaly analysis system and method based on a high-order function in the technical field of functional programming and program analysis, and the method comprises the steps: determining an analysis sequence of each called sub-process in a process call graph, and classifying statements in a C + + program; collecting set constraints of exception related statements and function call statements of each called sub-process, solving the set constraints according to a set constraint rule, and storing exception analysis results of all the called sub-processes as an exception analysis function abstract in a high-order function form after obtaining exception analysis information in the process; and correspondingly substituting parameter set information of the high-order functional expression anomaly analysis function abstract at a process calling point according to a parameter transmission mode of the function and parameter information corresponding to the formal parameter and the actual parameter. According to the method, the space-time overhead of performing interprocess analysis on the exceptions by constructing an interprocess exception control flow diagram in a traditional method is reduced, and the problem that the exception analysis efficiency is relatively low is solved.

Description

technical field [0001] The invention relates to a C++ interprocedural exception analysis system and method based on high-order functions, and belongs to the technical field of functional programming and program analysis. Background technique [0002] With the continuous increase of software scale, people's requirements for software quality are getting higher and higher. In order to improve the robustness of software system, it becomes more and more important to analyze the exceptions in the program quickly and effectively. The main problem of traditional inter-procedural exception analysis is how to quickly find an exception handler that matches the thrown exception when a procedure call occurs, troubleshoot the truly uncaught exception in the program, and feed back its related information (such as The unique identifier of the exception, the exception name, the propagation path of the uncaught exception). Most of the current mainstream inter-process exception analysis metho...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F11/36G06F9/48G06F16/35
CPCG06F11/3608G06F9/4881G06F16/35
Inventor 张迎周葛丽丽帅东昕密杰杨嘉毅卢跃许碧欢
Owner NANJING UNIV OF POSTS & TELECOMM
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com