With memory you can usually get a good idea of the problem with valgrind. It's actually my first line of defense, and then after that printf statements and the

With memory you can usually get a good idea of the problem with valgrind. It's actually my first line of defense, and then after that printf statements and then gdb + frama-c. One really nice tool is frama-c -cg <files> which generates a call graph written in dot.