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.
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
-
STP
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzers
-
-
catchconv Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
