I've just been re-reading the excelent paper on Using Redundancies to Find Errors (http://www.stanford.edu/~engler/p401-xie.pdf) and was wondering what kinds of tools are available for C++ & C# to detect such errors (apart from 'Level 4' compiler warnings).