프로그램별 sf.net/projects/catchconv

서명된 정수와 서명되지 않은 정수 간의 변환 오류를 포착하기 위한 자동 테스트 입력 생성. STP 의사 결정 절차와 함께 작동하는 Valgrind 플러그인(별도로 다운로드). 설정 지침은 http://catchconv.pbwiki.com/ 참조하십시오.