嵌入式软件堆栈溢出的静态测试方法研究

摘要

随着计算机技术的飞速发展,嵌入式系统不仅在人们日常生活中应用越来越广泛,同时在一些高端领域如航空、军事相关的控制领域发挥着日益关键的作用,相关领域对嵌入式软件的安全性、稳定性要求也不断提高。C语言作为嵌入式软件中采用最广的编程语言,却存在着很多安全隐患,对C语言编写的嵌入式软件的安全性测试已经成为十分重要的一环。
　　 本文针对嵌入式软件白盒测试中的一个方面——静态分析,研究了目前国内外的方向及常用的几款自动化测试工具,结合C语言中的安全隐患,特别是堆栈溢出隐患,提出一套基于汇编代码的静态自动化测试方案,并设计实现了一款堆栈溢出静态测试软件。该软件功能专一,效率较高,且源代码可见,在堆栈溢出测试中可以替代人工劳动,能够提高静态测试效率,在高安全性高可靠性领域的嵌入式软件评测中具有一定的实践应用价值。