CN107729240B - 嵌入式软件堆栈溢出检测方法和装置 - Google Patents

嵌入式软件堆栈溢出检测方法和装置 Download PDF

Info

Publication number
CN107729240B
CN107729240B CN201710937905.5A CN201710937905A CN107729240B CN 107729240 B CN107729240 B CN 107729240B CN 201710937905 A CN201710937905 A CN 201710937905A CN 107729240 B CN107729240 B CN 107729240B
Authority
CN
China
Prior art keywords
stack
size
area
overflow buffer
stack overflow
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201710937905.5A
Other languages
English (en)
Other versions
CN107729240A (zh
Inventor
马建辉
王知学
侯冬冬
胡代荣
孙常青
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Institute of Automation Shandong Academy of Sciences
Original Assignee
Institute of Automation Shandong Academy of Sciences
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Institute of Automation Shandong Academy of Sciences filed Critical Institute of Automation Shandong Academy of Sciences
Priority to CN201710937905.5A priority Critical patent/CN107729240B/zh
Publication of CN107729240A publication Critical patent/CN107729240A/zh
Application granted granted Critical
Publication of CN107729240B publication Critical patent/CN107729240B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/362Software debugging
    • G06F11/366Software debugging using diagnostics

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Executing Machine-Instructions (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明公开了一种嵌入式软件堆栈溢出检测方法和装置,所述方法包括:通过链接文件将处理器随机存储器空间划分为堆栈区、堆栈溢出缓冲区和全局变量区;并在所述堆栈溢出缓冲区定义一个堆栈溢出缓冲数组;处理器上电,开启定时器;在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出;将溢出的上下文信息存入所述堆栈溢出缓冲数组;判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置。本发明通过设置堆栈溢出缓冲区,保证了浅度堆栈溢出不会造成系统运行异常,并且可以辅助开发人员进行程序修正。

Description

嵌入式软件堆栈溢出检测方法和装置
技术领域
本发明主要应用于软件测试领域,具体为一种嵌入式软件堆栈溢出检测方法和装置。
背景技术
面向特定应用的嵌入式系统一般会根据实际需求选择规格适中的MCU,采用C语言进行软件开发。在MCU的地址空间中,RAM是一段连续分配的线性空间,全局变量、堆(Heap)、堆栈(Stack)都分配在这段有限的线性空间内,根据实际需要,嵌入式系统还可能把FLASH中一段代码重定位到一段RAM空间内运行,以加快程序运行速度,提高系统实时性。但由于RAM资源有限,不可能为堆栈分配太大的尺寸。堆栈尺寸设置过小、局部变量尺寸定义过大、中断优先级设置不合理、中断服务程序过长导致中断嵌套、递归调用、函数调用层次过深等程序设计不当之处都可能导致堆栈溢出。堆栈溢出会改变临近堆栈的RAM空间中的内容,临近堆栈的RAM空间的数据变化也会改变堆栈内容,从而造成程序运行异常,发生故障甚至导致重大事故。
为了确定堆栈空间的尺寸,需要根据源程序中每个函数的局部变量大小确定每个函数的堆栈使用量,然后根据编译器生成的函数调用列表为每个函数建立调用树,检查每棵调用树,确定从树根到树叶的调用路径的堆栈使用量,从中选出最大堆栈使用量,同时,还要仔细分析系统用到的所有中断,确定中断服务程序的堆栈使用量。但是,我们无法得知C标准库函数以及大值整数的乘除、浮点运算等对应的运行库函数的堆栈使用量,这种静态分析方式得到的数据并不完善,而且这种方式依赖于具体的应用和源程序实现方式,缺乏通用性。
专利文献CN201610080939.2公开了一种适用于多任务软件进程堆栈使用深度检测的方法,触发被测软件执行最大运行路径测试,通过任务堆栈区初始化值的变化判断堆栈使用量,这种方式需要开发人员分析被测软件,才能确定出最大运行路径,同时通过专用指令触发被测软件执行最大运行路径,违反了产品正常的使用过程,而且忽略了中断对堆栈的消耗,不能反映真实的堆栈使用情况。
如何在不影响软件正常运行的情况下检测堆栈使用情况,保证发生溢出时进行及时应对,仍是目前需要本领域技术人员迫切解决的一个技术问题。
发明内容
为了解决上述问题,本发明提供了一种嵌入式软件堆栈溢出检测方法,设置一堆栈溢出缓冲区,隔离堆栈和全局变量分区,在不影响系统正常运行的情况下,在不受堆栈溢出影响的定时器中断服务程序中,周期检测堆栈使用量,将最大堆栈使用量和系统发生堆栈溢出后的部分上下文数据存入非易失性存储器,并通过控制LED提示堆栈溢出情况。系统在实际环境中运行一段时间后,通过查看LED状态以及读取非易失性存储器中的数据,便可以判断堆栈使用情况,通过保存的溢出上下文数据分析程序异常位置,从而调整堆栈尺寸或者调整程序设计,以提高系统运行的稳定性。
为了实现上述目的,本发明采用如下技术方案:
一种嵌入式软件堆栈溢出检测方法,包括以下步骤:
步骤1:通过链接文件将处理器随机存储器空间划分为堆栈区、堆栈溢出缓冲区和全局变量区;并在所述堆栈溢出缓冲区定义一个堆栈溢出缓冲数组;
步骤2:处理器上电,开启定时器;
步骤3:在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;
步骤4:判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出,进入下一步;若否,返回步骤3;
步骤5:将溢出的上下文信息存入所述堆栈溢出缓冲数组;
步骤6:判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置。
所述步骤1中划分随机存储器空间的方法为:按从顶部到底部的顺序,将随机存储器空间划分为依次相邻的堆栈区、堆栈溢出缓冲区和全局变量区;尺寸关系为:
RAM_SIZE>=STACK_SIZE+STACK_BUF+APP_RAM_SIZE
RAM_SIZE为随机存储器尺寸,STACK_SIZE为堆栈区尺寸,STACK_BUF为堆栈溢出缓冲区尺寸,APP_RAM_SIZE为全局变量区尺寸。
所述步骤2还包括初始化堆栈指针位置、堆栈区数据和堆栈溢出缓冲数组,并初始化最大堆栈使用量为0。
所述步骤3具体包括:
步骤3.1:在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算当前堆栈使用量;
步骤3.2:判断当前堆栈使用量是否大于最大堆栈使用量,若是,将所述当前堆栈使用量赋值给最大堆栈使用量,若否,返回步骤3.1。
所述步骤3.1中当前堆栈使用量计算方法为:
当前堆栈使用量=STACK_SIZE+STACK_BUF-Read_times
所述步骤6具体包括:
步骤6.1:判断所述最大堆栈使用量是否小于或等于预设阈值:如果小于,点亮LED进行提示;如果等于,闪烁LED灯进行提示;
步骤6.2:检查LED状态,如果为点亮或者闪烁,读取最大堆栈使用量和堆栈溢出缓冲数组,根据所述堆栈溢出缓冲数组中的数据判断堆栈溢出位置。
其中,所述预设阈值为堆栈区尺寸+堆栈溢出缓冲区尺寸。
所述方法还包括步骤7:修改程序设计或者增加堆栈空间的尺寸,然后返回步骤1判断能否满足要求。
根据本发明的第二目的,本发明提供了一种计算机装置,用于嵌入式软件堆栈溢出检测,包括随机存储器、处理器及存储在随机存储器上并可在处理器上运行的计算机程序,所述处理器执行所述程序时实现以下步骤,包括:
接收用户对处理器随机存储器的空间划分,所述空间划分将随机存储器划分为堆栈区、堆栈溢出缓冲区和全局变量区,并接收在堆栈溢出缓冲区上设置的堆栈溢出缓冲区数组;
接收上电指令,开启定时器;
在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;
判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出,进入下一步;若否,继续计算最大堆栈使用量;
将溢出的上下文信息存入所述堆栈溢出缓冲数组;
判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置。
根据本发明的第三目的,本发明提供了一种计算机可读存储介质,其上存储有嵌入式软件堆栈溢出检测的计算机程序,该程序被处理器执行时实现以下步骤:
接收用户对处理器随机存储器的空间划分,所述空间划分将随机存储器划分为堆栈区、堆栈溢出缓冲区和全局变量区,并接收在堆栈溢出缓冲区上设置的堆栈溢出缓冲区数组;
接收上电指令,开启定时器;
在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;
判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出,进入下一步;若否,继续计算最大堆栈使用量;
将溢出的上下文信息存入所述堆栈溢出缓冲数组;
判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置。
本发明的有益效果:
(1)本发明的堆栈检测不影响软件的正常运行,在软件运行过程中实时检测堆栈使用情况。
(2)本发明堆栈溢出及使用量检测函数位于定时器中断服务程序中,即使发生堆栈溢出,MCU也会响应定时器中断,会执行堆栈检测函数。
(3)本发明设置了堆栈缓冲溢出区,隔离堆栈和全局变量分区,浅度的堆栈溢出不会影响全局变量,不会造成系统运行异常。
(4)本发明在堆栈溢出后,将关键的上下文数据存放在堆栈溢出缓冲区,将堆栈溢出缓冲区数据存入非易失性存储器,可以帮助开发人员判断溢出原因,检查程序缺陷。
附图说明
构成本申请的一部分的说明书附图用来提供对本申请的进一步理解,本申请的示意性实施例及其说明用于解释本申请,并不构成对本申请的不当限定。
图1为本发明的RAM空间划分示意图。
图2为本发明的堆栈溢出及使用量检测方法流程图。
具体实施方式
下面结合附图与实施例对本发明作进一步说明。
应该指出,以下详细说明都是例示性的,旨在对本申请提供进一步的说明。除非另有指明,本文使用的所有技术和科学术语具有与本申请所属技术领域的普通技术人员通常理解的相同含义。
需要注意的是,这里所使用的术语仅是为了描述具体实施方式,而非意图限制根据本申请的示例性实施方式。如在这里所使用的,除非上下文另外明确指出,否则单数形式也意图包括复数形式,此外,还应当理解的是,当在本说明书中使用术语“包含”和/或“包括”时,其指明存在特征、步骤、操作、器件、组件和/或它们的组合。
在不冲突的情况下,本申请中的实施例及实施例中的特征可以相互组合。
实施例一
本实施例提供了一种嵌入式软件堆栈溢出检测方法,如图1所示,包括以下步骤:
步骤1:通过链接文件将处理器随机存储器空间划分为堆栈区、堆栈溢出缓冲区和全局变量区;并在所述堆栈溢出缓冲区定义一个堆栈溢出缓冲数组;
步骤2:处理器上电,开启定时器;
步骤3:在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;
步骤4:判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出,进入下一步;若否,返回步骤3;
步骤5:将溢出的上下文信息存入所述堆栈溢出缓冲数组;
步骤6:判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置。
所述步骤1中划分随机存储器空间的方法为:按从顶部到底部的顺序,将随机存储器空间划分为依次相邻的堆栈区、堆栈溢出缓冲区和全局变量区;尺寸关系为:
RAM_SIZE>=STACK_SIZE+STACK_BUF+APP_RAM_SIZE
RAM_SIZE为随机存储器尺寸,STACK_SIZE为堆栈区尺寸,STACK_BUF为堆栈溢出缓冲区尺寸,APP_RAM_SIZE为全局变量区尺寸。
所述步骤2还包括初始化堆栈指针位置、堆栈区数据和堆栈溢出缓冲数组,并初始化最大堆栈使用量为0。
所述步骤3具体包括:
步骤3.1:在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算当前堆栈使用量;
步骤3.2:判断当前堆栈使用量是否大于最大堆栈使用量,若是,将所述当前堆栈使用量赋值给最大堆栈使用量,若否,返回步骤3.1。
所述步骤3.1中当前堆栈使用量计算方法为:
当前堆栈使用量=STACK_SIZE+STACK_BUF-Read_times
优选地,STACK_BUF为100字节。
所述步骤6具体包括:
步骤6.1:判断所述最大堆栈使用量是否小于或等于预设阈值:如果小于,点亮LED进行提示;如果等于,闪烁LED灯进行提示;
步骤6.2:检查LED状态,如果为点亮或者闪烁,读取最大堆栈使用量和堆栈溢出缓冲数组,根据所述堆栈溢出缓冲数组中的数据判断堆栈溢出位置。
其中,所述预设阈值为堆栈区尺寸+堆栈溢出缓冲区尺寸。
所述方法还包括步骤7:修改程序设计或者增加堆栈空间的尺寸,然后返回步骤1判断能否满足要求。
为了更清楚的阐述本发明,所述嵌入式软件堆栈溢出检测方法具体为:
(1)根据堆栈的生长方向为自上向下增长,按照从顶部到底部的顺序,将RAM空间划分为堆栈区、堆栈溢出缓冲区、全局变量区,根据需要和MCU RAM空间的尺寸,还可能设置代码重定位区。堆栈区尺寸为STACK_SIZE,栈底记为STACK_BOTTOM,设置为MCU RAM空间的最大地址;紧邻堆栈区,设置尺寸为100字节大小的堆栈溢出缓冲区;紧邻堆栈溢出缓冲区,设置尺寸为APP_RAM_SIZE的全局变量区,MCU的RAM尺寸记为RAM_SIZE,STACK_SIZE、APP_RAM_SIZE和RAM_SIZE的关系为:
RAM_SIZE>=STACK_SIZE+100+APP_RAM_SIZE (1)
(2)在堆栈溢出缓冲区定义一个包含100个单字节元素的数组,记为Stack_overflow_buf[100];
(3)MCU上电初始化时,将堆栈指针SP初始化为STACK_BOTTOM,堆栈区数据和数组Stack_overflow_buf全部初始化为0x55,最大堆栈使用量记为Stack_size_max,初始化为0,然后开启一个周期为50ms的定时器。
(4)在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,判断堆栈使用情况。具体方法为:
读取次数记为Read_times,初始化为0,以堆栈溢出缓冲区初始地址为首地址,以堆栈栈底为末地址,循环读取各个RAM地址上的数据,如果读取到的数据等于0x55,读取地址加一,读取次数加一,如果读取到的数据不等于0x55,跳出RAM读取循环。
当前最大堆栈使用量=STACK_SIZE+100-Read_times (2)
(5)如果当前最大堆栈使用量小于或等于Stack_size_max,返回步骤4,否则进入下一步;
(6)将当前最大堆栈使用量赋值给Stack_size_max,存入非易失性存储器,如果Stack_size_max小于或等于STACK_SIZE,返回步骤4,否则,判断为堆栈溢出,进入下一步;
(7)堆栈溢出后,溢出时的一部分上下文信息位于堆栈溢出缓冲区,将数组Stack_overflow_buf作为堆栈溢出上下文数据,存入非易失性存储器;
(8)如果Stack_size_max小于(STACK_ZIZE+100),此时的堆栈溢出不会影响全局变量区,不会造成系统运行异常,点亮LED进行提示。如果Stack_size_max等于(STACK_ZIZE+100),此时的堆栈溢出会影响全局变量区,造成系统运行异常,闪烁LED灯进行提示。
(9)检查LED状态,如果为点亮或者闪烁,通过专用设备(例如开发程序时的仿真器,烧写程序的烧录器),读取存储在非易失性存储器中的最大堆栈使用量和Stack_overflow_buf。根据Stack_overflow_buf数据判断堆栈溢出位置,修改程序设计或者增加堆栈空间的尺寸,然后继续按照步骤1-步骤8的顺序判断修改后的程序或堆栈尺寸能否满足要求。
实施例二
本实施例的目的是提供一种计算机装置。
基于以上目的,本实施例提供了一种计算机装置,用于嵌入式软件堆栈溢出检测,包括随机存储器、处理器及存储在随机存储器上并可在处理器上运行的计算机程序,所述处理器执行所述程序时实现以下步骤,包括:
接收用户对处理器随机存储器的空间划分,所述空间划分将随机存储器划分为堆栈区、堆栈溢出缓冲区和全局变量区,并接收在堆栈溢出缓冲区上设置的堆栈溢出缓冲区数组;
接收上电指令,开启定时器;
在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;
判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出,进入下一步;若否,继续计算最大堆栈使用量;
将溢出的上下文信息存入所述堆栈溢出缓冲数组;
判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置。
实施例三
本实施例的目的是提供一种计算机可读存储介质。
基于以上目的,本实施例提供了一种计算机可读存储介质,其上存储有嵌入式软件堆栈溢出检测的计算机程序,该程序被处理器执行时实现以下步骤:
接收用户对处理器随机存储器的空间划分,所述空间划分将随机存储器划分为堆栈区、堆栈溢出缓冲区和全局变量区,并接收在堆栈溢出缓冲区上设置的堆栈溢出缓冲区数组;
接收上电指令,开启定时器;
在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;
判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出,进入下一步;若否,继续计算最大堆栈使用量;
将溢出的上下文信息存入所述堆栈溢出缓冲数组;
判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置。
以上实施例二的计算机装置和实施例三的计算机可读存储介质,各步骤与方法实施例一相对应,具体实施方式可参见实施例一的相关说明部分。术语“计算机可读存储介质”应该理解为包括一个或多个指令集的单个介质或多个介质;还应当被理解为包括任何介质,所述任何介质能够存储、编码或承载用于由处理器执行的指令集并使处理器执行本发明中的任一方法。
本发明提供的堆栈溢出检测方法中,还检测了堆栈的使用量,且都在定时器中断服务程序中进行,即使发生堆栈溢出,MCU也会响应定时器中断,会执行堆栈检测函数。设置堆栈缓冲溢出区,隔离堆栈和全局变量分区,使得浅度的堆栈溢出不会影响全局变量,不会造成系统运行异常。关键的上下文数据存放在堆栈溢出缓冲区,将堆栈溢出缓冲区数据存入非易失性存储器,可以帮助开发人员判断溢出原因,检查程序缺陷。
本领域技术人员应该明白,上述的本发明的各模块或各步骤可以用通用的计算机装置来实现,可选地,它们可以用计算装置可执行的程序代码来实现,从而,可以将它们存储在存储装置中由计算装置来执行,或者将它们分别制作成各个集成电路模块,或者将它们中的多个模块或步骤制作成单个集成电路模块来实现。本发明不限制于任何特定的硬件和软件的结合。
上述虽然结合附图对本发明的具体实施方式进行了描述,但并非对本发明保护范围的限制,所属领域技术人员应该明白,在本发明的技术方案的基础上,本领域技术人员不需要付出创造性劳动即可做出的各种修改或变形仍在本发明的保护范围以内。

Claims (9)

1.一种嵌入式软件堆栈溢出检测方法,其特征在于,包括以下步骤:
步骤1:通过链接文件将处理器随机存储器空间划分为堆栈区、堆栈溢出缓冲区和全局变量区;并在所述堆栈溢出缓冲区定义一个堆栈溢出缓冲数组;
步骤2:处理器上电,开启定时器;
步骤3:在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;
步骤4:判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出,进入下一步;若否,返回步骤3;
步骤5:将溢出的上下文信息存入所述堆栈溢出缓冲数组;
步骤6:判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置;
所述步骤1中划分随机存储器空间的方法为:按从顶部到底部的顺序,将随机存储器空间划分为依次相邻的堆栈区、堆栈溢出缓冲区和全局变量区;尺寸关系为:
RAM_SIZE>=STACK_SIZE+STACK_BUF+APP_RAM_SIZE,
RAM_SIZE为随机存储器尺寸,STACK_SIZE为堆栈区尺寸,STACK_BUF为堆栈溢出缓冲区尺寸,APP_RAM_SIZE为全局变量区尺寸。
2.如权利要求1所述的一种嵌入式软件堆栈溢出检测方法,其特征在于,所述步骤2还包括初始化堆栈指针位置、堆栈区数据和堆栈溢出缓冲数组,并初始化最大堆栈使用量为0。
3.如权利要求1所述的一种嵌入式软件堆栈溢出检测方法,其特征在于,所述步骤3具体包括:
步骤3.1:在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算当前堆栈使用量;
步骤3.2:判断当前堆栈使用量是否大于最大堆栈使用量,若是,将所述当前堆栈使用量赋值给最大堆栈使用量,若否,返回步骤3.1。
4.如权利要求3所述的一种嵌入式软件堆栈溢出检测方法,其特征在于,所述步骤3.1中当前堆栈使用量计算方法为:
当前堆栈使用量=STACK_SIZE+STACK_BUF-Read_times,
其中,Read_times为读取次数,初始化为0。
5.如权利要求1所述的一种嵌入式软件堆栈溢出检测方法,其特征在于,所述步骤6具体包括:
步骤6.1:判断所述最大堆栈使用量是否小于或等于预设阈值:如果小于,点亮LED进行提示;如果等于,闪烁LED灯进行提示;
步骤6.2:检查LED状态,如果为点亮或者闪烁,读取最大堆栈使用量和堆栈溢出缓冲数组,根据所述堆栈溢出缓冲数组中的数据判断堆栈溢出位置。
6.如权利要求5所述的一种嵌入式软件堆栈溢出检测方法,其特征在于,所述预设阈值为堆栈区尺寸+堆栈溢出缓冲区尺寸。
7.如权利要求1所述的一种嵌入式软件堆栈溢出检测方法,其特征在于,所述方法还包括步骤7:修改程序设计或者增加堆栈空间的尺寸,然后返回步骤1判断能否满足要求。
8.一种计算机装置,用于嵌入式软件堆栈溢出检测,包括随机存储器、处理器及存储在随机存储器上并可在处理器上运行的计算机程序,其特征在于,所述处理器执行所述程序时实现以下步骤,包括:
接收用户对处理器随机存储器的空间划分,所述空间划分将随机存储器划分为堆栈区、堆栈溢出缓冲区和全局变量区,并接收在堆栈溢出缓冲区上设置的堆栈溢出缓冲区数组;
接收上电指令,开启定时器;
在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;
判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出,进入下一步;若否,继续计算最大堆栈使用量;
将溢出的上下文信息存入所述堆栈溢出缓冲数组;
判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置;
所述划分随机存储器空间的方法为:按从顶部到底部的顺序,将随机存储器空间划分为依次相邻的堆栈区、堆栈溢出缓冲区和全局变量区;
尺寸关系为:
RAM_SIZE>=STACK_SIZE+STACK_BUF+APP_RAM_SIZE,
RAM_SIZE为随机存储器尺寸,STACK_SIZE为堆栈区尺寸,STACK_BUF为堆栈溢出缓冲区尺寸,APP_RAM_SIZE为全局变量区尺寸。
9.一种计算机可读存储介质,其上存储有嵌入式软件堆栈溢出检测的计算机程序,其特征在于,该程序被处理器执行时实现以下步骤:
接收用户对处理器随机存储器的空间划分,所述空间划分将随机存储器划分为堆栈区、堆栈溢出缓冲区和全局变量区,并接收在堆栈溢出缓冲区上设置的堆栈溢出缓冲区数组;
接收上电指令,开启定时器;
在所述定时器的中断服务程序中,读取堆栈溢出缓冲区和堆栈区的数据,计算最大堆栈使用量;
判断所述最大堆栈使用量是否大于堆栈区尺寸,若是,判断为堆栈溢出,进入下一步;若否,继续计算最大堆栈使用量;
将溢出的上下文信息存入所述堆栈溢出缓冲数组;
判断所述最大堆栈使用量是否小于或等于预设阈值,若是,根据堆栈溢出缓冲数组判断堆栈溢出位置;
所述划分随机存储器空间的方法为:按从顶部到底部的顺序,将随机存储器空间划分为依次相邻的堆栈区、堆栈溢出缓冲区和全局变量区;
尺寸关系为:
RAM_SIZE>=STACK_SIZE+STACK_BUF+APP_RAM_SIZE,
RAM_SIZE为随机存储器尺寸,STACK_SIZE为堆栈区尺寸,STACK_BUF为堆栈溢出缓冲区尺寸,APP_RAM_SIZE为全局变量区尺寸。
CN201710937905.5A 2017-09-30 2017-09-30 嵌入式软件堆栈溢出检测方法和装置 Active CN107729240B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201710937905.5A CN107729240B (zh) 2017-09-30 2017-09-30 嵌入式软件堆栈溢出检测方法和装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201710937905.5A CN107729240B (zh) 2017-09-30 2017-09-30 嵌入式软件堆栈溢出检测方法和装置

Publications (2)

Publication Number Publication Date
CN107729240A CN107729240A (zh) 2018-02-23
CN107729240B true CN107729240B (zh) 2020-10-30

Family

ID=61210103

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201710937905.5A Active CN107729240B (zh) 2017-09-30 2017-09-30 嵌入式软件堆栈溢出检测方法和装置

Country Status (1)

Country Link
CN (1) CN107729240B (zh)

Families Citing this family (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109240815B (zh) * 2018-08-24 2021-07-23 珠海格力电器股份有限公司 一种共享堆栈的多任务运行方法、装置及设备
CN110084042B (zh) * 2019-05-11 2021-07-30 佛山市微风科技有限公司 一种应用程序堆栈静态分析方法及系统
CN111159051B (zh) * 2019-12-31 2023-07-04 北京天融信网络安全技术有限公司 死锁检测方法、装置、电子设备及可读存储介质
CN111506472A (zh) * 2020-04-03 2020-08-07 华夏龙晖(北京)汽车电子科技股份有限公司 堆栈监测方法、装置、电子设备及存储介质
CN112631510B (zh) * 2020-12-02 2023-05-12 海光信息技术股份有限公司 堆栈区域扩充的方法、装置及硬件平台
CN114217123A (zh) * 2021-11-03 2022-03-22 威胜集团有限公司 低功耗显示方法、装置、电能表及计算机可读存储介质
KR102365261B1 (ko) * 2022-01-17 2022-02-18 삼성전자주식회사 전자시스템, 그 동작방법 및 그 메모리 장치의 동작방법
CN115618827B (zh) * 2022-12-20 2023-03-10 西安葡萄城软件有限公司 防止电子表格系统堆栈溢出的计算方法及装置

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2003271448A (ja) * 2002-03-18 2003-09-26 Fujitsu Ltd スタック管理方法及び情報処理装置
CN101895440B (zh) * 2010-07-22 2012-07-04 北京天融信科技有限公司 一种安全网关及其故障检测方法
JP5636943B2 (ja) * 2010-12-16 2014-12-10 日本精工株式会社 スタックオーバーフローの検出方法、プログラム、モータシステムおよび搬送装置
CN103870244B (zh) * 2014-02-21 2017-01-11 北京神舟航天软件技术有限公司 一种sparc平台任务栈溢出检测算法
CN104597820B (zh) * 2015-02-11 2017-07-28 四川天邑康和通信股份有限公司 一种扩展单片机硬件定时器的方法
CN106682492B (zh) * 2015-11-06 2019-08-16 大唐移动通信设备有限公司 一种内存越界的管理方法及装置

Also Published As

Publication number Publication date
CN107729240A (zh) 2018-02-23

Similar Documents

Publication Publication Date Title
CN107729240B (zh) 嵌入式软件堆栈溢出检测方法和装置
US10303490B2 (en) Apparatus and method for optimizing startup of embedded system
EP3285170B1 (en) Application profiling job management system, program, and method
US9342295B2 (en) Dynamic software updates
KR100868762B1 (ko) 임베디드용 소프트웨어의 오류 검출 방법
CN110955431B (zh) 编译环境的处理方法及装置
US10740152B2 (en) Technologies for dynamic acceleration of general-purpose code using binary translation targeted to hardware accelerators with runtime execution offload
US9336114B2 (en) Apparatus and method for detecting error
US7853927B2 (en) Methods and tools for executing and tracing user-specified kernel instructions
US11030074B2 (en) Code update based on detection of change in runtime code during debugging
WO2017097878A1 (en) Method and device for non-intrusively collecting function trace data
CN107179982B (zh) 一种跨进程调试方法和装置
US20080127118A1 (en) Method and system for dynamic patching of software
US8972784B2 (en) Method and device for testing a system comprising at least a plurality of software units that can be executed simultaneously
US7640421B1 (en) Method and system for determining context switch state
US20160179656A1 (en) Automatically testing firmware
US20080034349A1 (en) Incremental program modification based on usage data
KR100597414B1 (ko) 데이터 처리 장치 및 이를 이용한 레지스터 할당 방법
CN105550575A (zh) 一种未导出的函数地址和数据结构偏移的获取方法及装置
US11029929B2 (en) Using emulation to improve startup time for just-in-time compilation
CN109426546B (zh) 应用启动方法及装置、计算机存储介质及设备
CN104978227B (zh) 一种进程控制方法、装置,及系统
JP3807860B2 (ja) コンパイル方法および装置、並びにメソッド活動度計算方法および装置
CN111190658A (zh) 一种基于片内执行且在不具有MMU的SoC片上支持应用程序动态加载的系统
US10445081B2 (en) Techniques of automatically generating dependencies for applications in embedded systems

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant