开发者 sf.net/projects/catchconv

自动生成测试输入，以捕获已签名和未签名整数之间的转换错误。Valgrind 插件，适用于 STP 决策程序（单独下载）。有关http://catchconv.pbwiki.com/说明，请参阅此处。