catchconv / News: Recent posts

First release 0.1 of Catchconv valgrind tool

Catchconv is a proof-of-concept tool that generates test cases for signed/unsigned conversion erors in binary code. Using Valgrind, Catchconv observes a Linux binary program on an example input, then generates a query for the STP decision procedure. If a signed/unsigned bug exists, STP then synthesizes new program inputs that exhibit the bug. Well, in principle, anyway. In practice we're still working on it.... read more

Posted by David Molnar 2007-02-05

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks