The Static function call graph construction method suitable for virtual function and function pointermethod is suitable for constructing static function call graph of virtual function and function pointer

Abstract

The invention discloses a static function call graph construction method suitable for a virtual function and a function pointer. The static function call graph construction method comprises the following steps: 1, obtaining an intermediate code of a source program; 2, obtaining key information in the intermediate code, wherein the key information comprises a basic block sequence queue and virtualfunction related information; 3, performing simulation execution on the intermediate code based on the key information, analyzing an actual function called by a function calling instruction in the intermediate code, and recording a function calling relation; and 4, constructing a static function call graph according to the function call relationship. According to the method, the virtual function,the function pointer calling and the thread creation relationship can be comprehensively analyzed, and the complex function pointer calling can be accurately analyzed, so that program developers can be better helped to understand programs, and meanwhile, the accuracy of a static analysis method depending on a function calling graph is improved.

Description

technical field [0001] The invention relates to the technical field of computer software, in particular to a method for constructing a static function call graph suitable for virtual functions and function pointers. Background technique [0002] As the size and complexity of modern software systems continue to increase, function call graphs are receiving increasing attention. On the one hand, the function call graph can help software developers analyze the code structure and clarify the code logic. On the other hand, function call graphs are widely used in the field of program static analysis. For example, function call graphs can be used to detect and eliminate dead code in programs. The function call graph can also be combined with the control flow graph to form an inter-process control flow graph, which is the basis of flow-sensitive algorithms such as vulnerability detection and security analysis in program static analysis. A complete and accurate function call graph ...

AI Technical Summary

Problems solved by technology

[0004] At present, many methods for constructing static function call graphs have emerged, but there are still many problems in the existing static analysis methods, mainly including: 1. At present, there is no static analysis method that can fully extract functions such as virtual functions and function pointers call relationship

2. Existing methods cannot accurately analyze the function pointer call relationship

3. For programs that use multi-threaded programming, there is currently no way to statically extract the parent-child relationship between threads. The context information of thread functions is all lost in static analysis, which leads to deadlocks, data competition, false sharing, etc. in multi-threaded programming. The static detection accuracy of the problem is not high

Images