Memory access abnormity detecting method and memory access abnormity detecting device

Abstract

The invention discloses a memory access abnormity detecting method and a memory access abnormity detecting device. The memory access abnormity detecting method comprises the following steps of checking source codes and analyzing the morphology, the grammar and the semanteme of the source codes to generate a control flow diagram, a data dependence diagram, a first list file and a second list file; establishing a global function invocation diagram of the source codes according to the control flow diagram; performing matching detection on dynamic memory allocation of the source codes according to the global function invocation diagram, the second list file and the data dependence diagram; and establishing a virtual executing platform; and extracting an executing path according to the first list file, the control flow diagram and the data dependence diagram so as to detect memory leakage caused by dynamic memory allocation and memory access violation during running of a program. Memory access abnormity in the source codes can be sufficiently dug by analyzing the first list file, the second list file, the control flow diagram, the data dependence diagram and the global function invocation diagram, establishing the virtual executing platform and extracting the executing path, and the memory access abnormity can be detected efficiently.

Description

technical field [0001] The present application relates to the field of compiling technology, in particular to a method and device for detecting memory access exceptions. Background technique [0002] Memory access exceptions usually manifest as memory leaks caused by dynamic memory allocation, and memory access out-of-bounds when the program is running. Specifically, a memory leak means that the program uses functions such as malloc to dynamically apply for memory space from the operating system at runtime. Because the program temporarily exits or the programmer does not call the free function in the source code to release it, the process occupies memory resources for a long time. Out-of-bounds memory access refers to out-of-bounds access due to abnormal program calculations, irregular code writing, or illegal tampering of memory. These problems may lead to difficult-to-predict results during the running of the program. Therefore, how to detect and judge possible loopholes ...

AI Technical Summary

Problems solved by technology

However, when the program is running, it needs to search the first and last glyphs every time the memory is accessed, and judge whether it is out of bounds, which will seriously affect the execution performance of the program. In addition, the existing technology cannot handle the stack overflow scenario

[0005] It can be seen that the existing technology cannot accurately and efficiently detect the problem of abnormal memory access

Images