arrays - 符号执行中的这个字符序列是什么？

Question

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

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

请帮我。非常感谢。

Answer 1

这取决于您使用的编码类型。但似乎 \x80 是一个特殊字符（控制字符）。符号执行引擎通常通过整数列表显示 char 数组，因为每个字符最后都是整数。