WUSTCTF2020 funnyre

最新推荐文章于 2024-05-25 17:05:38 发布

原创最新推荐文章于 2024-05-25 17:05:38 发布 · 131 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#python #linux #前端 #开发语言 #运维

本文介绍了一种利用Angr工具进行二进制程序分析的方法。通过对一个具体示例的逐步解析，展示了如何去除花指令、设置初始状态、存储输入到内存中并遍历所有可能的执行路径以找到正确答案的过程。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

运行起来，发现啥都没反应也没输出，ida直接打开，反编译
.init函数动调了下，发现没啥用，主要核心在于main函数，直接跟进去
发现了核心逻辑，有花指令，直接去掉，发现还挺多，然后似乎不影响观看，直接跳到后面，发现有个比较
，直接angr一把梭就完事了，想太多没啥意思

import angr
import claripy

p=angr.Project('/root/Desktop/attachment',load_options={"auto_load_libs": False})
f=p.factory
state = f.entry_state(addr=0x400605)
flag = claripy.BVS('flag',8*32)#用BVS转成二进制给
state.memory.store(0x603055+0x300+5,flag)#因为程序没有输入，所以直接把字符串设置到内存
state.regs.rdx=0x603055+0x300
state.regs.rdi=0x603055+0x300+5#然后设置两个寄存器

sm = p.factory.simulation_manager(state)#准备从state开始遍历路径


print("get start!")

sm.explore(find=0x401DAE)#遍历到成功的地址

if sm.found:
    print("success")
    x=sm.found[0].solver.eval(flag,cast_to=bytes)
    print(x)
else:
    print('yenkoc')