Embedded software stack overflow detection method and device

Abstract

The invention discloses an embedded software stack overflow detection method and a device. The method includes steps of classifying a random memory space of a processor to be a stack zone, a stack overflow buffer zone and a global variable zone through a chained file; defining a stack overflow buffer array at the stack overflow buffer zone; electrifying the processor and starting a timer; readingdata of the stack overflow buffer zone and the stack zone in an interrupted service procedure of the timer, and calculating the maximum stack usage amount; judging if the maximum stack usage amount ismore than the dimension of the stack zone; if it is, judging it is stack overflow; storing the information of overflowed upper and lower texts in the stack overflow buffer array; judging if the maximum stack usage amount is less than or equal to the preset threshold value; if it is, judging the stack overflow position according to the stack overflow buffer array. Through arranging the stack overflow buffer zone, the shallow stack overflow cannot cause the abnormal running of the system, and developers can be assisted to perform the procedure revision.

Description

technical field [0001] The invention is mainly applied in the field of software testing, and is specifically an embedded software stack overflow detection method and device. Background technique [0002] Embedded systems for specific applications generally select MCUs with moderate specifications according to actual needs, and use C language for software development. In the address space of the MCU, RAM is a continuous allocation of linear space, and global variables, heap (Heap), and stack (Stack) are all allocated in this limited linear space. According to actual needs, the embedded system may also use FLASH A section of the code is relocated to run in a section of RAM space to speed up the running speed of the program and improve the real-time performance of the system. But due to limited RAM resources, it is impossible to allocate too large a size for the stack. The stack size setting is too small, the local variable size definition is too large, the interrupt priority...

AI Technical Summary

Problems solved by technology

However, we cannot know the stack usage of the C standard library functions and the corresponding runtime library functions such as multiplication and division of large-valued integers, floating-point operations, etc. The data obtained by this static analysis method is not perfect, and this method depends on the specific application and source program implementation, lack of versatility

[0004] Patent document CN201610080939.2 discloses a method suitable for deep detection of multi-task software process stack usage, which triggers the software under test to perform the maximum running path test, and judges the stack usage through the change of the initialization value of the task stack area. This method needs to be developed The maximum operating path can only be determined by personnel analyzing the software under test. At the same time, the software under test is triggered to execute the maximum operating path through special instructions, which violates the normal use process of the product, and ignores the consumption of the stack by interrupts, which cannot reflect the real stack usage.

Images