开发者 sf.net/projects/catchconv

  • catchconv 免费

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