>Let us know if you are interested in our fuzzing/static analysis setup. >We're planning to submit a paper soon and we will publish the source >code >along with the paper.
We already have an own static analysis/fuzzing frame work, but it's not released yet. -Andi