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.
Release Date:
2007-02-05
Topic:
Operating System:
License:
Intended Audience:
User Interface:
Programming Language:
Registered:
2007-01-23
Ratings and Reviews
Be the first to post a text review of catchconv. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Code committed
hardcorebit committed patchset 428 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files -
Code committed
hardcorebit committed patchset 427 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files -
Code committed
hardcorebit committed patchset 426 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files -
Code committed
hardcorebit committed patchset 425 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files -
Code committed
-
Code committed
-
Code committed
-
Code committed
hardcorebit committed patchset 421 of module valgrind-catchconv to the catchconv CVS repository, changing 2 files -
Code committed
hardcorebit committed patchset 420 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files -
Code committed
Rate and Review
Be the first person to add a text review.
Related Projects
catchconv Actions
About SourceForge
Develop Software
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
