2023年11月17日
GXYCTF2019 simple CPP
摘要： 开始对输入进行了xor操作 key要动调才能拿到 然后对32个分成了4个__int64 后面进行了一堆check 看着很复杂 这种都要动笔写一写 开始就是没动笔写 关系看不明白 还有最关键的一个点 刚开始眼瞎 直接v23[3]=0了... z3解一解(注意先check才有model) from z3 阅读全文
posted @ 2023-11-17 15:40 N0zoM1z0 阅读(12) 评论(0) 推荐(0) 编辑