開發者 sf.net/projects/catchconv

自動生成測試輸入，以捕獲已簽名和未簽名整數之間的轉換錯誤。Valgrind 外掛程式，適用於 STP 決策程式（單獨下載）。有關HTTP：//catchconv.pbwiki.com/說明，請參閱此處。