シンボリック実行におけるこの一連の文字は何ですか？

Question

私はAngrを使用しています。これは、シンボリック実行のフレームワークです。それは入力を得るためにCの 'read'関数を受け付けるだけです。 それはCでプログラムを解決し、具体的な値へのシンボリック値を変換し、私は、その出力でこれを得る：

実際に文字の値である読み出しにより読み出されている[8]変数（0、入力、8） しかし、私は最後に入力の値は何か分かりません。

私を助けてください。 ありがとうございました。

Answer 1

使用するエンコーディングのタイプによって異なります。しかし\ x80は特殊文字（制御文字）であるようです。 シンボリック実行エンジンは通常、すべての文字が最後の整数であるため、char配列を整数のリストで表示します。