Когда кода тупо много и «разного» - бывают полезны (вроде капчи от маразма «запрограммировавшихся» и самоуверенных пионеров). Ну и да, ценное мнение какого-то там IT-фетишиста http://www.aristeia.com/ddjpaper1.html
могут использоваться для аргументированных решений об увольнении
...и больше ни для чего.
Натравливали на сильно запущенный проект. На полтора миллиона строк махрового быдлокода была найдена ровно одна «ошибка» вида: char str[100]; *str = 0;
Проверять надо не реактось, а хорошо протестированный во всех мелочах продукт, желательно под двойной лицензией типа GPL/коммерческая или LGPL/коммерческая.