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.

@rhelmot I've been thinking about this for a while. Should we use bytes instead of str for section and segment names?

@rhelmot Some malware intentionally makes their section names garbage. I don't think we want to fail to load those binaries in such cases.

Why don't we default to `latin-1`?

Fix the linting issues and I will click merge!

It seems to me that we can gracefully handle cases where `vpanic` is called in VEX. We get to register a callback function that `vpanic` will invoke, and the current...

I'm transferring this issue to angr/pyvex since we should be able to fix it without touching VEX itself.

> fwiw, I worry that vpanicing from an arbitrary location could leave the results in a not-fully-valid state that wouldn't be safe to return It's entirely possible! That's what I...

Thanks for the patch. Do you want to submit a fix (and ideally, a test case as well) as a PR to angr? I'll look into patching pyvex when my...