¿Cómo verificar el desbordamiento de pila en una aplicación incrustada?

Una forma común de verificar el uso de la memoria es rellenar previamente la memoria con un valor constante antes de que se ejecute el programa. por ejemplo, su código de inicio podría escribir una secuencia de 0xde 0xad en su área de pila. Durante la operación del programa, la pila crecerá y escribirá sobre estas secuencias. Si luego tiene la capacidad de examinar la memoria, entonces puede ver fácilmente los 0xde 0xad bytes intactos en la memoria y así determinar la cantidad de pila utilizada.

Por lo general, es difícil detectar un desbordamiento cuando se produce, ya que las direcciones de retorno de llamada de función se almacenan en la pila y cualquier retorno de función enviará el programa a la maleza. En este caso, si su watchdog está habilitado y puede establecer un punto de interrupción en el vector de reinicio, es posible que aún pueda examinar la memoria y buscar sus bytes de llenado previo para determinar si esto es lo que causó un reinicio.

Crea una variable que se encuentra en la parte superior (o inferior) de tu pila. Inicializa la variable al principio de main. Puede verificar el valor de la variable en el bucle principal para ver después de que la pila se haya desbordado. O si su depurador lo permite, establezca un punto de interrupción cuando se escribe esa variable. Se debe escribir solo cuando se inicializa.

Hay algunos programas que pueden hacer un análisis estático. Puede obtener cierta información usando Splint , ya que verifica si hay problemas al usar su código fuente. Creo que no comprueba los problemas de la pila, pero puede proporcionarle algunos puntos de vista sobre el problema.