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

Question

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

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

请帮助我。 非常感谢。

Answer 1

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