Fish

Can you print out `list(map(hex, state.history.bbl_addr.hardcopy))` and see if there are two block addresses corresponding to `TEE_MemMove`? Maybe the call is executed twice during symbolic execution. You can also set...

While angr uses P-Code for supporting SPARC binaries, we have not implemented `CALLOTHER` methods in angr.