![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
python
文章平均质量分 70
C4cke
这个作者很懒,什么都没留下…
展开
-
Angr_ctf
Angr_ctf:1~13练习文章目录Angr_ctf:1~13练习#、angr 入门00_angr_find(1)总结(2)练习01_angr_avoid(1)总结(2)练习02_angr_condition(1)总结(2)练习03_angr_symbolic_registers(1)总结(2)练习04_angr_symbolic_stack(1)总结(2)练习05_angr_symbolic_memory(1)总结(2)练习06_angr_symbolic_dynamic_memory(1)总结(2)原创 2021-10-25 23:31:19 · 618 阅读 · 0 评论 -
Unicorn基础学习
Unicorn基础学习跟着看雪无名侠的文章学的:Unicorn 在 Android 的应用知识点在他给的印象笔记里,我也就学了快速入门。。。基础入门是这篇:Unicorn快速入门下面给了两份代码,都差不多,也是粘的大佬的,然后写了注释,方便理解。模拟ARM执行from unicorn import *#导入ARM指令的指令集from unicorn.arm_const import *#我们要模拟执行的ARM指令ARM_CODE = b"\x37\x00\xa0\xe3\x03\原创 2021-09-06 11:00:42 · 1112 阅读 · 1 评论 -
Python_Z3
Python_Z3学习文章目录Python_Z3学习0、简介1、安装2、整型(Int)方程求解3、有理数(Real)型解方程求解4、位向量(BitVec)求解(二进制位运算求解)5、实际ctf中的位运算求解0、简介利用python的Z3库可以进行约束求解,即解任何方程(只要有解),常用的包括整数求解、有理数求解、位向量求解(二进制位运算求解)。1、安装pip install z3_solver注意不是安装z3,是z3_solver,两个不一样。2、整型(Int)方程求解网上贴的代码,我标注原创 2021-08-18 15:55:45 · 3235 阅读 · 0 评论