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, Testing

Follow catchconv

catchconv Web Site

Other Useful Business Software

Get the Edge; Toad Edge Get the Edge; Toad Edge Icon
Get the Edge; Toad Edge Icon

Your next-gen toolset for MySQL database environments

If your organization takes advantage of the cost-effective, flexible MySQL open source database platform, then you need a toolset that supports your commitment to open source relational databases.  Toad Edge for MySQL has what you need and helps you ramp up on MySQL quickly, ensuring faster time to value.

Rate This Project

Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
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

  • Thanks for so usefull software.

    1 user found this review helpful.
Read more reviews >

Additional Project Details

Intended Audience

Developers

User Interface

Command-line

Programming Language

C

Registered

2007-01-23