摘要：
传送门：[网鼎杯 2020 青龙组]jocker 不会做呜呜，看了别人 wp 才做出来的，求师傅带带 无壳，扔进 IDA，f5 发现不能反编译，原因是堆栈不平衡，先进行栈指针修改 options->general->勾选stack pointer 快捷键 alt+k，在 call 的位置修改值改为 阅读全文
摘要：
参考文章：python z3库学习 今日做水题，发现了这么一个东西，鉴于将近一个月没更了，遂决定水一篇 #Z3介绍以及使用示例 Z3 在工业应用中实际上常见于软件验证、程序分析等。然而由于功能实在强大，也被用于很多其他领域。CTF 领域来说，能够用约束求解器搞定的问题常见于密码题、二进制逆向、符号执 阅读全文