2022年1月21日
z3学习笔记
摘要： 这HGAME的re真让我长见识了，逆着逆着还出来个线性方程组。。 即刻学习z3！ 安装 上次安的virtualenvwrapper真的太好用辣 有了上次angr的配置前提，这次直接source ~/.bashrc然后mkvirtualenv --python=$(which python3) z3 阅读全文
posted @ 2022-01-21 19:30 iPlayForSG 阅读(215) 评论(0) 推荐(0) 编辑