2024年7月31日
BUUCTF [GXYCTF2019]simple CPP
摘要： buu上的一道z3题，记录一下z3奇怪的用法。 首先扔进ida，打开主函数，非常混乱的算法，大概发现两个关键点： 这里应该是对flag进行异或得到v6 而这里的比较应该就是求解flag的关键，可以看出来有四个未知数，求解也是非常简单，z3直接求解即可： from z3 import * x, y, 阅读全文
posted @ 2024-07-31 18:21 Ve2n0uth 阅读(34) 评论(0) 推荐(0) 编辑