angr学习【五】

最新推荐文章于 2024-07-18 09:47:28 发布

坚强的女程序员

最新推荐文章于 2024-07-18 09:47:28 发布

阅读量1.5k

点赞数 2

分类专栏： Re CTF

本文链接：https://blog.csdn.net/qq_33438733/article/details/80341841

版权

本文介绍了如何使用angr进行条件约束，以解决题目unbreakable。通过设置arg参数限制flag长度为0x43，避免无用路径的产生。讨论了约束条件的重要性，以及不加特定条件可能导致的路径爆炸问题。提供了一个优化的代码示例，帮助理解更高效地编写angr脚本。

摘要由CSDN通过智能技术生成

前言

时间真的不多咯。这次来看看如何编写简单高效的angr脚本，如何进行设置约束条件。

题目五unbreakable

题目链接
我先贴上自己写的粗糙的脚本：

# -*-coding:utf-8-*-

from angr import *
import logging,claripy,archinfo
logging.getLogger('angr.manager').setLevel(logging.DEBUG)
START_ADDR = 0x4005bd 
AVOID_ADDR = 0x400850 
FIND_ADDR = 0x40083E 
INPUT_LENGTH = 0xf2 - 0xc0 + 1 
def main():
    p = Project("unbreakable-enterprise-product-activation",auto_load_libs=False)
    arg1=claripy.BVS("arg1",0x43*8)

    args=[p.filename,arg1]
    print('adding BitVectors and constraints')
    # state = p.factory.entry_state(addr=START_ADDR, add_options={options.LAZY_SOLVES})
    state = p.factory.entry_state(args=args,add_options={options.LAZY_SOLVES})
    state.libc.buf_symbolic_bytes=0x43 + 1
    <