开源项目地址 https://github.com/CTFd/CTFd 安装建议在docker里面搭建，环境不会冲突。docker安装教程 安装完docker之后，可用以下命令1docker run -p 8000:8000 -it ctfd/ctfd 但是安装的太慢，不用官方的镜像，这里建议用阿里 ...

pwnbabyrop题目分析靶机环境是32位的glibc-2.23。123456789101112131415161718int __cdecl check(int random){ size_t v1; // eax char s; // [esp+Ch] [ebp-4Ch] ch ...

今天看到一段有趣的c代码，如下:12345678910111213#include <stdio.h>void function(int a,int b,int c){ int *ret; ret=&a-1; (*ret)+=8;}void main()
...

壹業标准的UAF漏洞题 思路 创建unsortedbin的chunk,free掉，然后再show，就能泄露libc地址 复写malloc_hook为one_gadget exp本地环境：ubuntu 16.0412345678910111213141516171819202122232425262 ...

该文章被加密了，请联系管理员请求密码. Decrypt U2FsdGVkX1+yvICzzKt5TFovYHApx2FY+xXcOF7z9lzmvOupcljhVWGQ6aNrJYzuZe76Dpn0syufvtA8RDojCiJROt7V0KH47hh52Mbc6tP6V ...

简介Z3是一个微软出品的开源约束求解器，能够解决很多种情况下的给定部分约束条件寻求一组满足条件的解的问题（可以简单理解为解方程的感觉，虽然这么比喻其实还差距甚远，请勿吐槽），功能强大且易于使用。Z3 在工业应用中实际上常见于软件验证、程序分析等。然而由于功能实在强大，也被用于很多其他领域。CTF 领 ...

简介符号执行简单来说就是用符号来模拟程序执行，在我看来就相当于暴力破解，比如一个程序要求你进行一个复杂的运算，每次动态调试只能输入一次，然而符合执行可以尽可能的遍历每一条路径，这样就方便了许多，官方学习文档。 安装这里不建议实体机安装，坑太多，直接上docker，安装教程 例题r100(defcam ...

前言angr不建议在实体机上安装，所以就安装到docker里面，官方容器里已经集成了angr，但安装的太慢。这里我选择了阿里云的容器镜像，本地环境为ubuntu16.04。 实体机安装参考链接https://docs.angr.io/introductory-errata/install，这里用do ...

(o≖◡≖)(๑•̀ㅂ•́)و✧(*￣ω￣)w(ﾟДﾟ)wo(≧口≦)oΣ( ° △ °|||)︴

思路 利用堆溢出伪造堆块，并用uaf漏洞打_IO_FILE泄露出libc地址 再用uaf漏洞劫持malloc_hook为one_gadget exp本地环境：ubuntu 16.04，成功率不高1234567891011121314151617181920212223242526272829303 ...