You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When using the 'semantic' feature with python3 and 3.11 there are several library issues that I had on Linux.
File "/usr/local/lib/python3.11/dist-packages/ropper-1.13.8-py3.11.egg/ropper/semantic.py", line 67, in analyse
irsb = pyvex.IRSB(bytes(gadget.bytes), gadget.address+thumb, gadget.arch.info, bytes_offset=thumb, num_bytes=len(gadget.bytes), opt_level=0)
^^^^^
NameError: name 'pyvex' is not defined
this one shows up even when you have installed pyvex. I solved it by moving the import pyvex out of the try except block in ropper/semantic.py
solver = z3.Solver()
^^^^^^^^^
AttributeError: module 'z3' has no attribute 'Solver'
this showed even after install z3py as the README says and running python3 -m pip install z3
To solve it you need the z3-solver package: python3 -m pip install z3-solver
The text was updated successfully, but these errors were encountered:
When using the 'semantic' feature with python3 and 3.11 there are several library issues that I had on Linux.
this one shows up even when you have installed pyvex. I solved it by moving the
import pyvex
out of the try except block inropper/semantic.py
this showed even after install z3py as the README says and running
python3 -m pip install z3
To solve it you need the
z3-solver
package:python3 -m pip install z3-solver
The text was updated successfully, but these errors were encountered: