z3 是微软开发的的高性能约束求解工具。 z3 也是 angr 和 triton 底层的约束求解器。其强大的数学求解能力在CTF解题中被广泛使用， 本文记录/摘录一些常用的z3 Python API…
2021-11-03 去围观这篇本来是放在另一个笔记网站里的，但是因为gridea不支持mathJax，强迫症犯了，移到了这里。 随便记了些要点，算是简单了解一下AES算法的流程实现与细节吧 算法流程 …
2021-09-10 去围观地点：某群，事件：某群友发了一张图，大致就是问int i =1; i = i++; 中 i 的值是多少 我说简单啊，不就是i = 2吗？结果一到Java中运行，光速打脸 - -| 展现了我的愚昧无知之…
2021-05-01 去围观CPU如何知当前需要指行指令地址？ 段寄存器CS和寄存器IP分别记录当前指令的段地址和偏移地址 mov,add,sub指令 mov 可用语法 mov 寄存器,数据 - mov ax,8mov 寄存器,…
2021-03-20 去围观