Integration with fuzzbench

[laurentsimon]

Hey

I work with fuzzbench (see googleblog and github). Fuzzbench is a Google tool/service that aims at helping fuzzer writers to benchmark their tools and improve their techniques. We have over 20 fuzzers integrated so far.

We are interested in integrating symbolic and concolic engines. We've started integrating KLEE, but we don't have the cycles to integrate every symbolic engine ourselves.

We're wondering if you'd be interested in adding support for manticore in fuzzbench? We have good docs to follow if you want to add your tool, see docs.

Happy to answer your questions if you get stuck, of course.

[ehennenfent]

Thanks for bringing this to our attention! We're always interested in opportunities to try out Manticore on a wider variety of codebases. Unfortunately, we likely don't have the cycles to set this up right away, but I've added it to our backlog as something to look into in the next few months.

[laurentsimon]

sounds good!