[PATCH] Updated buffer overflow protection patch

[Diego Novillo]

Jakub,

I think I've asked you before, but why do we rely on the code having
calls to mem*_chk instead of figuring it out ourselves?  If we know the
string length is constant and all that, why not emit warnings for
regular mem* calls?

Also, the propagation of these lengths is only extending the hack we had
for strlen and friends.  We need to propagate string attributes such as
length using the generic propagator.

I still haven't finished looking at the patch nor thinking about this,
yet.


Diego.