Программы sf.net/projects/catchconv

Автоматическое поколение тестовых входов для ловли ошибок преобразования между подписанными и неподписанными integers. Плагин Valgrind, который работает с процедурой решения STP (загружен отдельно). Смотрите http://catchconv.