Static analysis method and system based on symbolic function abstracts

A technology of function summary and static analysis, applied in software testing/debugging, etc., can solve the problems of insufficient analysis accuracy and analysis efficiency

Active Publication Date: 2014-04-23
BEIJING UNIV OF POSTS & TELECOMM
View PDF3 Cites 7 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The current inter-procedural static analysis methods include: process inlining, recording function call string, function summary, etc. Among them, the static analysis method based on function summary can realize the sensitive

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
  • Static analysis method and system based on symbolic function abstracts
  • Static analysis method and system based on symbolic function abstracts
  • Static analysis method and system based on symbolic function abstracts

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0066] The embodiment of the present invention provides a static analysis method based on symbolic function summary, such as figure 1 As shown, the method includes:

[0067] Step 10: Using the RSTVL model, describe the storage state of the variables of the nodes in the control flow graph of the current function;

[0068] In the embodiment of the present invention, the quaternion model of RSTVL is used to describe the storage state of the variable. For details, please refer to the description of the subsequent technical solutions.

[0069] Step 11: When it is determined that the current node of the function is not the last node of the current function and there is a function call in the current node, instantiate the function summary of the function called by the current function, and update the function call in the current function of the variables.

[0070] Here, the variable affected by the function call can be regarded as the variable affected by the side effect of the fun...

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 static analysis method based on symbolic function abstracts. The method includes the steps that an RSTVL model is utilized to describe the storage state of variables of nodes of a control flow diagram of a current function; when the current node of the function is determined as a non-final node and functions which can be called exist in the current node, the function abstracts of the functions called by the current function are instantiated, and variables affected by call of the functions and in the current function are updated; when the current node of the function is determined as a final node and the current function has a function return value, a symbol expression of the function return value is acquired, the variables of which the storage state changes are found out, and symbol expressions of the variables of which the storage state changes are acquired; the symbol expressions of the function return value and the symbol expressions of external variables in the variables of which the storage state changes are added to the function abstracts of the current function. The invention further discloses a static analysis system based on the symbolic function abstracts. By the adoption of the technical scheme, static analysis accuracy and efficiency can be effectively improved.

Description

technical field [0001] The invention relates to a static analysis technology, in particular to a static analysis method and system based on a symbolized function summary. Background technique [0002] By testing the software program, the shortcomings and defects of the program itself can be found. Among them, software testing methods include: static analysis and dynamic analysis methods. [0003] The static analysis method is also called static testing, which refers to not actually running the software under test, but scanning the source program to find out the abnormal structure, abnormal control flow and abnormal data flow of the program. It can be seen that static testing of programs is an important part of ensuring software quality. At the same time, the static analysis method is favored due to its advantages of low cost, simple implementation, and coverage of all paths. [0004] Analysis accuracy and analysis efficiency are two important indicators for evaluating sta...

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/36
Inventor 宫云战金大海黄俊飞王雅文董玉坤
Owner BEIJING UNIV OF POSTS & TELECOMM
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap