在自己的python 上可以 使用Z3
但是在idapython里提示
Could not find libz3.dll; consider adding the directory containing it to
- your system's PATH environment variable,
- the Z3_LIBRARY_PATH environment variable, or
- to the custom Z3_LIBRARY_DIRS Python-builtin before importing the z3 module, e.g. via
import __builtin__
__builtin__.Z3_LIB_DIRS = [ '/path/to/libz3.dll' ]
Traceback (most recent call last):
File "<string>", line 1, in <module>
File "C:\Users\lxf\z3\build\python\z3\__init__.py", line 1, in <module>
from .z3 import *
File "C:\Users\lxf\z3\build\python\z3\z3.py", line 44, in <module>
from . import z3core
File "C:\Users\lxf\z3\build\python\z3\z3core.py", line 64, in <module>
raise Z3Exception("libz3.%s not found." % _ext)
z3.z3types.Z3Exception: libz3.dll not found.
还有 yara-python 在idapython里提示
Python>import yara
Traceback (most recent call last):
File "<string>", line 1, in <module>
ImportError: No module named yara
[培训]内核驱动高级班，冲击BAT一流互联网大厂工作，每周日13:00-18:00直播授课
