Date: 2024-05-09 23:59:40.313733
Running in virtual environment at /home/as/cac/angr-management/.venv
Platform: linux-x86_64
Python version: 3.10.14 (main, May 1 2024, 16:08:08) [GCC 13.2.1 20240417]
######## angr #########
Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/angr/init.py
Pip version angr 9.2.102
Git info:
Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master
Checked out from remote origin: https://github.com/angr/angr-management
######## ailment #########
Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/ailment/init.py
Pip version ailment 9.2.102
Git info:
Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master
Checked out from remote origin: https://github.com/angr/angr-management
######## cle #########
Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/cle/init.py
Pip version cle 9.2.102
Git info:
Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master
Checked out from remote origin: https://github.com/angr/angr-management
######## pyvex #########
Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/pyvex/init.py
Pip version pyvex 9.2.102
Git info:
Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master
Checked out from remote origin: https://github.com/angr/angr-management
######## claripy #########
Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/claripy/init.py
Pip version claripy 9.2.102
Git info:
Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master
Checked out from remote origin: https://github.com/angr/angr-management
######## archinfo #########
Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/archinfo/init.py
Pip version archinfo 9.2.102
Git info:
Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master
Checked out from remote origin: https://github.com/angr/angr-management
######## z3 #########
Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/z3/init.py
Pip version z3-solver 4.10.2.0
Git info:
Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master
Checked out from remote origin: https://github.com/angr/angr-management
######## unicorn #########
Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/unicorn/init.py
Pip version unicorn 2.0.1.post1
Git info:
Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master
Checked out from remote origin: https://github.com/angr/angr-management
######### Native Module Info ##########
angr: <CDLL '/home/as/cac/angr-management/.venv/lib/python3.10/site-packages/angr/state_plugins/../lib/angr_native.so', handle 55555688f200 at 0x7fffefc45720>
unicorn: <CDLL '/home/as/cac/angr-management/.venv/lib/python3.10/site-packages/unicorn/lib/libunicorn.so.2', handle 5555562f2260 at 0x7ffff325a680>
pyvex: <cffi.api._make_ffi_library..FFILibrary object at 0x7ffff3f83760>
z3: <CDLL '/home/as/cac/angr-management/.venv/lib/python3.10/site-packages/z3/lib/libz3.so', handle 555555ce2900 at 0x7ffff5ef8fa0>
Description
i see this message, i follow its instruction
Steps to reproduce the bug
i will upload the binary that i used racecar.zip
Environment
angr environment report
Date: 2024-05-09 23:59:40.313733 Running in virtual environment at /home/as/cac/angr-management/.venv Platform: linux-x86_64 Python version: 3.10.14 (main, May 1 2024, 16:08:08) [GCC 13.2.1 20240417] ######## angr ######### Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/angr/init.py Pip version angr 9.2.102 Git info: Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master Checked out from remote origin: https://github.com/angr/angr-management ######## ailment ######### Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/ailment/init.py Pip version ailment 9.2.102 Git info: Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master Checked out from remote origin: https://github.com/angr/angr-management ######## cle ######### Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/cle/init.py Pip version cle 9.2.102 Git info: Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master Checked out from remote origin: https://github.com/angr/angr-management ######## pyvex ######### Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/pyvex/init.py Pip version pyvex 9.2.102 Git info: Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master Checked out from remote origin: https://github.com/angr/angr-management ######## claripy ######### Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/claripy/init.py Pip version claripy 9.2.102 Git info: Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master Checked out from remote origin: https://github.com/angr/angr-management ######## archinfo ######### Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/archinfo/init.py Pip version archinfo 9.2.102 Git info: Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master Checked out from remote origin: https://github.com/angr/angr-management ######## z3 ######### Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/z3/init.py Pip version z3-solver 4.10.2.0 Git info: Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master Checked out from remote origin: https://github.com/angr/angr-management ######## unicorn ######### Python found it in /home/as/cac/angr-management/.venv/lib/python3.10/site-packages/unicorn/init.py Pip version unicorn 2.0.1.post1 Git info: Current commit 2ed157baca72e149119dde4ad78d260f3fe759f6 from branch master Checked out from remote origin: https://github.com/angr/angr-management ######### Native Module Info ########## angr: <CDLL '/home/as/cac/angr-management/.venv/lib/python3.10/site-packages/angr/state_plugins/../lib/angr_native.so', handle 55555688f200 at 0x7fffefc45720> unicorn: <CDLL '/home/as/cac/angr-management/.venv/lib/python3.10/site-packages/unicorn/lib/libunicorn.so.2', handle 5555562f2260 at 0x7ffff325a680> pyvex: <cffi.api._make_ffi_library..FFILibrary object at 0x7ffff3f83760>
z3: <CDLL '/home/as/cac/angr-management/.venv/lib/python3.10/site-packages/z3/lib/libz3.so', handle 555555ce2900 at 0x7ffff5ef8fa0>
Additional context
no additional context