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

Modern Object Pascal coding? Try Delphi Modern Object Pascal coding? Try Delphi Icon
Modern Object Pascal coding? Try Delphi Icon

The most powerful Object Pascal IDE and library for cross-platform Native App Development with flexible Cloud services and broad IoT connectivity

Delphi is the choice for developers wanting the power, readability and flexibility of the Modern Object Pascal language, coupled with native compilers and component libraries for fast single source code development on Windows, macOS, iOS, Android and Linux. Get Started with a FREE, fully functional 30-day license of Delphi.

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

There are no 4 star reviews.

Additional Project Details

Intended Audience

Developers

User Interface

Command-line

Programming Language

C

Registered

2007-01-23