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

Question

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

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

请帮帮我。 非常感谢。

Answer 1

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