|
From: Jean P. <2s...@ma...> - 2004-09-06 22:56:51
|
On Mon, 06 Sep 2004 15:15:41 -0700, Paul Pluzhnikov <pa...@pa...> wrote : > Jean Pierre wrote: > > > One bug I found very annoying is this one : > > > > double array[3]; > > array[3] = 0; > > Surely that is *not* a static array? Oops. By 'static' array, I wanted to mean a 'normal array' (as oppposed to dynamically allocated array). > > > In fact, so far I only found one product who can detect this and > > this is the bounds checking patch of gcc. > > FWIW, Insure++ is *supposed* to find that bug (and an equivalent > one with the static array): > Great ! I'll try their product. Do you know if valgrind could in theory detect this kind of problem too ? |