SimZeroDivisionException: divide by zero! about hase HOT 4 OPEN

The crash site is within libasan __sanitizer_get_allocated_size and from assembly code I have no idea why this happens.

from hase.

A possible solution is to change angr irop returning unconstrained while zero division happening.

from hase.

Like this. hase-project/angr@2461603

from hase.

Could you print out that basic block? There are cases where the following combination occurs:

1. VEX doesn't put the correct guards to explicitly check against the denominator being non-zero (and explicitly raise a signal).
2. Z3 actually doesn't handle symbolic division by zero properly, which is crazy but kinda makes sense.
3. At some point later, enough things get concretized that claripy ends up using the concrete backend, which does handle zero-division, and things explode.

We try to patch up VEX output to put the explicit exits in (here: https://github.com/angr/pyvex/blob/master/pyvex_c/postprocess.c#L328), but we could have missed something.

from hase.