search

angr / angr

A powerful and user-friendly binary analysis platform!
http://angr.io
BSD 2-Clause "Simplified" License
7.6k stars 1.08k forks source link

Integration with fuzzbench #2325

Open laurentsimon opened 4 years ago

laurentsimon commented 4 years ago

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 angr 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.

ltfish commented 4 years ago

Hi @laurentsimon thanks for your interest, but angr and manticore are two different projects :)

laurentsimon commented 4 years ago

u got me :) I did mean we'd like Angr integrated in Fuzzbench! More seriously, is this something you think your team would be interested in doing?

ltfish commented 4 years ago

@laurentsimon We do not see angr as a ready-to-use-out-of-box fuzzer. Using angr as a fuzzer still has some insurmountable challenges, such as missing environment support. That said, it can be an interesting contribution to the community if an angr-based fuzzer is included in fuzzbence. When we have some cycles, we will look into what is required to include an angr-based fuzzer into fuzzbench.