After the last AFL article I ran it on a side project with a good input test suite where I was not the original author. Really easy to integrate, and I was impressed with the bugs it found. Running the generated input through valgrind made fixing problems really simple.
Add in the clang static analyzer and there are a lot of really nice tools for reasoning about memory issues.
Add in the clang static analyzer and there are a lot of really nice tools for reasoning about memory issues.