Zaccheus
June 27th, 2007, 08:41 AM
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).