Interprocedural static slice extracting method based on idUCf quinary structure
An extraction method and inter-procedural technology, applied in the field of inter-procedural static slice extraction based on the idUCf five-element structure, can solve the problems of large computer time and space and low efficiency of slice extraction, reduce time and space complexity, and avoid calculation Effect
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0027] The following specific examples further illustrate the present invention.
[0028] The present invention provides a method for extracting inter-procedural static slices based on the idUCf five-element structure. The static slice is a set composed of some statements and control predicates in the program. It includes all the statements that may affect the variable of interest, and considers all the statements in the program. possible execution paths. According to the different slicing directions, it can be divided into forward slicing and backward slicing. Forward slicing refers to the collection of all statements affected by the value of the variable of interest; backward slicing refers to the collection of all statements in the program that can affect the value of the variable of interest. This article describes backward slicing.
[0029] The present invention provides a method for extracting static slices between processes based on the idUCf five-element structure, c...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
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