2020年8月23日
ciscn2020 re
摘要： Z3 看到题目的意思就知道是要用z3包，也就是解方程 打开ida，查看方程式 在去查看判断 发现des和v4做比较，Des是从unk_404020复制过来的，所以 查看unk_404020 由于v4到v45全是int类型，那么我们的byte404020也得是int类型 用idapython打印这里的 阅读全文
posted @ 2020-08-23 15:37 PYozo_free 阅读(494) 评论(0) 推荐(0) 编辑