接下来的时间会通过how2heap学习堆的知识,这个系列可能会更新很多篇,因为每天学习到的东西要保证吸收消化,所以一天不会学习很多,但是又想每天记录一下。所以开个系列。

first_fit

  此题的源码经过简化,如下:

 1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 int main() {
5 char* a = malloc(512); //0x200
6 char* b = malloc(256); //0x100
7 char* c;
8 fprintf(stderr, "1st malloc(512): %p\n", a);
9 fprintf(stderr, "2nd malloc(256): %p\n", b);
10 strcpy(a, "AAAAAAAA");
11 strcpy(b, "BBBBBBBB");
12 fprintf(stderr, "first allocation %p points to %s\n", a, a);
13 fprintf(stderr, "Freeing the first one...\n");
14 free(a);
15 c = malloc(500);
16 fprintf(stderr, "3rd malloc(500): %p\n", c);
17 strcpy(c, "CCCCCCCC");
18 fprintf(stderr, "3rd allocation %p points to %s\n", c, c);
19 fprintf(stderr, "first allocation %p points to %s\n", a, a);
20 }

  用gcc进行编译处理,命令:gcc -g first_fit1.c

  运行一下看输出结果:

  这个程序想让我们明白的是假如我先malloc了一个比较大的堆,然后free掉,当我再申请一个小于刚刚释放的堆的时候,就会申请到刚刚free那个堆的地址。还有就是,我虽然刚刚释放了a指向的堆,但是a指针不会清零,仍然指向那个地址。这里就存在一个uaf(use_after_free)漏洞,原因是free的时候指针没有清零。

  接下来再放一些学习资料上面话,比较官方,比较准确。

fastbin_dup

  还是先放一下程序源码:

 1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <string.h>
4 int main() {
5 fprintf(stderr, "Allocating 3 buffers.\n");
6 char *a = malloc(9);
7 char *b = malloc(9);
8 char *c = malloc(9);
9 strcpy(a, "AAAAAAAA");
10 strcpy(b, "BBBBBBBB");
11 strcpy(c, "CCCCCCCC");
12 fprintf(stderr, "1st malloc(9) %p points to %s\n", a, a);
13 fprintf(stderr, "2nd malloc(9) %p points to %s\n", b, b);
14 fprintf(stderr, "3rd malloc(9) %p points to %s\n", c, c);
15 fprintf(stderr, "Freeing the first one %p.\n", a);
16 free(a);
17 fprintf(stderr, "Then freeing another one %p.\n", b);
18 free(b);
19 fprintf(stderr, "Freeing the first one %p again.\n", a);
20 free(a);
21 fprintf(stderr, "Allocating 3 buffers.\n");
22 char *d = malloc(9);
23 char *e = malloc(9);
24 char *f = malloc(9);
25 strcpy(d, "DDDDDDDD");
26 fprintf(stderr, "4st malloc(9) %p points to %s the first time\n", d, d);
27 strcpy(e, "EEEEEEEE");
28 fprintf(stderr, "5nd malloc(9) %p points to %s\n", e, e);
29 strcpy(f, "FFFFFFFF");
30 fprintf(stderr, "6rd malloc(9) %p points to %s the second time\n", f, f);
31 }

  同样的gcc编译运行后看一下运行结果:

  程序做了哪些事呢?

  1.malloc申请了三个堆,并赋值。

  2.free了第一个堆。

  3.free了第二个堆。

  4.再次free了第一个堆。

  5.malloc又申请了三个堆。

  发现:第五步malloc申请堆的时候,第一个堆申请到了free第一次的位置,第二个堆申请到了free第二次的位置,第三个堆又申请到了free了第一次的位置。

  

  说白了就是连着free两次一个堆是不被允许的,但是假如再其中加一个free其他堆,那么就可以对一个堆free两次。这样再我们malloc再申请的时候,就可以申请到两个指针指向同一个堆块了。

  为了方便理解,我们试着在pwndbg里面看看:

  首先在11行的位置下了断点:

  可以看到我们申请的三个堆,接下来我们在看一下free(a)、free(b)、再次free(a)时的情况:

--------------------------------------------------------------------------------------------------------

  可以看到fastbins形成了一个环,但是其实应该是栈的样子的,但是由于我们绕过了检测,就可以形成环。

  |Chunk A| -> |chunk B| -->| chunk A|

  

  大概如上个图,这样我们就成功绕过了 fastbins 的double free检查。原因如下:

  fastbins 可以看成一个 LIFO 的栈,使用单链表实现,通过 fastbin->fd 来遍历 fastbins。由于 free 的过程会对 free list 做检查,我们不能连续两次 free 同一个 chunk,所以这里在两次 free 之间,增加了一次对其他 chunk 的 free 过程,从而绕过检查顺利执行。然后再 malloc 三次,就在同一个地址 malloc 了两次,也就有了两个指向同一块内存区域的指针。

  上面的情况是在libc-2.23版本做的实验,但是好像版本不同的时候会有其他情况。这里就直接拿资料上的东西了。

-----------------------资料----------------------------------------------

  看一点新鲜的,在 libc-2.26 中,即使两次 free,也并没有触发 double-free 的异常检测,这与 tcache 机制有关,以后会详细讲述。这里先看个能够在该版本下触发double-free 的例子:

  

#include <stdio.h>
#include <stdlib.h>
int main() {
int i;
void *p = malloc(0x40);
fprintf(stderr, "First allocate a fastbin: p=%p\n", p);
fprintf(stderr, "Then free(p) 7 times\n");
for (i = 0; i < 7; i++)
{
fprintf(stderr, "free %d: %p => %p\n", i+1, &p, p);
free(p);
}
fprintf(stderr, "Then malloc 8 times at the same address\n");
int *a[10];
for (i = 0; i < 8; i++)
{
a[i] = malloc(0x40);
fprintf(stderr, "malloc %d: %p => %p\n", i+1, &a[i], a[i]);}
fprintf(stderr, "Finally trigger double-free\n");
for (i = 0; i < 2; i++)
{
fprintf(stderr, "free %d: %p => %p\n", i+1, &a[i], a[i]);
free(a[i]);
}
}

  首先先malloc申请了一个堆,接着连续free了7次。

  然后malloc同样大小的堆块,申请了8次。

  接下来又free了申请的前两个申请的堆块。

  我们看一下运行结果:

  可以从输出看到,8次重新申请的堆块都指向一个我们第一次申请的地址。

  后记:最后这个列子我还是没看出有啥可以学习到的。。。但是我疑惑的是,free了7次,为什么第8次malloc的时候,还是指向了第一次malloc的地址。

how2heap学习(一)的更多相关文章

  1. how2heap学习(二)

    拖了好久,但是在期间做了几道pwn题目,发现堆原来也没有想象中的难. fastbin_dup_into_stack 这个说白了,就是利用double free可以进行任意地址的写,说是任意地址不准确, ...

  2. how2heap学习笔记

    github源代码地址 这里只分析glibc2.25堆分配的特性,为了方便调试编译时使用 gcc -g -no-pie <input_file_name> -o <output_fi ...

  3. how2heap libc2.31学习

    今天是四月十九,想在五月份之前把how2heap中的高版本(2.31)的例子过一遍.所以这个系列目前还是在更新中.如果比较简单就几句话带过了,遇到难一点的会写的详细一点. fastbin_dup 源代 ...

  4. House_of_orange 学习小结

    House_of_orange学习小结 house_of_orange最早出现在2016年hitcon的一道同名题目,其利用效果,是当程序没有free函数的时候,我们可以通过一些方法,来让chunk被 ...

  5. fastbin attack学习小结

    fastbin attack学习小结   之前留在本地的一篇笔记,复习一下. 下面以glibc2.23为例,说明fastbin管理动态内存的细节.先看一下释放内存的管理: if ((unsigned  ...

  6. 从直播编程到直播教育:LiveEdu.tv开启多元化的在线学习直播时代

    2015年9月,一个叫Livecoding.tv的网站在互联网上引起了编程界的注意.缘于Pingwest品玩的一位编辑在上网时无意中发现了这个网站,并写了一篇文章<一个比直播睡觉更奇怪的网站:直 ...

  7. Angular2学习笔记(1)

    Angular2学习笔记(1) 1. 写在前面 之前基于Electron写过一个Markdown编辑器.就其功能而言,主要功能已经实现,一些小的不影响使用的功能由于时间关系还没有完成:但就代码而言,之 ...

  8. ABP入门系列(1)——学习Abp框架之实操演练

    作为.Net工地搬砖长工一名,一直致力于挖坑(Bug)填坑(Debug),但技术却不见长进.也曾热情于新技术的学习,憧憬过成为技术大拿.从前端到后端,从bootstrap到javascript,从py ...

  9. 消息队列——RabbitMQ学习笔记

    消息队列--RabbitMQ学习笔记 1. 写在前面 昨天简单学习了一个消息队列项目--RabbitMQ,今天趁热打铁,将学到的东西记录下来. 学习的资料主要是官网给出的6个基本的消息发送/接收模型, ...

随机推荐

  1. 多线程合集(一)---信号量,锁,以及并发编程,自定义任务调度和awaiter

    引言 在后端开发中,多线程技术总是后端开发中常用到的技术,那什么是多线程呢,在操作系统中,程序运行的最小单位是进程,那线程则是进程里面的最小单位,关系是一对多的关系,而线程的调度,是由操作系统的时间片 ...

  2. jpa生成uuid

    使用jpa可以生成uuid,但是我直接添加数据没有id值会报错,只在程序中有效,如果直接修改数据库需要手动填写,另外长度不要乱填 ,之前填了200,找了半天才找到原因. package com.jav ...

  3. Codeforces 1446D2 - Frequency Problem (Hard Version)(根分)

    Codeforces 题面传送门 & 洛谷题面传送门 人菜结论题做不动/kk 首先考虑此题一个非常关键的结论:我们设整个数列的众数为 \(G\),那么在最优子段中,\(G\) 一定是该子段的众 ...

  4. Codeforces 917C - Pollywog(状压 dp+矩阵优化)

    UPD 2021.4.9:修了个 typo,为啥写题解老出现 typo 啊( Codeforces 题目传送门 & 洛谷题目传送门 这是一道 *2900 的 D1C,不过还是被我想出来了 u1 ...

  5. HDU 6116 路径计数

    HDU 6116 路径计数 普通生成函数常用于处理组合问题,指数生成函数常用于处理排列问题. 考虑 对于 $ a $ 个 $ A $ 分为很多堆,这么分的方案数是 $ C_{a-1}^{i-1} $ ...

  6. python20判断变量是否存在

    python中检测某个变量是否有定义 第一种方法使用内置函数locals(): locals():获取已定义对象字典 'testvar' in locals().keys() 第二种方法使用内置函数d ...

  7. R语言中的正则表达式(转载:http://blog.csdn.net/duqi_yc/article/details/9817243)

    转载:http://blog.csdn.net/duqi_yc/article/details/9817243 目录 Table of Contents 1 正则表达式简介 2 字符数统计和字符翻译 ...

  8. 编程艺术第十六~第二十章:全排列/跳台阶/奇偶调序,及一致性Hash算法

    目录(?)[+]   第十六~第二十章:全排列,跳台阶,奇偶排序,第一个只出现一次等问题 作者:July.2011.10.16.出处:http://blog.csdn.net/v_JULY_v. 引言 ...

  9. 巩固javaweb第十三天

    巩固内容: HTML 表格 表格由 <table> 标签来定义.每个表格均有若干行(由 <tr> 标签定义),每行被分割为若干单元格(由 <td> 标签定义).字母 ...

  10. abide, able, abnormal

    abide 近/反义词:1. 忍受: bear, endure, put up with, stand, tolerate2. 遵守(abide by): accept, comply, confor ...