angr学习笔记（6）（内存地址单元符号化）

angr系列

angr系列
- 00_angr_find
- 01_angr_avoid
- 02_angr_find_condition
- 03_angr_symbolic_registers
- 04_angr_symbolic_stack
- 05_angr_symbolic_memory
- 06_angr_symbolic_dynamic_memory
- 07_angr_symbolic_file
- 08_angr_constraints
- 09_angr_hooks
- 10_angr_simprocedures
- 13_angr_static_binary
分析伪代码
脚本
测试：

分析伪代码

.text:080485C0 push    offset user_input ; s
.text:080485C5 call    _memset
.text:080485CA add     esp, 10h
.text:080485CD sub     esp, 0Ch
.text:080485D0 push    offset aEnterThePasswo ; "Enter the password: "
.text:080485D5 call    _printf
.text:080485DA add     esp, 10h
.text:080485DD sub     esp, 0Ch
.text:080485E0 push    offset unk_A1BA1D8
.text:080485E5 push    offset unk_A1BA1D0
.text:080485EA push    offset unk_A1BA1C8
.text:080485EF push    offset user_input
.text:080485F4 push    offset a8s8s8s8s ; "%8s %8s %8s %8s"
.text:080485F9 call    ___isoc99_scanf
.text:080485FE add     esp, 20h
.text:08048601 mov     [ebp+var_C], 0
.text:08048608 jmp     short loc_8048637

一个字符是一字节，8个字符也就是8字节，也就是64位。需要符号化的内存单元地址为：

.text:080485E0 push    offset unk_A1BA1D8
.text:080485E5 push    offset unk_A1BA1D0
.text:080485EA push    offset unk_A1BA1C8
.text:080485EF push    offset user_input

所以这里需要去符号化这四个内存地址单元：

先申请四个变量

     p1=init_state.solver.BVS('p1',64)  p2=init_state.solver.BVS('p2',64)p3=init_state.solver.BVS('p3',64)p4=init_state.solver.BVS('p4',64)

把内存单元的地址值和变量之间进行一定关系的绑定

    p4_addr=0x0A1BA1D8p3_addr=0x0A1BA1D0p2_addr=0x0A1BA1C8p1_addr=0x0A1BA1C0init_state.memory.store(p1_addr,p1)init_state.memory.store(p2_addr,p2)init_state.memory.store(p3_addr,p3)init_state.memory.store(p4_addr,p4)

对比一下符号化寄存器：

    pass1=claripy.BVS('pass1',32)pass2=claripy.BVS('pass2',32)pass3=claripy.BVS('pass3',32)init_state.regs.eax=pass1init_state.regs.ebx=pass2init_state.regs.edx=pass3

最后再来对变量进行求解：

     pass1=found_state.solver.eval(p1,cast_to=bytes)pass2=found_state.solver.eval(p2,cast_to=bytes)pass3=found_state.solver.eval(p3,cast_to=bytes)pass4=found_state.solver.eval(p4,cast_to=bytes)

脚本

import angr
import sysdef main(argv):bin_path=argv[1]p=angr.Project(bin_path)start_addr=0x08048601init_state=p.factory.blank_state(addr=start_addr)p1=init_state.solver.BVS('p1',64)  p2=init_state.solver.BVS('p2',64)p3=init_state.solver.BVS('p3',64)p4=init_state.solver.BVS('p4',64)p4_addr=0x0A1BA1D8p3_addr=0x0A1BA1D0p2_addr=0x0A1BA1C8p1_addr=0x0A1BA1C0init_state.memory.store(p1_addr,p1)init_state.memory.store(p2_addr,p2)init_state.memory.store(p3_addr,p3)init_state.memory.store(p4_addr,p4)sm=p.factory.simgr(init_state)def is_good(state):return b'Good Job.' in state.posix.dumps(1)def is_bad(state):return b'Try again.' in state.posix.dumps(1)sm.explore(find=is_good,avoid=is_bad)if sm.found:found_state=sm.found[0]pass1=found_state.solver.eval(p1,cast_to=bytes)pass2=found_state.solver.eval(p2,cast_to=bytes)pass3=found_state.solver.eval(p3,cast_to=bytes)pass4=found_state.solver.eval(p4,cast_to=bytes)print("Solution:{} {} {} {}".format(pass1.decode('utf-8'),pass2.decode('utf-8'),pass3.decode('utf-8'),pass4.decode('utf-8')))else:raise Exception("Solution not found")
if __name__=="__main__":main(sys.argv)

NAXTHGNR JVSFTPWE LMGAUHWC XMDCPALU

测试：

angr学习笔记（6）（内存地址单元符号化）相关推荐

angr学习笔记（5）（栈符号化）
angr系列 00_angr_find 01_angr_avoid 02_angr_find_condition 03_angr_symbolic_registers 04_angr_symbolic ...
【JVM学习笔记】内存回收与内存回收算法就哪些地方需要回收、什么时候回收、如何回收三个问题进行分析和说明
目录一.相关名词解释垃圾收集常用名词二.哪些地方需要回收本地方法栈.虚拟机栈.程序计数器方法区 Java堆三.什么时候回收 1. 内存能否被回收内存中的引用类型引用计数算法可达性分析 ...
深入理解Java虚拟机（第3版）学习笔记——JAVA内存区域（超详细）
深入理解Java虚拟机(第3版)学习笔记--JAVA内存区域(超详细) 运行时数据区域程序计数器 java虚拟机栈本地方法栈 java堆方法区运行时常量池直接内存对象的创建对象的内存布局 ...
Redis运维和开发学习笔记(7) 内存管理和过期策略
Redis运维和开发学习笔记(7) 内存管理和过期策略文章目录 Redis运维和开发学习笔记(7) 内存管理和过期策略内存回收策略惰性删除定时任务删除 maxmemory 过期策略allkey ...
冰冰学习笔记：内存地址空间
欢迎各位大佬光临本文章!!! 还请各位大佬提出宝贵的意见,如发现文章错误请联系冰冰,冰冰一定会虚心接受,及时改正. 本系列文章为冰冰学习编程的学习笔记,如果对您也有帮助,还请各位大佬.帅哥.美女点点支 ...
angr学习笔记（7）（malloc地址单元符号化）
angr系列 00_angr_find 01_angr_avoid 02_angr_find_condition 03_angr_symbolic_registers 04_angr_symbolic ...
angr学习笔记（8）（文件内容符号化）
angr系列 00_angr_find 01_angr_avoid 02_angr_find_condition 03_angr_symbolic_registers 04_angr_symbolic ...
angr学习笔记（4）（寄存器符号化）
angr系列 00_angr_find 01_angr_avoid 02_angr_find_condition 03_angr_symbolic_registers 04_angr_symbolic ...
angr学习笔记（2）
angr系列 00_angr_find 01_angr_avoid 02_angr_find_condition 03_angr_symbolic_registers 04_angr_symbolic ...

angr学习笔记（6）（内存地址单元符号化）

angr系列

00_angr_find

01_angr_avoid

02_angr_find_condition

03_angr_symbolic_registers

04_angr_symbolic_stack

05_angr_symbolic_memory

06_angr_symbolic_dynamic_memory

07_angr_symbolic_file

08_angr_constraints

09_angr_hooks

10_angr_simprocedures

13_angr_static_binary

文章目录

分析伪代码

脚本

测试：

angr学习笔记（6）（内存地址单元符号化）相关推荐

最新文章

热门文章