Fish

Just want to provide a quick update: I am still looking into this issue and can confirm that in at least one situation angr's symbolic stepping is using an excessive...

Hi @TodAmon can you please try angr with this claripy PR (https://github.com/angr/claripy/pull/382)? It fixes the OOM issue that I managed to reproduce locally.

@TodAmon is there an example that you can provide for reproducing the behavior that you are seeing? Or if you want to investigate further by yourself, I would recommend https://github.com/rhelmot/dumpsterdiver...

This is a dup of https://github.com/angr/angr/issues/4526 and has been fixed in https://github.com/angr/angr/pull/4529.

I need to think more about this fix when I have enough brain power this week...

@zardus Oops

Can we have the binary to test angr on if it's a toy program?

We don't have any explicit naming convention for binaries... but if we don't like your binary name, we can just rename it :-)

I'm transferring this issue to angr/angr since Reassembler is solely implemented as an angr analysis. I believe all issues except for the first one are bugs in the current implementation...

> `Aborted (core dumped)` I wonder why the Python process crashes. Can you please post `dmesg | tail`?