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.

Project Activity

See All Activity >

Categories

Security, Software Testing

License

GNU General Public License version 2.0 (GPLv2)

Follow catchconv

catchconv Web Site

Other Useful Business Software
Sales CRM and Pipeline Management Software | Pipedrive Icon
Sales CRM and Pipeline Management Software | Pipedrive

The easy and effective CRM for closing deals

Pipedrive’s simple interface empowers salespeople to streamline workflows and unite sales tasks in one workspace. Unlock instant sales insights with Pipedrive’s visual sales pipeline and fine-tune your strategy with robust reporting features and a personalized AI Sales Assistant.
Try it for free
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:
All
  • josearmstrong Posted 2013-06-06
    Thanks for so usefull software.
    1 user found this review helpful.
Read more reviews >

Additional Project Details

Operating Systems

Linux

Intended Audience

Developers

User Interface

Command-line

Programming Language

C

Related Categories

C Security Software, C Software Testing Tool

Registered

2007-01-23
Report inappropriate content