A static detection method for state-related defects in a large-scale system
A static detection, large-scale technology, applied in high-performance computing cross-technical applications, software engineering, and computer system fields, can solve problems such as difficult-to-detect state-related defects, exception handling errors, type state errors, etc., to reduce repeated access and Calculate, improve the effect of accuracy
Active Publication Date: 2019-05-03
NANJING UNIV
View PDF10 Cites 2 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0006] Technical problem: The present invention provides a static detection method for state-related defects in large-scale systems, the purpose of which is to solve the problem that existing technologies are difficult to detect state-related defects in large-scale systems, and can perform limited execution on very large code bases. Accurate and scalable static checking of state properties, efficiently and accurately detecting a variety of errors in large-scale systems, including source-sink problems (such as resource leaks), exception handling errors (such as missing error handling code), or type status related errors (such as inappropriate use of file handlers), etc.
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0036] The present invention will be described in further detail below in conjunction with the accompanying drawings and specific embodiments.
[0037] This embodiment proposes a static detection method for state-related defects in large-scale systems. First, the state-related defects in large-scale systems are abstracted into a form represented by a finite state machine. Secondly, the Interprocedural Control Flow Execution Tree (ICFET) is generated based on the symbolic execution technique, and a new interval-based path encoding / decoding algorithm is proposed to represent path constraints. Then, context-sensitive and path-sensitive alias analysis and data flow analysis are performed based on ICFET. Finally, according to the program graph generated by ICFET and alias analysis and data flow analysis, a graphics engine based on a hard disk is used to perform constraint-based graph reachability calculations to effectively detect State-related flaws in large-scale systems. attach...
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
Login to View More Abstract
The invention relates to a static detection method for state-related defects in a large-scale system. The static detection method comprises the following steps: firstly, abstracting the state-relateddefects in the large-scale system into a form represented by a finite state machine; secondly, generating an inter-process control flow execution tree (ICFET) based on a symbol execution technology, and proposing a new interval-based path encoding / decoding algorithm to represent path constraints; based on the ICFET, alias analysis and data flow analysis are then performed in a context-sensitive and path-sensitive manner, tracking the flow of each object of each specified type to identify a sequence of events that may occur on the object. And finally, generating a program diagram according to the ICFET and alias analysis and data flow analysis. Constraint-based graph reachability calculation is performed, and if a reachable edge can reach an undefined or erroneous state in a finite state machine, there is an event sequence of undefined or erroneous states that can drive an object or group of objects to a specification, generating an erroneous report.
Description
technical field [0001] The invention relates to a static detection method for state-related defects in large-scale systems, and belongs to the application fields of software engineering, computer systems, and high-performance computing intersecting technologies. Background technique [0002] Large-scale software systems, including operating systems, web browsers, databases, database processing engines, etc., constitute the backbone of modern computing. Since these systems are widely used in various fields, ensuring their reliability is of paramount importance. Despite continuous efforts by industry and academia to make these systems more reliable, errors still occur frequently in large-scale software systems. [0003] A common type of error in large-scale software systems is state-dependent: after a finite sequence of events has occurred to an object of interest, an error occurs that drives the object into a wrong state. Examples include acquiring locks that are not releas...
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
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
Inventor 左志强潘秋红陆申明王乙飞王林章李宣东
Owner NANJING UNIV