0
I Use This!
Activity Not Available
Analyzed almost 2 years ago. based on code collected almost 2 years ago.

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.

Tags

No tags have been added

In a Nutshell, catchconv...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    data presented on the Open Hub is available through our API
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

Languages?height=75&width=75
C
75%
Make
8%
13 Other
17%

30 Day Summary

Jun 20 2016 — Jul 20 2016

12 Month Summary

Jul 20 2015 — Jul 20 2016

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!