by daw617, hardcorebit, saseshia
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.
hardcorebit committed patchset 425 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files
hardcorebit committed revision 62 to the catchconv SVN repository, changing 1 files
stshen committed patchset 423 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files
stshen committed patchset 422 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files
hardcorebit committed patchset 421 of module valgrind-catchconv to the catchconv CVS repository, changing 2 files
hardcorebit committed patchset 420 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files
stshen committed patchset 419 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files
stshen committed patchset 418 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files
stshen committed patchset 417 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files
hardcorebit committed patchset 416 of module valgrind-catchconv to the catchconv CVS repository, changing 7 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
