Automatic generation of test inputs to catch conversion errors between signed and unsigned integers. Valgrind plug-in that works with the STP decision procedure (downloaded separately). See http://catchconv.pbwiki.com/ for setup instructions.
catchconv is a free software application from the Other subcategory, part of the Security & Privacy category.
The app is currently available in English and it was last updated on 2007-02-05. The program can be installed on Linux.
catchconv (version 0.1) is available for download from our website.
Just click the green Download button above to start. Until now the program was downloaded 34 times.
We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.