问题标签 [angr]

在 python 之后import z3，我做了x = Int('x'). 这给了我回溯

我用pip install angr-z3. 怎么了？

它说模块机器类型不匹配；为什么？
_{（注意：这是一个自我回答的问题；见下文。）}

我正在使用 Angr，一个符号执行框架。它只接受 C 中的“读取”函数来获取输入。它解决了 C 中的一个程序并将其符号值转换为具体值，我在其输出中得到了这个：

它实际上是由 read(0, input, 8) 读取的 char[8] 变量的值，但我不知道最后输入的值是什么。

请帮我。非常感谢。

我正在处理 angr-doc 挑战之一（https://github.com/angr/angr-doc/blob/2d45c9e6d9f91e83988719aa19940aec2cfd8747/examples/ekopartyctf2015_rev100/solve.py）但在我的方法中我遇到了这种情况：

我需要将 esi 设置为符号（esi 将包含该值）。

我试过这样的事情：

但它不起作用此外，我尝试为每个指针设置一个 BitVector 值（BVV），但它也不起作用。

我究竟做错了什么？

我正在尝试使用 angr 多架构二进制分析平台，我正在关注其网页上的文档，并且我正在通过 git 安装平台的开发人员版本。我克隆存储库和创建虚拟环境没有问题，但是当我尝试在终端上运行./setup.sh的虚拟环境中设置 angr 时，我收到以下消息：

我很确定所有这些软件包都已安装，当我运行 aptitude search 以检查这些软件包是否已安装时，软件包显示为已安装。

注意：这是我第一次使用 python 和虚拟环境，如果我遗漏了一些明显的东西，很抱歉。

我有一些二进制文件，每个文件都包含一个函数的指令，（最后可能会多一点）。文件的开头也是函数的起点。

该文件是从 ELF 文件中提取的。平台是 arm64。

那么，如何使用 angr 加载和分析这个文件呢？

目标：

每个函数都有一个“switch case语句”，目标是获取case表达式的所有整数。

示例（C 代码）：

结果：1,10

OSX 上的 pip 有点烦人的问题。我尝试安装的 python 程序需要 GCC。

建议的调用是：

但是，这会导致错误，建议 OSX 决定改为运行 CLANG：

这是有道理的，因为：

尽管事实是：

当然我试过：

但是当然：

尽管 env 告诉我只是在运行

结果更多

那么我在这里错过了什么？OSX 是否讨厌 GCC，或者我在这里错过了一些基本的 shell fu？

当我尝试安装时angr，出现此错误：

你能帮忙解决这个问题吗？

我正在尝试在 Raspberry pi 3、OS Ubuntu mate 16.04 上安装 Angr 工具。Git 链接Angr 工具

我在安装 pyvex 时遇到了这个错误，git link Pyvex

-malign-double根据 GCC 文档，适用于 X86 架构，但我有 arm 架构。我该如何解决这个问题。

当我尝试使用时，angr我收到此警告

进口 angr 警告 | 2018-06-30 15:10:26,560 | angr.state_plugins.unicorn_engine | 加载“angr_native.dylib”失败，禁用独角兽支持（dlopen（/usr/local/lib/python2.7/site-packages/angr/lib/angr_native.dylib，6）：未加载库：libunicorn.1.dylib 引用来自：/usr/local/lib/python2.7/site-packages/angr/lib/angr_native.dylib
原因：找不到图像：dlopen(/usr/local/lib/python2.7/site-packages/angr/lib /angr_native.dylib, 6)：库未加载：libunicorn.1.dylib 引用自：/usr/local/lib/python2.7/site-packages/angr/lib/angr_native.dylib
原因：找不到图像）

你能帮忙解决这个问题吗？