Fish

Thanks for reporting! Is there a binary that you can share?

Git only goes this far. You may consider running a service providing a simple REST API for this purpose.

I’ll try to reproduce it locally. But can you please post the binary?

Trace divergence is a known problem in hybrid fuzzing that is often caused by unmatched environments between concrete execution and symbolic execution. Expecting Driller to "drill" through modern glibc might...

> I know that concolic tracing does not work well on real binaries. It does not work well unless some proper engineering effort is spent. For example, we can totally...

Can we use nanobind instead?

(We already use nanobind in pypcode)

> allowing us to get rid of most of the custom logic in setup.py Let's discuss this offline. Given that the long-term goal being switching to P-Code and the fact...

Also translating nanobind and pybind11 code in between is almost trivial.

This looks like an angr bug rather than a CLE bug.