- 博客(9)
- 收藏
- 关注
RSS订阅原创 Z3基础使用
目录Z3求解约束器所求结果的几种数据类型基本语法使用求解的步骤useZ3参考资料Z3求解约束器windows安装python -m pip install z3-solverkalipip install z3-solver所求结果的几种数据类型intbool（布尔型）Array(数组)BitVec('a',8)(char型)Real（实数）其中BitVec可以是特定大小的数据类型，不一定是8，例如C语言中的int型可以用BitVec
2022-04-06 17:23:24
1615
1
原创 动调（未完待续）
目录动调步骤no-strings-attachedgdb动调ctfshow_武穆遗书动调步骤以题为例no-strings-attachedida动调先查看一下基础信息,32位elf文件，用ida查看一下在合适的地方，F2下断点将ida根目录下dbgsrv文件中的linux_server、linux_server64连同需要调试的文件放入虚拟机中（目录尽量简单，后面会用到）根据要调试的是64位还是32位的选择linux_server还是lin
2021-12-25 22:43:01
2476
原创 2021HECTF部分题目复现WP
目录MISCJamesHarden捉迷藏迷途的狗狗snakeCryptoencodeToolCheckInRSA_e_nREhardMISCJamesHarden打开是一个没有后缀的文件，拖进010中看一下，看到50 4B 03 04(PK头)改为zip解压，出现一个.class文件，010打开，看到下图这个，凯撒试一下位移13flag：HECTF{We1c0me_T0_H3ct6_!}捉迷藏打开是一个word文..
2021-11-21 17:40:35
378
原创 exe反编译为py文件
写在前面：学习过程中学的一个技能啦（虽然是好久之前）以white_give.exe反编译为py文件举例要将它反编译为py文件，先反编译为pyc文件，再编译为py文件，python-exe-unpacker-master反编译,直接在文件夹下运行cmd输入命令pyinstxtractor.py ＋文件路径（如果文件在此路径下则不用）pyinstxtractor.py white_give.exe得到一个文件在这个文件下找到struct和white_give两个文件用编辑1
2021-11-21 17:20:01
2372
3
原创 维吉尼亚解密密钥
目录1.脚本破解前置安装numpy安装wordninja2.网站解密写在前面：参考大佬博客，加自己的一点想法，仅供学习参考1.脚本破解前置运行环境:python3 numpy 、wordninja两个库安装numpy命令pip install numpy或者python -m pip install numpy安装是否成功检验打开cmd输入python输入import numpy as nu如上图所示，则安装成功安装wo
2021-11-08 18:00:12
1827
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人