Pour vérifier si un code en C ne déborde pas en mémoire, on peut utiliser le logiciel Valgrind.
valgrind --leak-check=full --leak-resolution=high ./programme_a_tester

Les options -v et --show-reachable=yes peuvent aussi être utiles.