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
-
...
by exploring contributors within projects, you can view details on every commit they have made to that project
-
...
55% of companies leverage OSS for production infrastructure
-
...
you can embed statistics from Open Hub on your site