Software dynamic behavior modeling method and device based on control flow analysis

A control flow and dynamic technology, applied in software indicators, software design, software maintenance/management, etc., can solve problems such as state explosion and fine-grained analysis of software behavior, so as to improve predictability, reduce the problem of state space explosion, guarantee Effects of Atomicity and Diversity of Business Functions

Active Publication Date: 2018-10-09
BEIJING INSTITUTE OF TECHNOLOGYGY +1
View PDF6 Cites 10 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the existing methods lack the analysis of the control flow between functions in the software system and the analysis of the statistical characteristics of dynamic behavior; and the establishment of state diagrams from the code level and other analysis methods can easily lead to the problem of state explosion, and there are drawbacks in the granularity of software behavior 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
  • Software dynamic behavior modeling method and device based on control flow analysis
  • Software dynamic behavior modeling method and device based on control flow analysis
  • Software dynamic behavior modeling method and device based on control flow analysis

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0069] The present invention provides a software dynamic behavior modeling method based on control flow analysis. The basic idea is to track the function execution trajectory of the software dynamic execution process, consider the behavior characteristics of the software from the perspective of control flow analysis, and combine the software Statistical characteristics of behavior to establish software dynamic behavior analysis model. Compared with other inventions mentioned above, firstly, the control flow analysis is carried out on the software dynamic call sequence, and the software behavior control structure is identified; secondly, the control relationship is measured by combining the software call logic relationship and the software call statistical data, and a complex network is established. The multi-label software dynamic call network model can express and measure software behavior more comprehensively and scientifically.

[0070] The present invention will be describ...

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 software dynamic behavior modeling method and a software dynamic behavior modeling device based on control flow analysis. This method traces the function execution trajectoryof software dynamic execution process, establishes a software dynamic behavior sequence database described by function execution; analyzes the software dynamic behavior sequence, extracts the function call logic relation and the function call statistics to form function call control flow information; and abstract the software system into a multi-label dynamic software behavior network model according to the function call control flow information. From the angle of control flow analysis and statistics, combined with the theory method of complex network, the dynamic calling relation of the software function is analyzed in a more comprehensive and detailed way and the software behavior can be expressed and measured in a more comprehensive and scientific way.

Description

technical field [0001] The invention relates to the technical field of software dynamic behavior security analysis, in particular to a software dynamic behavior modeling method and device based on control flow analysis. Background technique [0002] With the increasing complexity of software function requirements, the organizational structure and internal control relationship of software systems are becoming more and more complicated, and software quality, reliability and security are becoming more and more difficult to control. Software security is a core issue in the field of information security. Malicious attacks often use loopholes in software systems to steal data and even destroy resources. In addition, the increasingly large software system leads to inevitable defects in software design, which makes the software system often malfunction or even fail. Therefore, the trusted software technology to ensure the safe and reliable operation of software systems has become a...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F8/20G06F8/77
CPCG06F8/20G06F8/77
Inventor 胡昌振任家东何洪豆赵谷雨赵小林单纯
Owner BEIJING INSTITUTE OF TECHNOLOGYGY
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