Python 如何将字符串输入添加到Angr程序的开头？

很抱歉，这个问题很可能没有意义。我刚接触Angr，遇到了一个小问题。假设我有一个二进制程序“mybinary”，我在其中输入一些东西，它会进行一些操作，并根据这些操作进行检查，以找到一个标志。（正常的crackme风格。）

但是，程序第一次运行时需要一个字符串tid输入。我有tid，它只是一个32位的字母和数字字符串

因此，为了运行它，我必须执行“/mybinary‘tid字符串’”，而不是“/mybinary”

在将文件加载到Angr项目中的上下文中，我如何做到这一点

比如，如果我的angr代码是这样的：

import angr
import claripy

#Whatever variables.

base_addr = #Whatever the base address is.

proj = angr.Project("./mybinary", main_opts={'base_addr': base_addr}) 

#Some code for defining flag characters.

state = proj.factory.full_init_state(
        args=['./mybinary'],
        add_options=angr.options.unicorn,
    stdin=flag,
)

#Some code to create and run simulation with success and failure.

我如何编辑它，使其运行“/mybinary”而不是“/mybinary”

---

谢谢你的帮助

以下是您应该如何实例化状态以满足您的需要：

state = proj.factory.entry_state(
    args=['./mybinary', 'the tid string'],
    add_options=angr.options.unicorn,
    stdin=flag,
)

---

根据：

如果您在可以接受命令行参数的环境或环境中执行，则可以通过args将参数列表和环境变量字典通过env传递到

entry\u state

和

full\u init\u state

此外，在您的案例中，似乎不需要

full\u init\u state

<代码>输入状态应足够（）：

.entry\u state（）

构造一个准备在主二进制文件的入口点执行的状态