Project Summary
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.
In a Nutshell, catchconv...
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
use of OSS increased in 65% of companies in 2016
-
...
search using multiple tags to find exactly what you need
-
...
there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
-
...
learn about Open Hub updates and features on the Open Hub blog