angr环境配置

最新推荐文章于 2024-08-26 08:13:22 发布

Gh0st'

最新推荐文章于 2024-08-26 08:13:22 发布

阅读量297

点赞数

分类专栏：环境

本文链接：https://blog.youkuaiyun.com/qq_44115034/article/details/106556025

版权

环境同时被 2 个专栏收录

3 篇文章

订阅专栏

码住

2 篇文章

订阅专栏

本文介绍了在配置angr环境时遇到的Z3环境配置问题，包括pip安装超时的解决办法和环境错误处理。在遇到输入未知命令的错误时，通过回滚并重新配置虚拟环境解决了问题。当遇到特定报错，提供了相关博客链接作为参考，强调了安装Z3时要对应Python2版本。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

sudo apt-get install python3.7
# 安装python3.7
sudo apt-get -y install python3.7 python3.7-dev python3-pip 
# 安装python3.7-dev啥玩意和pip
python3.7 -m pip install pip --upgrade	
# 升级pip
pip3 install --upgrade pip
# 安装相关依赖
sudo apt-get install python-dev libffi-dev build-essential virtualenvwrapper
# 配置优先级(先别设置了 )
# sudo update-alternatives --install /usr/bin/python python /usr/bin/python3.6 1
# sudo update-alternatives --install /usr/bin/python python /usr/bin/python3.7 2

pip install 时要是超时了，请多尝试几次，或者加参数手动调整超时时长。

pip --default-timeout=100 install ......

# 设置python3时候出来python3.7
# 配置环境
1. 打开.bashrc
 	sudo vim ~/.bashrc
2. 在.bashrc中添加
 	alias python3=python3.7
 	#or alias python3='/usr/bin/python3.7'
 	export WORKON_HOME=$HOME/Python-workhome # or /.virtualenvs
	source /usr/share/virtualenvwrapper/virtualenvwrapper.sh
3. 保存并退出文件编辑，使配置生效
 	source ~/.bashrc

环境第一次这样配置后出现了些错误。
在这里插入图片描述
输入未知命令时出现这种报错

暂时还不知道问题在哪，于是乎回了个档重开。

mkvirtualenv angr && python3 -m pip install angr

然后就可以使用虚拟环境了

workon angr

如果有如下报错

/usr/bin/python: Error while finding module specification for 
'virtualenvwrapper.hook_loader' (ModuleNotFoundError: No module 
named 'virtualenvwrapper')

sudo python3 -m pip install virtualenv virtualenvwrapper

若报错

TypeError: __init__() got an unexpected keyword argument 'serialized_options'

# 原因是缺失protobuf库，pip install angr多尝试几次
python3 -m pip install angr
# 单独安装也可以
python3 -m pip install -U protobuf

https://blog.youkuaiyun.com/Palmer9/article/details/103737973
https://blog.youkuaiyun.com/Palmer9/article/details/107732804

z3环境配置

pip install z3-solver==4.5.1.0

注意安装对应版本的安装包，注意使用python2
https://pypi.org/project/z3-solver/4.5.1.0/#files