A Static Method for Stack Overflow Detection Based on SPARC V8 Architecture

Abstract

With the rapid development of Space technology, on-board software plays a more and more important role in the spacecraft. Stack is an important storage resource for on-board software. If the allocation space of stack is not enough, it may cause stack overflow and software crash. Based on SPARC V8 architecture, this paper introduces a static method for detection of stack overflow. This method does not need to run the on-board software dynamically or design complex test cases. By directly analyzing assembly file generated by the compiler, the stack usage space and the call relationship of functions can be obtained. Taking the entry function of each task as the starting point of stack depth analysis, the function call path is traversed by the stack data structure, and the maximum stack depth of each task is finally calculated. An instance of a task stack detection shows that by analyzing the static assembly file, the maximum depth of stack can be obtained directly, the risk of stack overflow can be avoided, and the reliability and security of on-board software can be improved.