Au gré de me pérégrinations internesque, je suis tombé sur un projet que je ne connaissais pas, celui-ci :

http://sourceforge.net/projects/boundschecking

Et également sur une p'tite doc plus ou moins associée, écrite par un mossieur poilu, qui se trouve ici :

http://felinemenace.org/~andrewg/preventing_exploitation_with_boundschecking/

Ça ne veut pas dire que tout est réglé pour autant :

http://felinemenace.org/~andrewg/integer_overflows_in_boundschecking_patch/

Tout ça étant bien sexy quand même...