Welcome, Guest! Log In | Create Account

Share

catchconv

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.


http://sourceforge.net/projects/catchconv

Security, Testing

Project Feed

  • Code committed

    hardcorebit committed patchset 425 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files

    07:16AM on Jun 30 2009 by hardcorebit

  • Code committed

    hardcorebit committed revision 62 to the catchconv SVN repository, changing 1 files

    06:33PM on Jun 25 2009 by hardcorebit

  • Code committed

    stshen committed patchset 423 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files

    10:35PM on Apr 17 2009 by stshen

  • Code committed

    stshen committed patchset 422 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files

    11:09PM on Apr 15 2009 by stshen

  • Code committed

    hardcorebit committed patchset 421 of module valgrind-catchconv to the catchconv CVS repository, changing 2 files

    11:56PM on Apr 10 2009 by hardcorebit

  • Code committed

    hardcorebit committed patchset 420 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files

    10:00PM on Apr 10 2009 by hardcorebit

  • Code committed

    stshen committed patchset 419 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files

    11:37PM on Apr 06 2009 by stshen

  • Code committed

    stshen committed patchset 418 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files

    07:53AM on Apr 03 2009 by stshen

  • Code committed

    stshen committed patchset 417 of module valgrind-catchconv to the catchconv CVS repository, changing 1 files

    07:51AM on Apr 03 2009 by stshen

  • Code committed

    hardcorebit committed patchset 416 of module valgrind-catchconv to the catchconv CVS repository, changing 7 files

    04:54AM on Mar 28 2009 by hardcorebit

catchconv Actions