Bounds checking for Variable Length Arrays (VLA)?

Question

Is there a way to check for buffer overflows in VLA's ? I used -fstack-protector-all -Wstack-protector but get these warnings:

warning: not protecting local variables: variable length buffer

Is there a library for achieving this ? (-lefence is for heap memory)

I'm currently using Valgrind and gdb.

Answer 1

You can use -fmudflap instead of -fstack-protector-all

Update: Some documentation and options are here http://gcc.gnu.org/wiki/Mudflap_Pointer_Debugging