rhelmot
commented
4 years ago I pushed a fix which works for this binary but I don't know if it'll apply to everything in the future. My advice for having maximum resiliency during the megatests is to load with loader param page_size=0x1000 and to not directly load the debug symbol binaries the way you showed me you were originally doing, but to instead specify them as main_opts={'debug_symbols': path_to_debug_file}
Tested with Docker image angr/angr:latest. Loading certain ELF binaries can fail with the following exception. It appears to only affect ELF debug symbol binaries. Attached an example binary.
angr environment report
angr environment report ============================= Date: 2020-03-31 04:06:19.931358 Running in virtual environment at /home/angr/.virtualenvs/angr Platform: linux-x86_64 Python version: 3.6.9 (default, Nov 7 2019, 10:44:02) [GCC 8.3.0] ######## angr ######### Python found it in /home/angr/angr-dev/angr/angr Pip version angr 8.20.1.7 Git info: Current commit d79af102c3030923d1ed1a801c0c18a1d46e6a1d from branch master Checked out from remote origin: https://github.com/angr/angr ######## ailment ######### Python found it in /home/angr/angr-dev/ailment/ailment Pip version ailment 8.20.1.7 Git info: Current commit 0f7d3964226b77049a95e8b0f8f06c630df37454 from branch master Checked out from remote origin: https://github.com/angr/ailment ######## cle ######### Python found it in /home/angr/angr-dev/cle/cle Pip version cle 8.20.1.7 Git info: Current commit 3ea14263843d01b7ad28348c6a64f12aa621858a from branch master Checked out from remote origin: https://github.com/angr/cle ######## pyvex ######### Python found it in /home/angr/angr-dev/pyvex/pyvex Pip version pyvex 8.20.1.7 Git info: Current commit f4753f85a8c18dae9dbb32301f8a7804efd36491 from branch master Checked out from remote origin: https://github.com/angr/pyvex ######## claripy ######### Python found it in /home/angr/angr-dev/claripy/claripy Pip version claripy 8.20.1.7 Git info: Current commit 8fc35a0ec4cc69b27795dd305a289a47d9f169e2 from branch master Checked out from remote origin: https://github.com/angr/claripy ######## archinfo ######### Python found it in /home/angr/angr-dev/archinfo/archinfo Pip version archinfo 8.20.1.7 Git info: Current commit 18f72651bdd29e65e147dd6da10da8f00764e61c from branch master Checked out from remote origin: https://github.com/angr/archinfo ######## z3 ######### Python found it in /home/angr/.virtualenvs/angr/lib/python3.6/site-packages/z3 Pip version z3-solver 4.8.7.0 Couldn't find git info ######## unicorn ######### Python found it in /home/angr/.virtualenvs/angr/lib/python3.6/site-packages/unicorn Pip version unicorn 1.0.2 Couldn't find git info ######### Native Module Info ########## angr:
unicorn:
pyvex: .FFILibrary object at 0x7f26cb753ac8>
z3:
$ pip freeze