摘要：传送门：[网鼎杯 2020 青龙组]jocker 不会做呜呜，看了别人 wp 才做出来的，求师傅带带 无壳，扔进 IDA，f5 发现不能反编译，原因是堆栈不平衡，先进行栈指针修改 options->general->勾选stack pointer 快捷键 alt+k，在 call 的位置修改值改为 阅读全文

摘要：参考文章：python z3库学习 今日做水题，发现了这么一个东西，鉴于将近一个月没更了，遂决定水一篇 #Z3介绍以及使用示例 Z3 在工业应用中实际上常见于软件验证、程序分析等。然而由于功能实在强大，也被用于很多其他领域。CTF 领域来说，能够用约束求解器搞定的问题常见于密码题、二进制逆向、符号执 阅读全文

摘要：汪汪队掉大分 #A. Gregor and Cryptography 传送门：A. Gregor and Cryptography 脑筋急转弯题，输入的数 p 一定是质数，要求 P mod a = P mod b，输出 a b。那其实就只需要输出 2 和 p - 1 就可以了 注意：要求输出格式 2 阅读全文

摘要：参考博客：https://blog.csdn.net/sugarbliss/article/details/86551050 分层图最短路是指在可以进行分层图的图上解决最短路问题。分层图：可以理解为有多个平行的图。 一般模型是：在一个正常的图上可以进行 k 次决策，对于每次决策，不影响图的结构，只影 阅读全文