SIL4 stack detection method suitable for general operating system

Abstract

The invention discloses an SIL4 stack detection method suitable for a general operating system, which comprises the following steps: S1, when a security program runs, enabling an entry function main to declarate a stack protection section StackGuard 1 array; step S2, calling a function Finit by the main; the Finit being used for internally declaring a stack space Stack array and a stack protection section StackGuard 2 array which are maximally used by the whole security program; s3, according to the starting position and the ending position of the same stack array, judging whether the operation environment grows upwards or downwards on the stack by using an address; s4, sorting according to the size of the stack array, writing a stack space used by the security program into a specific value by a main function, and performing memory detection on the whole stack array; step S5, after the detection is finished, periodically calling a security service program Fsafety and a stack detection algorithm Fcheck; and step S6, enabling a stack detection algorithm Fcheck to detect a stack space used by the security program. The stack detection method is high in universality and dynamically adapts to various CPUs, operating systems and compilers, and therefore SIL4-level stack memory detection is achieved.

Description

technical field [0001] The invention relates to the technical field of computer data structures, and in particular relates to a method for detecting a SIL4 stack applicable to a general operating system. Background technique [0002] As a data structure, a stack is a special linear table that can only perform insertion and deletion operations at one end. It stores data according to the principle of last-in-first-out. The data that enters first is pushed to the bottom of the stack, and the last data is on the top of the stack. When data needs to be read, data is popped from the top of the stack, and the last data is read out first. The stack has a memory function, and there is no need to change the bottom pointer of the stack during the insertion and deletion operations of the stack; some embedded operating systems provide the function of fixed stack space size and stack detection, and stack overflow is an important detection item of stack detection. Stack overflow is becaus...

AI Technical Summary

Problems solved by technology

The stack has a memory function, and there is no need to change the bottom pointer of the stack during the insertion and deletion operations of the stack; some embedded operating systems provide the function of fixed stack space size and stack detection, and stack overflow is an important detection item of stack detection. Stack overflow is because the C language series does not have a built-in check mechanism to ensure that the data copied to the buffer is not larger than the size of the buffer, so when the data is large enough, it will overflow the range of the buffer; when the system is abnormal, there is no The interface notifies the SIL4 safety program; for closed-source operating systems, it is impossible to perceive whether its processing meets the SIL4 requirements; other operating systems have no stack detection function, and can allocate as many stacks as they want with sufficient resources, but SIL4 security The program cannot perceive whether the stack is out of bounds and other exceptions

Images