网安国赛-2020-ciscn-reverse-z3
z3
题目名即为z3,可猜测是用z3解方程
z3库的安装:借鉴简书中的一篇文章: z3安装与学习.
此文章中没有准确提到linux下z3库安装的方法,自己尝试了一下做了一个小结:
1.前提:Python的版本是2.x
2.不能用pip install z3
3.采用源码安装
下载链接:源码下载
4.下载对应版本时查看自己的虚拟机是64位还是32位:
sudo uname –m
若是64位则显示x86_64。确认好之后下载对应的源码
5.之后按照上面那篇文章的步骤安装就ok了
那就开始做题吧。
文件拖入i
原创
2020-08-22 16:23:28 ·
582 阅读 ·
0 评论