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

Question

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

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

请帮帮我。 非常感谢。

Answer 1

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